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:
- Roatis, C. ; Denzinger, J.:
Extending the learning and communicating shout-ahead architecture
with user-defined exception rules – a case study for traffic light
controls,
International Journal of Humanized Computing and Communication 2(1), pp. 46-67, 2021.
- Hudson, J. ; Denzinger, J.:
Risk Management for Self-Adapting Self-Organizing Emergent Multi-Agent
Systems Performing Dynamic Task Fulfillment,
Autonomous Agents and Multi-Agent Systems 29(5), pp. 973-1022, 2015.
- Thornton, C. ; Cohen, O. ; Denzinger, J. ; Boyd, J.E.:
Automated Testing of Physical Security: Red Teaming Through Machine Learning,
Computational Intelligence Vol. 31(3),
Wiley, 2015, pp. 465-497.
- Paskaradevan, S. ; Denzinger, J. ; Wehr, D.:
Learning cooperative behavior for the shout-ahead architecture,
Web Intelligence and Agent Systems: An International Journal, Vol. 12(3),
IOS Press, 2014, pp. 309-324.
- Sarraf Shirazi, A. ; Davison, T. ; von Mammen, S. ; Denzinger, J. ;
Jacob, C.:
Adaptive agent abstractions to speed up spatial agent-based
simulations,
Simulation Modelling Practice and Theory, Vol. 40, Elsevier, 2014,
pp. 144-160.
- 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.
- 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.
- Kasinger, H. ; Denzinger, J. ; Bauer, B.:
Digital Semiochemical Coordination,
Communications of SIWN 4, 2008, pp. 133-139
- 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.
- 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.
- 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.
- 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.
- 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.
- 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
- Austin, E. ; Denzinger, J.:
(Energy) Policies Can Be Complicated: So Be Careful With Your
Simulators!,
Proc. IEEE SSCI 2020, Canberra, 2020, pp. 2148-2155.
- Hudson, J. ; Denzinger, J.:
Decision Support for Combining Security Mechanisms using Exploratory
Evolutionary Testing,
Proc. ICTAI 2020, Baltimore, 2020, pp. 550-557.
- Roatis, C. ; Denzinger, J.:
Extending the learning shout-ahead architecture with
user-defined exception rules – a case study for traffic light
controls,
Proc. HCCAI 2020, Irvine, 2020, pp. 9-16.
- Kendon, T. ; Denzinger, J.:
The Task and Workslip Scheme for Personal Agent Systems,
Proc. HCCAI 2020, Irvine, 2020, pp. 41-46.
- Eidelberg, A. ; Jacob, C. ; Denzinger, J.:
Using Active Probing by a Game Management AI to Faster Classify
Players,
Proc. CoG 2019, London, 2019 (8 pages).
- Nygren, N. ; Denzinger, J.:
Using Simple Games to Evaluate Self-Organization Concepts: a
Whack-a-mole Case Study,
Proc. CoG 2019, London, 2019 (8 pages).
- Hudson, J. ; Denzinger, J.:
Using Exploratory Testing for Decision Support in Choosing a Security
Mechanism,
Proc. CEC 2019, Wellington, 2019, pp. 2236-2243.
- Nygren, N. ; Denzinger, J.:
Extending the Advisor Concept to Deal with Known-ahead Transportation
Tasks,
Proc. IDCS 2018, Tokyo, 2018, pp. 27-38.
- Kuipers, A. ; Denzinger, J.:
A Challenge for Multi-Party Decision Making: Malicious Argumentation
Strategies,
Proc. FLAIRS 2017, Marco Island, 2017, pp. 574-579.
- Fleischer, C. ; Denzinger, J.:
Focusing Learning-Based Testing Away from Known Weaknesses,
Proc. EvoApplications 2017 Part II, Amsterdam, 2017, pp. 49-65
- Wehr, D. ; Denzinger, J.:
Mining game logs to create a playbook for unit AIs,
Proc. CIG 2015, Tainan, 2015, pp. 391-398
- Bergmann, K. ; Denzinger, J.:
Automated testing for cyber threats to ad-hoc wireless networks,
Proc. CICS 2014, Orlando, IEEE, 2014, pp. 34-41.
- Golan, R. ; Jacob, C. ; Grewal, S. ; Denzinger, J.:
Predicting patterns of gene expression during drosophila embryogenesis
,
Proc. GECCO 2014, Vancouver, 2014, pp. 269-276.
- Hudson, J. ; Ghaderi, M. ; Denzinger, J.:
Dynamic multi-dimensional PSO with indirect encoding for proportional
fair constrained resource allocation,
Proc. GECCO 2014, Vancouver, 2014, pp. 1135-1142.
- Kendon, T. ; Denzinger, J.:
DisSLib:CC: A Library for Distributed Search with a Central Common
Search State,
Proc. PDSec 2014, Phoenix, 2014, pp. 1218 - 1227.
- Grosselfinger, P. ; Denzinger, J. ; Bauer, B.:
An Advisor Concept for Distributed Self-organizing Systems Acting in
Highly Connected Environments,
Proc. SASO 2013, Philadelphia, 2013, pp. 121-130.
- Wiens, S. ; Denzinger, J. ; Paskaradevan, S.:
Creating large numbers of game AIs by learning behavior for
cooperating units,
Proc. CIG 2013, Niagara Falls, 2013, pp. 383-390.
- Livani, E. ; Nguyen, R. ; Denzinger, J. ; Ruhe, G.; Banack, S.:
A Hybrid Machine Learning Method and Its Application in Municipal Waste
Prediction,
Proc. ICDM 2013, New York, 2013, pp. 166-180.
- Gao, J. ; Denzinger, J.:
Improving the Efficiency of Distributed Data Mining Using an Adjustment Work Flow,
Proc. MLDM 2013, New York, 2013, pp. 69-83.
- Bergmann, K.P. ; Denzinger, J.:
Testing of Precision Agricultural Networks for Adversary-Induced Problems,
Proc. GECCO 2013, Amsterdam, 2013, pp. 1421-1428.
- Paskaradevan, S. ; Denzinger, J.:
A hybrid cooperative behavior learning method for a rule-based
shout-ahead architecture,
Proc. IAT 2012, Macao, 2012, pp. 266-273.
- Williams-King, D. ; Denzinger, J. ; Aycock, J. ; Stephenson, B.:
The Gold Standard: Automatically Generating Puzzle Game
Levels,
Proc. AIIDE 2012, Palo Alto, 2012, pp. 191-196.
- Davison, T. ; Denzinger, J.:
The Huddle: Combining AI Techniques to Coordinate a Player's Game
Characters,
Proc. CIG 2012, Granada, 2012, pp. 203-210.
- de Souza Alcantara, T. ; Denzinger, J. ; Ferreia, J. ; Maurer, F.:
Learning gestures for interacting with low-fidelity prototypes,
Proc. RAISE 2012, Zürich, 2012, pp. 32-36.
- Blackadar, M. ; Denzinger, J.:
Behavior Learning-based Testing of Starcraft Competition Entries,
Proc. AIIDE 2011, Palo Alto, 2011, pp. 116-121.
- Hudson, J. ; Denzinger, J. ; Kasinger, H. ; Bauer, B.:
Dependable Risk-Aware Efficiency Improvement for Self-Organizing
Emergent Systems,
Proc. SASO 2011, Ann Arbor, 2011, pp. 11-20.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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
- Szabo, J. ; Aycock, J. ; Acton, R. ; Denzinger, J.:
The Tale of the Weather Worm,
Proc. ACM-SAC 2008, Fortaleza, 2008, pp. 2097-2102.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Denzinger, J. ; Hamdan, J.:
Improving Modeling of other Agents using Tentative Stereotypes and
Compactification of Observations,
Proc. IAT 2004, Beijing, 2004, pp. 106-112.
- 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.
- 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.
- 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.
- Denzinger, J. ; Kidney, J.:
Improving Migration by Diversity,
Proc. CEC 2003, Canberra, 2003, pp. 700-707.
- 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.
- 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.
- 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.
- 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.
- Avenhaus, J. ; Denzinger, J. ; Küchlin, W. ; Sinz, C.:
Teamwork-PaReDuX: Knowledge-based Search with Multiple Parallel
Agents,
Proc. MPCS-02, Ischia, 2002.
- 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.
- 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.
- 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.
- Denzinger, J. ; Fuchs, D.:
Cooperation of Heterogeneous Provers,
Proc. IJCAI-99, Stockholm, Morgan Kaufmann, 1999, pp. 10-15.
- Denzinger, J. ; Offermann, T.:
On Cooperation between Evolutionary Algorithms and other Search
Paradigms,
Proc. CEC-99, Washington, IEEE Press, 1999, pp. 2317-2324.
- 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.
- 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.
- Denzinger, J. ; Lind, J.:
TWlib - a Library for Distributed Search Applications,
Proc. ICS'96-AI, Kaohsiung, 1996, pp. 101-108.
- Denzinger, J. ; Fuchs, M. :
Experiments in Learning Prototypical Situations for Variants of the
Pursuit Game,
Proc. ICMAS-96, Kyoto, 1996, pp. 48-55.
- Denzinger, J. ; Schulz, S.:
Learning Domain Knowledge to Improve Theorem Proving,
Proc. CADE-13, New Brunswick, Springer, LNAI 1104, 1996, pp. 62-76.
- Denzinger, J.:
Completion and Equational Theorem Proving using Taxonomic
Constraints,
Proc. KI-96, Dresden, LNAI 1137, 1996, pp. 29-42.
- Denzinger, J. ; Kronenburg, M.:
Planning for distributed theorem proving: The teamwork approach,
Proc. KI-96, Dresden, Springer LNAI 1137, 1996, pp. 43-56.
- Denzinger, J. ; Fuchs, D.:
Referees for Teamwork,
Proc. FLAIRS-96, Key West, 1996, pp. 454-458.
- 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.
- Denzinger, J. ; Fuchs, M.:
Goal oriented equational theorem proving using team work,
Proc. KI'94, Saarbrücken, LNAI 861, 1994, pp. 343-354.
- Avenhaus, J. ; Denzinger, J.:
Distributing equational theorem proving,
Proc. RTA'93, Montreal, LNCS 690, 1993, pp. 62-76.
- 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.
- 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.
- 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.
- Denzinger, J. ; Fuchs, D.:
Cooperation in Theorem Proving by Loosely Coupled Heuristics,
SEKI-Report SR-97-03, University of Kaiserslautern, 1997.
- Denzinger, J. ; Fuchs, D.:
Knowledge-based Cooperation between Theorem Provers by TECHS,
SEKI-Report SR-97-11, University of Kaiserslautern, 1997.
- 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.
- 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.
- Denzinger, J.:
Completion and Equational Theorem Proving using Taxonomic Constraints
,
SEKI-Report SR-95-11, University of Kaiserslautern, 1995.
- 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.
- Denzinger, J. ; Fuchs, M.:
Goal oriented equational theorem proving using team work,
SEKI-Report SR-94-04, University of Kaiserslautern, 1994.
- Avenhaus, J. ; Denzinger, J.:
Distributing equational theorem proving,
SEKI-Report SR-93-06, University of Kaiserslautern, 1993.
- Sonntag, I. ; Denzinger, J.:
Extending automatic theorem proving by planning,
SEKI-Report SR-93-02, University of Kaiserslautern, 1993.
- 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: 18/3/2021