Follow
Jörg Denzinger
Title
Cited by
Cited by
Year
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
5932016
High performance ATP systems by combining several AI methods
J Denzinger, M Fuchs, M Fuchs
Saarländische Universitäts-und Landesbibliothek, 1996
1411996
Discount-a distributed and learning equational prover
J Denzinger, M Kronenburg, S Schulz
Journal of Automated Reasoning 18, 189-198, 1997
1051997
DISCOUNT: A system for distributed equational deduction
J Avenhaus, J Denzinger, M Fuchs
Rewriting Techniques and Applications: 6th International Conference, RTA-95 …, 1995
941995
Knowledge-Based Distributed Search Using Teamwork.
J Denzinger
ICMAS, 81-88, 1995
901995
Experiments in learning prototypical situations for variants of the pursuit game
J Denzinger, M Fuchs
Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
851999
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
831999
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
722008
Goal oriented equational theorem proving using team work
J Denzinger, M Fuchs
Annual Conference on Artificial Intelligence, 343-354, 1994
671994
Distributing equational theorem proving
J Avenhaus, J Denzinger
Rewriting Techniques and Applications: 5th International Conference, RTA-93 …, 1993
631993
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
602006
Learning domain knowledge to improve theorem proving
J Denzinger, S Schulz
International Conference on Automated Deduction, 62-76, 1996
571996
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
542004
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
512006
Evolutionary online learning of cooperative behavior with situation-action pairs
J Denzinger, M Kordt
Proceedings Fourth International Conference on MultiAgent Systems, 103-110, 2000
512000
Recording and analysing knowledge-based distributed deduction processes
J Denzinger, S Schulz
Journal of Symbolic Computation 21 (4-6), 523-541, 1996
491996
Cooperation of heterogeneous provers
J Denzinger, D Fuchs
IJCAI 99, 10-15, 1999
471999
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
442004
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
432007
Planning for distributed theorem proving: The teamwork approach
J Denzinger, M Kronenburg
KI-96: Advances in Artificial Intelligence: 20th Annual German Conference on …, 1996
421996
The system can't perform the operation now. Try again later.
Articles 1–20