High performance ATP systems by combining several AI methods J Denzinger, M Fuchs | 118 | 1996 |
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 | 111 | 2016 |
Discount-a distributed and learning equational prover J Denzinger, M Kronenburg, S Schulz Journal of Automated Reasoning 18 (2), 189-198, 1997 | 102 | 1997 |
Knowledge-Based Distributed Search Using Teamwork. J Denzinger ICMAS, 81-88, 1995 | 85 | 1995 |
DISCOUNT: A system for distributed equational deduction J Avenhaus, J Denzinger, M Fuchs International Conference on Rewriting Techniques and Applications, 397-402, 1995 | 84 | 1995 |
Experiments in learning prototypical situations for variants of the pursuit game J Denzinger, M Fuchs Technische Universität Kaiserslautern, Fachbereich Informatik, 1999 | 83 | 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 | 75 | 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 | 69 | 2008 |
Distributing equational theorem proving J Avenhaus, J Denzinger International Conference on Rewriting Techniques and Applications, 62-76, 1993 | 66 | 1993 |
Goal oriented equational theorem proving using team work J Denzinger, M Fuchs Annual Conference on Artificial Intelligence, 343-354, 1994 | 65 | 1994 |
Recording and analysing knowledge-based distributed deduction processes J Denzinger, S Schulz Journal of Symbolic Computation 21 (4-6), 523-541, 1996 | 60 | 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 | 58 | 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 | 53 | 2000 |
Learning domain knowledge to improve theorem proving J Denzinger, S Schulz International Conference on Automated Deduction, 62-76, 1996 | 52 | 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 | 51 | 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 | 49 | 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 | 47 | 2006 |
Cooperation of heterogeneous provers J Denzinger, D Fuchs IJCAI 99, 10-15, 1999 | 46 | 1999 |
Planning for distributed theorem proving: The teamwork approach J Denzinger, M Kronenburg Annual Conference on Artificial Intelligence, 43-56, 1996 | 44 | 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 | 43 | 2007 |