Jörg Denzinger
Cited by
Cited by
High performance ATP systems by combining several AI methods
J Denzinger, M Fuchs
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
Discount-a distributed and learning equational prover
J Denzinger, M Kronenburg, S Schulz
Journal of Automated Reasoning 18 (2), 189-198, 1997
Knowledge-Based Distributed Search Using Teamwork.
J Denzinger
ICMAS, 81-88, 1995
DISCOUNT: A system for distributed equational deduction
J Avenhaus, J Denzinger, M Fuchs
International Conference on Rewriting Techniques and Applications, 397-402, 1995
Experiments in learning prototypical situations for variants of the pursuit game
J Denzinger, M Fuchs
Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
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
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
Distributing equational theorem proving
J Avenhaus, J Denzinger
International Conference on Rewriting Techniques and Applications, 62-76, 1993
Goal oriented equational theorem proving using team work
J Denzinger, M Fuchs
Annual Conference on Artificial Intelligence, 343-354, 1994
Recording and analysing knowledge-based distributed deduction processes
J Denzinger, S Schulz
Journal of Symbolic Computation 21 (4-6), 523-541, 1996
Evaluating different genetic operators in the testing for unwanted emergent behavior using evolutionary learning of behavior
J Denzinger, J Kidney
2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology …, 2006
Evolutionary online learning of cooperative behavior with situation-action pairs
J Denzinger, M Kordt
Proceedings Fourth International Conference on MultiAgent Systems, 103-110, 2000
Learning domain knowledge to improve theorem proving
J Denzinger, S Schulz
International Conference on Automated Deduction, 62-76, 1996
Improving observation-based modeling of other agents using tentative stereotyping and compactification through kd-tree structuring
J Denzinger, J Hamdan
Web Intelligence and Agent Systems: An International Journal 4 (3), 255-270, 2006
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
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
Cooperation of heterogeneous provers
J Denzinger, D Fuchs
IJCAI 99, 10-15, 1999
Planning for distributed theorem proving: The teamwork approach
J Denzinger, M Kronenburg
Annual Conference on Artificial Intelligence, 43-56, 1996
Determining detailed structural correspondence for generalization tasks
R Cottrell, JJC Chang, RJ Walker, J Denzinger
Proceedings of the the 6th joint meeting of the European software …, 2007
The system can't perform the operation now. Try again later.
Articles 1–20