Jörg Denzinger
Title
Cited by
Cited by
Year
High performance ATP systems by combining several AI methods
J Denzinger, M Fuchs
1131996
Discount-a distributed and learning equational prover
J Denzinger, M Kronenburg, S Schulz
Journal of Automated Reasoning 18 (2), 189-198, 1997
911997
Knowledge-Based Distributed Search Using Teamwork.
J Denzinger
ICMAS, 81-88, 1995
851995
DISCOUNT: A system for distributed equational deduction
J Avenhaus, J Denzinger, M Fuchs
International Conference on Rewriting Techniques and Applications, 397-402, 1995
821995
Experiments in learning prototypical situations for variants of the pursuit game
J Denzinger, M Fuchs
Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
811999
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
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
642016
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
622008
Distributing equational theorem proving
J Avenhaus, J Denzinger
International Conference on Rewriting Techniques and Applications, 62-76, 1993
601993
Recording and analysing knowledge-based distributed deduction processes
J Denzinger, S Schulz
Journal of Symbolic Computation 21 (4-6), 523-541, 1996
591996
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
512006
Learning domain knowledge to improve theorem proving
J Denzinger, S Schulz
International Conference on Automated Deduction, 62-76, 1996
511996
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
472006
Cooperation of heterogeneous provers
J Denzinger, D Fuchs
IJCAI, 10-15, 1999
431999
Planning for distributed theorem proving: The teamwork approach
J Denzinger, M Kronenburg
Annual Conference on Artificial Intelligence, 43-56, 1996
411996
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
392007
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
392004
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
38*2004
The system can't perform the operation now. Try again later.
Articles 1–20