Jörg Denzinger
TitleCited byYear
Lithic analysis
GH Odell
Springer Science & Business Media, 2012
4022012
High performance ATP systems by combining several AI methods
J Denzinger, M Fuchs
1051996
Knowledge-Based Distributed Search Using Teamwork.
J Denzinger
ICMAS, 81-88, 1995
881995
Discount-a distributed and learning equational prover
J Denzinger, M Kronenburg, S Schulz
Journal of Automated Reasoning 18 (2), 189-198, 1997
871997
Experiments in learning prototypical situations for variants of the pursuit game
J Denzinger, M Fuchs
Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
801999
DISCOUNT: A system for distributed equational deduction
J Avenhaus, J Denzinger, M Fuchs
International Conference on Rewriting Techniques and Applications, 397-402, 1995
771995
On cooperation between evolutionary algorithms and other search paradigms
J Denzinger, T Offermann
Proceedings of the 1999 Congress on Evolutionary Computation-CEC99 (Cat. No …, 1999
721999
Goal oriented equational theorem proving using team work
J Denzinger, M Fuchs
Annual Conference on Artificial Intelligence, 343-354, 1994
651994
Distributing equational theorem proving
J Avenhaus, J Denzinger
International Conference on Rewriting Techniques and Applications, 62-76, 1993
621993
Semi-automating small-scale source code reuse via structural correspondence
R Cottrell, RJ Walker, J Denzinger
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008
572008
Recording and analysing knowledge-based distributed deduction processes
J Denzinger, S Schulz
Journal of Symbolic Computation 21 (4-6), 523-541, 1996
561996
Learning domain knowledge to improve theorem proving
J Denzinger, S Schulz
International Conference on Automated Deduction, 62-76, 1996
511996
Lung nodule detection in CT images using deep convolutional neural networks
R Golan, C Jacob, J Denzinger
2016 International Joint Conference on Neural Networks (IJCNN), 243-250, 2016
492016
Evaluating different genetic operators in the testing for unwanted emergent behavior using evolutionary learning of behavior
J Denzinger, J Kidney
Proceedings of the IEEE/WIC/ACM international conference on Intelligent …, 2006
492006
Evolutionary online learning of cooperative behavior with situation-action pairs
J Denzinger, M Kordt
Proceedings Fourth International Conference on MultiAgent Systems, 103-110, 2000
492000
Ontology-guided learning to improve communication between groups of agents
M Afsharchi, BH Far, J Denzinger
Proceedings of the fifth international joint conference on Autonomous agents …, 2006
452006
Cooperation of heterogeneous provers
J Denzinger, D Fuchs
IJCAI, 10-15, 1999
411999
Planning for distributed theorem proving: The teamwork approach
J Denzinger, M Kronenburg
Annual Conference on Artificial Intelligence, 43-56, 1996
411996
Evolutionary behavior testing of commercial computer games
B Chan, J Denzinger, D Gates, K Loose, J Buchanan
Proceedings of the 2004 Congress on Evolutionary Computation (IEEE Cat. No …, 2004
382004
Improving modeling of other agents using tentative stereotypes and compactification of observations
J Denzinger, J Hamdan
Proceedings. IEEE/WIC/ACM International Conference on Intelligent Agent …, 2004
37*2004
The system can't perform the operation now. Try again later.
Articles 1–20