Publications of Jörg Denzinger

Since for most of my contributions to books or conferences I had to transfer my copyright to the publisher, I cannot make them directly available through my web pages. But I can send them to you upon request. Please excuse this inconvenience!

The publications in each category (contributions to books and journals, papers in conference proceedings, internal reports) are ordered with respect to publication date, newest ones first.

Articles in books and journals:

• Marriott, C. ; Parker, J. ; Denzinger, J.:
  Imitation as a Mechanism of Cultural Transmission,
  Artificial Life, Vol. 16, No. 1, MIT Press, 2010, pp. 21-37.
  • Abstract
  • Download full paper (publisher's page)
• Afsharchi, M. ; Denzinger, J. ; Far, B.H.:
  Enhancing communication with groups of agents using learned non-unanimous ontology concepts,
  Web Intelligence and Agent Systems: An International Journal Vol.7(1), IOS Press, 2009, pp. 107-121.
  • Abstract
  • Download full paper (publisher's page)
• Kasinger, H. ; Denzinger, J. ; Bauer, B.:
  Digital Semiochemical Coordination,
  Communications of SIWN 4, 2008, pp. 133-139
  • Abstract
  • Download full paper (375 Kbytes)
• Denzinger, J. ; Hamdan, J.:
  Improving observation-based modeling of other agents using tentative stereotyping and compactification through kd-tree structuring,
  Web Intelligence and Agent Systems: An International Journal Vol.4(3), IOS Press, 2006, pp. 255-270.
  • Abstract
  • Download full paper (publisher's page)
• Fedoruk, A. ; Denzinger, J.:
  A General Framework for Multi-agent Search with Individual and Global Goals: Stakeholder Search,
  International Transactions on Systems Science and Applications (ITSSA), Vol 1(4), 2006, pp. 357-362.
  • Abstract
• Yergens, D. ; Hiner, J. ; Denzinger, J. ; Noseworthy, T.:
  IDESS - A Multi Agent Based Simulation System for Rapid Development of Infectious Disease Models,
  International Transactions on Systems Science and Applications (ITSSA), Vol 1(1), 2006, pp. 51-58.
  • Abstract
• Denzinger, J. ; Kidney, J.:
  Teaching Multi-Agent Systems using the ARES Simulator,
  Italics e-journal,Volume 4 Issue 3, October 2005.
• Denzinger, J. ; Ruhe, G.:
  Decision Support for Software Release Planning Using e-Assistants,
  Journal of Decision Systems 13(4), Lavoisier, 2004, pp. 399-421.
  • Abstract
• Denzinger, J. ; Williams, T.:
  Information Warfare: A Modern Approach to an Ancient Art,
  in C.R. Bullock, J-P. Marchant (eds.): Perspectives on war (Vol. 2): new views on historical and contemporary security issues, ISBN 0-88953-267-2, 2003, pp. 119-135.
• Denzinger, J.:
  Conflict Handling in Collaborative Search,
  in Tessier, Chaudron, Müller (eds.): Conflicting Agents: Conflict management in multi-agent systems, Kluwer Academic Publishers, 2000, pp. 251-278.
• Denzinger, J. ; Schulz, S.:
  Automatic Acquisition of Search Control Knowledge from Multiple Proof Attempts,
  Journal of Information and Computation 162, 2000, pp. 59-79.
• Dahn, I. ; Denzinger, J.:
  Cooperating Theorem Provers,
  in W. Bibel, P.H. Schmitt (eds.): Automated Deduction. A basis for applications. Vol. II: Systems and Implementation Techniques, Kluwer Academic Publishers, 1998, pp. 383-416.
• Denzinger, J. ; Fuchs, M.:
  A Comparison of Equality Reasoning Heuristics,
  in W. Bibel, P.H. Schmitt (eds.): Automated Deduction. A basis for applications. Vol. II: Systems and Implementation Techniques, Kluwer Academic Publishers, 1998, pp. 361-382.
• Denzinger, J. ; Kronenburg, M. ; Schulz, S.:
  DISCOUNT. A Distributed and Learning Equational Prover,
  Journal of Automated Reasoning 18(2), 1997, pp. 189-198.
• Denzinger, J.; Schulz, S.:
  Recording and Analyzing Knowledge-Based Distributed Deduction Processes,
  Journal of Symbolic Computation Vol. 21, 1996, pp. 523-541.
  • Abstract
• Denzinger, J.:
  Verteiltes, wissensbasiertes Gleichheitsbeweisen durch Teamwork (in German),
  in J. Müller (ed.): Verteilte Künstliche Intelligenz, BI-Verlag, 1993, pp. 311-321.

Articles in conference proceedings

• Blackadar, M. ; Denzinger J.:
  Behavior Learning-based Testing of Starcraft Competition Entries,
  Proc. AIIDE 2011, Palo Alto, 2011, pp. 116-121.
  • Abstract
  • Download full paper (publisher's page)
• Nygren, N. ; Denzinger, J. ; Stephenson, B. ; Aycock, J.:
  User-preference-based automated level generation for platform games,
  Proc. CIG 2011, Seoul, 2011, pp. 55-62.
  • Abstract
  • Download full paper (publisher's webpage)
• Thornton, C. ; Flanagan, T. ; Denzinger J. ; Boyd, J.E.:
  Evaluating Goal Ordering Structures for Testing Harbour Security Policies,
  Proc. CISDA 2011, Paris, IEEE, 2011, pp. 1-8.
  • Abstract
  • Download full paper (publisher's page)
• Steiner, T. ; Denzinger, J. ; Kasinger, H. ; Bauer, B.:
  Pro-active Advice to Improve the Efficiency of Self-Organizing Emergent Systems,
  Proc. EASe 2011, Las Vegas, 2011, pp. 97-106.
  • Abstract
  • Download full paper (publisher's webpage)
• Hudson, J. ; Denzinger, J. ; Kasinger, H. ; Bauer, B.:
  Efficiency Testing of Self-adapting Systems by Learning of Event Sequences,
  Proc. ADAPTIVE-10, Lisbon, 2010, pp. 200-205.
  • Abstract
  • Download full paper (204 KBytes)
• Dötsch, F. ; Denzinger, J. ; Kasinger, H. ; Bauer, B.:
  Decentralized Real-time Control of Water Distribution Networks Using Self-organizing Multi-Agent Systems,
  Proc. SASO-10, Budapest, 2010, pp. 223-232.
  • Abstract
  • Download full paper (publisher's webpage)
• Kuipers, A. ; Denzinger, J.:
  Pitfalls in Practical Open Multi Agent Argumentation Systems: Malicious Argumentation,
  Proc. COMMA 2010, Desenzano del Garda, IOS, 2010, pp. 323-334.
  • Abstract
  • Publisher's page
• Kasinger, H. ; Bauer, B. ; Denzinger, J. ; Holvoet, T.:
  Adapting environment-mediated self-organizing emergent systems by exception rules,
  Proc. SOAR-10, Washington, 2010, pp. 35-42.
  • Abstract
  • Download full paper (publisher's webpage)
• Steghöfer, J.-P. ; Denzinger, J. ; Kasinger, H. ; Bauer, B.:
  Improving the Efficiency of Self-Organizing Emergent Systems by an Advisor,
  Proc. EASe 2010, Oxford, 2010, pp. 63-72.
  • Abstract
  • Download full paper (publisher's webpage)
• Sramka, M. ; Safavi-Naini, R. ; Denzinger, J.:
  An Attack on the Privacy of Sanitized Data that Fuses the Outputs of Multiple Data Miners,
  Proc. ICDMW-PADM 2009, Miami Beach, 2009, pp. 130-137.
  • Abstract
  • Download full paper (publisher's page)
• Atalla, M. ; Denzinger, J.:
  Improving Testing of Multi-Unit Computer Players for Unwanted Behavior using Coordination Macros,
  Proc. CIG-09, Milan, 2009, pp. 355-362.
  • Abstract
  • Download full paper (publisher's page)
• Flanagan, T. ; Thornton, C. ; Denzinger, J.:
  Testing harbour patrol and interception policies using particle-swarm-based learning of cooperative behavior,
  Proc. CISDA 2009, Ottawa, 2009, pp. 1-8.
  • Abstract
  • Download full paper (publisher's page)
• Kasinger, H. ; Bauer, B. ; Denzinger, J.:
  Design Pattern for Self-Organizing Emergent Systems Based on Digital Infochemicals,
  Proc. EASE-09, San Francisco, 2009, pp. 45-55.
  • Abstract
  • Download full paper (publisher's page)
• Jepp, P. ; Denzinger, J. ; Wyvill, B. ; Costa Sousa, M.:
  Using Multi-Agent Systems for Sampling and Rendering Implicit Surfaces,
  Proc. Sibgrapi 2008, Campo Grande, 2008, pp. 255-262.
  • Abstract
  • Download full paper (publisher's page)
• Cottrell, R. ; Walker, R.J. ; Denzinger, J.:
  Semi-automating Small-Scale Source Code Reuse via Structural Correspondence,
  Proc. FSE-08, Atlanta, 2008, pp. 214-225.
  • Abstract
  • Download full paper (publisher's page)
• Mora, T. ; Sesay, A.B. ; Denzinger, J. ; Golshan, H. ; Poissant, G. ; Konecnik, C.:
  Fuel Optimization Using Biologically-inspired Computational Models,
  Proc. International Pipeline Conference IPC 2008, Calgary, 2008.
  • Abstract
• Kasinger, H. ; Bauer, B. ; Denzinger, J.:
  The Meaning of Semiochemicals to the Design of Self-Organizing Systems,
  Proc. SASO-08, Venice, IEEE, 2008, pp. 139-148.
  • Abstract
  • Download full paper (408 Kbytes)
• Mora, T. ; Sesay, A.B. ; Denzinger, J. ; Golshan, H. ; Poissant, G. ; Konecnik, C.:
  Cooperative search for optimizing pipeline operations,
  Proc. AAMAS 2008 - Industry and Applications Track, Estoril, 2008, pp. 115-122
  • Abstract
  • Download full paper (618 Kbytes)
• Szabo, J. ; Aycock, J. ; Acton, R. ; Denzinger, J.:
  The Tale of the Weather Worm,
  Proc. ACM-SAC 2008, Fortaleza, 2008, pp. 2097-2102.
  • Abstract
  • Download full paper (112 Kbytes)
• Ablett, R. ; Sharlin, E. ; Maurer, F. ; Denzinger, J. ; Schock, C.:
  BuildBot: Robotic Monitoring of Agile Software Development Teams,
  Proc. IEEE RO-MAN 2007, Jeju Island, 2007, pp. 931-937.
  • Abstract
  • Download full paper (370 Kbytes)
• Cottrell, R. ; Chang, J.J.C. ; Walker, R.J. ; Denzinger, J.:
  Determining detailed structural correspondence for generalization tasks,
  Proc. FSE-07, Dubrovnik, 2007, pp. 165-174.
  • Abstract
  • Download full paper (publisher's page)
• Fink, A. ; Denzinger, J. ; Aycock, J.:
  Extracting NPC behavior from computer games using computer vision and machine learning techniques,
  Proc. CIG-07, Hawaii, IEEE Press, 2007, pp. 24-31.
  • Abstract
  • Download full paper (129 Kbytes)
• Denzinger, J. ; Kidney, J.:
  Evaluating Different Genetic Operators in the Testing for Unwanted Emergent Behavior using Evolutionary Learning of Behavior,
  Proc. IAT 2006, Hong Kong, IEEE Press, 2006, pp. 23-29.
  • Abstract
  • Download full paper (1308 Kbytes)
• Afsharchi, M. ; Far, B.H. ; Denzinger, J.:
  Learning Non-Unanimous Ontology Concepts to Communicate with Groups of Agents,
  Proc. IAT 2006, Hong Kong, IEEE Press, 2006, pp. 211-217.
  • Abstract
  • Download full paper (1449 Kbytes)
• Kidney, J. ; Denzinger, J.:
  Testing the limits of emergent behavior in MAS using learning of cooperative behavior,
  Proc. ECAI 2006, Riva del Garda, 2006, pp. 260-264.
  • Abstract
  • Download full paper (117 Kbytes)
• Afsharchi, M. ; Far, B.H. ; Denzinger, J.:
  Ontology-Guided Learning to Improve Communication between Groups of Agents,
  Proc. AAMAS 2006, Hakodate, 2006, pp. 923-930.
  • Abstract
  • Download full paper (340 Kbytes)
• Yergens, D. ; Hiner, J. ; Denzinger, J. ; Noseworthy, T.:
  Multi Agent Simulation System for Rapidly Developing Infectious Disease Models in Developing Countries,
  Proc. AAMAS 2006 WS on Multi-Agent Systems for Medicine, Computational Biology, and Bioinformatics (MAS*BIOMED'06), Hakodate, 2006, pp. 104-116.
  • Abstract
  • Download full paper (363 Kbytes)
• Mason, K. ; Denzinger, J. ; Carpendale, S.:
  Negotiating Gestalt: Artistic Expression by Coalition Formation Between Agents,
  Proc. Smart Graphics: 5th International Symposium, Frauenwörth Cloister, Springer LNCS 3638, 2005, pp. 103-114.
  • Abstract
  • Download full paper (1510 Kbytes)
• Gao, J. ; Denzinger, J. ; James, R.C.:
  A Cooperative Multi-agent Data Mining Model and Its Application to Medical Data on Diabetes,
  Proc. Autonomous Intelligent Systems: Agents and Data Mining, St. Petersburg, Springer LNAI 3505, 2005, pp. 93-107.
  • Abstract
  • Download full paper (221 Kbytes)
• Denzinger, J. ; Kidney, J.:
  ARES 2: A Tool for Evaluating Cooperative and Competitive Multi-agent Systems,
  Proc. 18th Conference of the Canadian Society for Computational Studies of Intelligence, Victoria, Springer LNAI 3501, 2005, pp. 38-42.
  • Abstract
  • Download full paper (78 Kbytes)
• Denzinger, J. ; Loose, K. ; Gates, D. ; Buchanan, J.:
  Dealing with parameterized actions in behavior testing of commercial computer games,
  Proc. IEEE 2005 Symposium on Computational Intelligence and Games (CIG-05), Colchester, 2005, pp. 51-58.
  • Abstract
  • Download full paper (293 Kbytes)
• Denzinger, J. ; Winder, C.:
  Combining coaching and learning to create cooperative character behavior,
  Proc. IEEE 2005 Symposium on Computational Intelligence and Games (CIG-05), Colchester, 2005, pp. 78-85.
  • Abstract
  • Download full paper (261 Kbytes)
• Denzinger, J. ; Hamdan, J.:
  Improving Modeling of other Agents using Tentative Stereotypes and Compactification of Observations,
  Proc. IAT 2004, Beijing, 2004, pp. 106-112.
  • Abstract
  • Download full paper (365 KBytes)
• Denzinger, J. ; Williams, T.:
  Using evolutionary learning of behavior to find weaknesses in operating systems,
  Proc. PRICAI 2004, Auckland, Springer LNAI 3157, 2004, pp. 381-390.
  • Abstract
• Chan, B. ; Denzinger, J. ; Gates, D. ; Loose, K. ; Buchanan, J.:
  Evolutionary behavior testing of commercial computer games,
  Proc. CEC 2004, Portland, 2004, pp. 125-132.
  • Abstract
  • Download full paper (395 KBytes)
• Denzinger, J. ; Schur, A.:
  On Customizing Evolutionary Learning of Agent Behavior,
  Proc. 17th Conference of the Canadian Society for Computational Studies of Intelligence, London, ON, Springer LNAI 3060, 2004, pp. 146-160.
  • Abstract
  • Download full paper (186 Kbytes)
• Denzinger, J. ; Kidney, J.:
  Improving Migration by Diversity,
  Proc. CEC 2003, Canberra, 2003, pp. 700-707.
  • Abstract
  • Download full paper (101 KBytes)
• Denzinger, J. ; Ennis, S.:
  Improving Evolutionary Learning of Cooperative Behavior by Including Accountability of Strategy Components,
  Proc. MATES 2003, Erfurt, Springer LNAI 2831, 2003, pp. 205-216.
  • Abstract
  • Download full paper (167 KBytes)
• Denzinger, J. ; Ennis, S.:
  Dealing with new guys in experienced teams - the old guys might also have to adapt,
  Proc. 7th IASTED ASC, Banff, ACTA Press, 2003, pp. 138-143.
  • Abstract
  • Download full paper (82 KBytes)
• Fracari Branco, V.G. ; Weigang, L. ; Estrela Abad, M.P. ; Denzinger, J.:
  An Algorithm for Determining the Controllers of Supervised Entities at the First and Second Levels: Brazilian Central Bank Case Study,
  Proc. ICCSA 2003, Montreal, Springer LNCS 2669, 2003, pp. 148-157.
  • Abstract
  • Download full paper (348 KBytes)
• Bergen, M. ; Denzinger, J. ; Kidney, J.:
  Teaching Cooperation in Multi-Agent Systems with the help of the ARES System,
  Proc. WCCCE-03, Courtenay, 2003.
• Denzinger, J. ; Ennis, S.:
  Being the new guy in an experienced team - enhancing training on the job,
  Proc. AAMAS-02, Bologna, ACM Press, 2002, pp. 1246-1253.
  • Abstract
  • Download full paper (154 KBytes)
• Avenhaus, J. ; Denzinger, J. ; Küchlin, W. ; Sinz, C.:
  Teamwork-PaReDuX: Knowledge-based Search with Multiple Parallel Agents,
  Proc. MPCS-02, Ischia, 2002.
  • Abstract
  • Download full paper (123 KBytes)
• Avenhaus, J. ; Denzinger, J. ; Küchlin, W. ; Sinz, C.:
  Combining Parallel and Distributed Search in Automated Equational Deduction,
  Proc. PPAM 2001, Naleczow, Springer LNCS, 2001, pp. 819-832.
  • Abstract
  • Download full paper (148KBytes)
• Denzinger, J. ; Kordt, M.:
  On the influence of learning time on evolutionary online learning of cooperative behavior,
  Proc. GECCO-2001, San Francisco, Morgan Kaufmann, 2001, pp. 837-844.
  • Abstract
  • Download full paper (165 KBytes)
• Denzinger, J. ; Kordt, M.:
  Evolutionary On-line Learning of Cooperative Behavior with Situation-Action-Pairs,
  Proc. ICMAS-2000, Boston, IEEE Press, 2000, pp. 103-110.
  • Abstract
  • Download full paper (107 KBytes)
• Denzinger, J. ; Fuchs, D.:
  Cooperation of Heterogeneous Provers,
  Proc. IJCAI-99, Stockholm, Morgan Kaufmann, 1999, pp. 10-15.
  • Abstract
  • Download full paper (186 KBytes)
• Denzinger, J. ; Offermann, T.:
  On Cooperation between Evolutionary Algorithms and other Search Paradigms,
  Proc. CEC-99, Washington, IEEE Press, 1999, pp. 2317-2324.
  • Abstract
  • Download full paper (36 KBytes)
• Denzinger, J. ; Löchner, B. ; Scheffler, S.:
  Unterstützung der Lehre durch Visualisierung von wissensbasierten Suchalgorithmen mit Java (in German),
  Proc. Java-Informations-Tage 98, Frankfurt, Springer, 1998, pp. 180-191.
  • Abstract
• Denzinger, J. ; Fuchs, D.:
  Enhancing Conventional Search Systems with Multi-Agent Techniques: a Case Study,
  Proc. ICMAS-98, Paris, IEEE-Press, 1998, pp. 419-420.
• Denzinger, J. ; Fuchs, Matt. ; Fuchs, Marc:
  High Performance ATP Systems by Combining Several AI Methods,
  Proc. IJCAI-97, Nagoya, Morgan Kaufmann, 1997, pp. 102-107.
  • Abstract
  • Download full paper (220 Kbytes)
• Denzinger, J. ; Lind, J.:
  TWlib - a Library for Distributed Search Applications,
  Proc. ICS'96-AI, Kaohsiung, 1996, pp. 101-108.
  • Abstract
  • Download full paper (260 Kbytes)
• Denzinger, J. ; Fuchs, M. :
  Experiments in Learning Prototypical Situations for Variants of the Pursuit Game,
  Proc. ICMAS-96, Kyoto, 1996, pp. 48-55.
  • Abstract
  • Extended version
• Denzinger, J. ; Schulz, S.:
  Learning Domain Knowledge to Improve Theorem Proving,
  Proc. CADE-13, New Brunswick, Springer, LNAI 1104, 1996, pp. 62-76.
  • Abstract
  • Download full paper (62 KBytes)
• Denzinger, J.:
  Completion and Equational Theorem Proving using Taxonomic Constraints,
  Proc. KI-96, Dresden, LNAI 1137, 1996, pp. 29-42.
  • Abstract
  • Extended version
• Denzinger, J. ; Kronenburg, M.:
  Planning for distributed theorem proving: The teamwork approach,
  Proc. KI-96, Dresden, Springer LNAI 1137, 1996, pp. 43-56.
  • Abstract
  • Download full paper (197 Kbytes)
• Denzinger, J. ; Fuchs, D.:
  Referees for Teamwork,
  Proc. FLAIRS-96, Key West, 1996, pp. 454-458.
  • Abstract
  • Download full paper (116 Kbytes)
• Avenhaus, J. ; Denzinger, J. ; Fuchs, M.:
  DISCOUNT: A system for distributed equational deduction,
  Proc. RTA-95, Kaiserslautern, LNCS 914, 1995, pp. 397-402.
• Denzinger, J.:
  Knowledge-Based Distributed Search Using Teamwork,
  Proc. ICMAS-95, San Francisco, 1995, pp. 81-88.
  • Abstract
  • Download full paper (159 Kbytes)
• Denzinger, J. ; Fuchs, M.:
  Goal oriented equational theorem proving using team work,
  Proc. KI'94, Saarbrücken, LNAI 861, 1994, pp. 343-354.
  • Abstract
  • Extended version
• Avenhaus, J. ; Denzinger, J.:
  Distributing equational theorem proving,
  Proc. RTA'93, Montreal, LNCS 690, 1993, pp. 62-76.
  • Abstract
  • Extended version
• Denzinger, J. ; Müller, J.:
  EQTHEOPOGLES - A Completion Theorem Prover for PL1EQ,
  Proc. GWAI-89, Eringerfeld, Springer IFB 216, 1989, pp. 92-101.
• Avenhaus, J. ; Denzinger, J. ; Müller, J.:
  EQTHEOPOGLES - An efficient theorem prover based on Rewrite-techniques ,
  Proc. RTA-89, Chapel Hill, LNCS 355, 1989, pp. 538-541.

Internal reports

• Thornton, C. ; Flanagan, T. ; Denzinger, J.:
  Creating and Evaluating Goal Ordering Structures for Testing Harbour Patrol and Interception Policies,
  Technical Report 2010-955-04, Department of Computer Science, University of Calgary, 2010.
  • Download full paper (1454 Kbytes)
  • See support material, i.e. movies of the experiments
• Hudson, J. ; Denzinger, J. ; Kasinger, H. ; Bauer, B.:
  Testing Self-Organizing Emergent Systems by Learning of Event Sequences,
  Technical Report 2009-949-28, Department of Computer Science, University of Calgary, 2009.
  • Download full paper (278 Kbytes)
• Steghöfer, J.-P. ; Denzinger, J. ; Kasinger, H. ; Bauer, B.:
  Learning Task Patterns to Improve Efficiency and Coordination in Decentralized Autonomic Computing Systems,
  Technical Report 2009-13, Institut für Informatik, Universität Augsburg, 2009.
  • Abstract
  • Download full paper (390 Kbytes)
• Ablett, R. ; Maurer, F. ; Sharlin, E. ; Denzinger, J. ; Schock, C.:
  Build Notifications in Agile Environments,
  Technical Report 2008-888-01, Department of Computer Science, University of Calgary, 2008.
  • Download full paper (1449 Kbytes)
• Harris, I. ; Denzinger, J. ; Yergens, D.:
  Application of the Weka Machine Learning Library to Hospital Ward Occupancy Problems,
  Technical Report 2007-884-36, Department of Computer Science, University of Calgary, 2007.
  • Download full paper (768 Kbytes)
• Denzinger, J.:
  Exploratory testing for unwanted behavior using evolutionary learning techniques,
  Technical Report 2007-868-20, Department of Computer Science, University of Calgary, 2007.
  • Download full paper (361 Kbytes)
• Szabo, J. ; Aycock, J. ; Acton, R. ; Denzinger, J.:
  The Tale of the Weather Worm,
  Technical Report 2007-858-10, Department of Computer Science, University of Calgary, 2007.
  • Download full paper (150 Kbytes)
• Denzinger, J. ; Gao, J.:
  Using Learning of Behavior Rules to Mine Medical Data for Sequence Rules,
  Technical Report 2004-739-04, Department of Computer Science, University of Calgary, 2004.
  • Download full paper (135 Kbytes)
• Bergen, M. ; Denzinger, J. ; Kidney, J.:
  Teaching Multi-Agent Systems with the help of ARES: Motivation and Manual,
  Internal Report 2002-707-10, Department of Computer Science, University of Calgary, 2002.
  • Download full paper (1346 Kbytes)
• Denzinger, J. ; Fuchs, M. ; Goller, C. ; Schulz, S.:
  Learning from Previous Proof Experience: A Survey,
  AR-Report AR-99-4, TU München, 1999.
  • Abstract
  • Download full paper (187 Kbytes)
• Denzinger, J. ; Fuchs, D.:
  Cooperation in Theorem Proving by Loosely Coupled Heuristics,
  SEKI-Report SR-97-03, University of Kaiserslautern, 1997.
  • Abstract
  • Download full paper (101 Kbytes)
• Denzinger, J. ; Fuchs, D.:
  Knowledge-based Cooperation between Theorem Provers by TECHS,
  SEKI-Report SR-97-11, University of Kaiserslautern, 1997.
  • Abstract
  • Download full paper (80 Kbytes)
• Denzinger, J. ; Scholz, S.:
  Using Teamwork for the Distribution of Approximately Solving the Traveling Salesman Problem with Genetic Algorithms,
  SEKI-Report SR-97-04, University of Kaiserslautern, 1997.
  • Abstract
  • Download full paper (109 Kbytes)
• Denzinger, J. ; Fuchs, M.:
  Experiments in Learning Prototypical Situations for Variants of the Pursuit Game
  LSA-Report LSA-96-04E, University of Kaiserslautern, 1996.
  • Download full paper (75 Kbytes)
• Bergmann, R. ; Denzinger, J.:
  Intelligente Suche im Internet mit Lernenden Systemen,
  LSA-96-07, Center for Learning Systems and Applications (LSA), University of Kaiserslautern, 1997.
  • Download full paper (672Kbytes)
• Denzinger, J. ; Fuchs, Matt. ; Fuchs, Marc:
  High Performance ATP Systems by Combining Several AI Methods,
  SEKI-Report SR-96-09, University of Kaiserslautern, 1996.
  • Abstract
  • Download full paper (97 Kbytes)
• Denzinger, J.:
  Completion and Equational Theorem Proving using Taxonomic Constraints ,
  SEKI-Report SR-95-11, University of Kaiserslautern, 1995.
  • Abstract
  • Download full paper (70 Kbytes)
• Denzinger, J. ; Schulz, S.:
  Analysis and Representation of Equational Proofs Generated by a Distributed Completion Based Proof System, SEKI-Report SR-94-05, University of Kaiserslautern, 1994.
  • Abstract
  • Download full paper (252 Kbytes)
• Denzinger, J. ; Fuchs, M.:
  Goal oriented equational theorem proving using team work,
  SEKI-Report SR-94-04, University of Kaiserslautern, 1994.
  • Abstract
  • Download full paper (85 Kbytes)
• Avenhaus, J. ; Denzinger, J.:
  Distributing equational theorem proving,
  SEKI-Report SR-93-06, University of Kaiserslautern, 1993.
  • Abstract
  • Download full paper (88 Kbytes)
• Sonntag, I. ; Denzinger, J.:
  Extending automatic theorem proving by planning,
  SEKI-Report SR-93-02, University of Kaiserslautern, 1993.
  • Abstract
  • Download full paper (106 Kbytes)
• Avenhaus, J. ; Denzinger, J. ; Hoffmann, T.:
  Efficient AC1-Matching using Constraints, SEKI-Report SR-92-03, University of Kaiserslautern, 1992.
• Denzinger, J.:
  Distributed Knowledge-based Deduction using the Teamwork Method,
  SEKI-Report SR-91-12, University of Kaiserslautern, 1991.
• Denzinger, J. ; Gramlich, B.:
  Efficient AC-Matching using Constraint Propagation,
  SEKI-Report SR-88-15, University of Kaiserslautern, 1988.

Last Change: 30/10/2011