EQTHEOPOGLES - A Completion Theorem Prover for PLIEQ. - Jörg Denzinger; Jürgen Müller 007 (GWAI, 1989)

THEOPOGLES - An efficient Theorem Prover based on Rewrite-Techniques. - Jürgen Avenhaus; Jörg Denzinger; Jürgen Müller 007 (RTA, 1989)

Teamwork - eine Methode zum Entwurf verteilter, wissensbasierter Theorembeweiser. - Jörg Denzinger (1993)

Distributing Equational Theorem Proving. - Jürgen Avenhaus; Jörg Denzinger (RTA, 1993)

Goal Oriented Equational Theorem Proving Using Team Work. - Jörg Denzinger; Matthias Fuchs (KI, 1994)

Recording, Analyzing and Presenting Distributed Deduction Processes. - Jörg Denzinger; Stephan Schulz 001 (PASCO, 1994)

Knowledge-Based Distributed Search Using Teamwork. - Jörg Denzinger (ICMAS, 1995)

DISCOUNT: A SYstem for Distributed Equational Deduction. - Jürgen Avenhaus; Jörg Denzinger; Matthias Fuchs (RTA, 1995)

Learning Domain Knowledge to Improve Theorem Proving. - Jörg Denzinger; Stephan Schulz 001 (CADE, 1996)

Equational Theorem Proving Using Taxonomic Constraints. - Jörg Denzinger (KI, 1996)

Planning for Distributed Theorem Proving: The Teamwork Approach. - Jörg Denzinger; Martin Kronenburg (KI, 1996)

Recording and Analysing Knowledge-Based Distributed Deduction Processes. - Jörg Denzinger; Stephan Schulz 001 (J. Symb. Comput., 1996)

High Performance ATP Systems by Combining Several AI Methods. - Jörg Denzinger; Marc Fuchs; Matthias Fuchs (IJCAI (1), 1997)

DISCOUNT - A Distributed and Learning Equational Prover. - Jörg Denzinger; Martin Kronenburg; Stephan Schulz 001 (J. Autom. Reason., 1997)

Enhancing Conventional Search Systems with Multi-Agent Techniques: A Case Study. - Jörg Denzinger; Dirk Fuchs (ICMAS, 1998)

Unterstützung der Lehre durch Visualisierung von wissensbasierten Suchalgorithmen mit Java. - Jörg Denzinger; Bernd Löchner; Sebastian Scheffler (Java-Informations-Tage, 1998)

On cooperation between evolutionary algorithms and other search paradigms. - Jörg Denzinger; Tim Offermann (CEC, 1999)

Cooperation of Heterogeneous Provers . - Jörg Denzinger; Dirk Fuchs (IJCAI, 1999)

Evolutionary On-line Learning of Cooperative Behavior with Situation-Action-Pairs. - Jörg Denzinger; Michael Kordt (ICMAS, 2000)

Automatic Acquisition of Search Control Knowledge from Multiple Proof Attempts. - Jörg Denzinger; Stephan Schulz 001 (Inf. Comput., 2000)

Combining Parallel and Distributed Search in Automated Equational Deduction. - Carsten Sinz; Jörg Denzinger; Jürgen Avenhaus; Wolfgang Küchlin (PPAM, 2001)

AAAI 2000 Workshop Reports. - Yves Lespérance; Gerd Wagner 001; William P. Birmingham; Kurt D. Bollacker; Alexander Nareyek; J. Paul Walser; David W. Aha; Timothy W. Finin; Benjamin N. Grosof; Nathalie Japkowicz; Robert Holte; Lise Getoor; et al. (AI Mag., 2001)

Being the new guy in an experienced team: enhancing training on the job. - Jörg Denzinger; Sean Ennis (AAMAS, 2002)

Improving migration by diversity. - Jörg Denzinger; Jordan Kidney (IEEE Congress on Evolutionary Computation, 2003)

An Algorithm for Determining the Controllers of Supervised Entities at the First and Second Levels: A Case Study with the Brazilian Central Bank. - Vinícius Guilherme Fracari Branco; Weigang Li 001; Maria Pilar Estrela Abad; Jörg Denzinger (ICCSA (3), 2003)

Improving Evolutionary Learning of Cooperative Behavior by Including Accountability of Strategy Components. - Jörg Denzinger; Sean Ennis (MATES, 2003)

On Customizing Evolutionary Learning of Agent Behavior. - Jörg Denzinger; Alvin Schur (Canadian AI, 2004)

Improving Modeling of Other Agents Using Stereotypes and Compactification of Observations. - Jörg Denzinger; Jasmine Hamdan (AAMAS, 2004)

Negotiating Gestalt: Artistic Expression and Coalition Formation in Multiagent Systems. - Kaye Mason; Jörg Denzinger; Sheelagh Carpendale (AAMAS, 2004)

Evolutionary behavior testing of commercial computer games. - Ben Chan; Jörg Denzinger; Darryl Gates; Kevin Loose; John W. Buchanan (IEEE Congress on Evolutionary Computation, 2004)

Improving Modeling of Other Agents using Tentative Stereotypes and Compactification of Observations. - Jörg Denzinger; Jasmine Hamdan (IAT, 2004)

Using Evolutionary Learning of Behavior to Find Weaknesses in Operating Systems. - Jörg Denzinger; Tim Williams (PRICAI, 2004)

Decision Support for Software Release Planning Using e-Assistants. - Jörg Denzinger; Günther Ruhe (J. Decis. Syst., 2004)

ARES 2: A Tool for Evaluating Cooperative and Competitive Multi-agent Systems. - Jörg Denzinger; Jordan Kidney (Canadian AI, 2005)

A Cooperative Multi-agent Data Mining Model and Its Application to Medical Data on Diabetes. - Jie Gao 019; Jörg Denzinger; Robert C. James (AIS-ADM, 2005)

Dealing with Parameterized Actions in Behavior Testing of Commercial Computer Games. - Jörg Denzinger; Kevin Loose; Darryl Gates; John W. Buchanan (CIG, 2005)

Combining Coaching and Learning to Create Cooperative Character Behavior. - Jörg Denzinger; Chris Winder (CIG, 2005)

CoLe: A Cooperative Data Mining Approach and Its Application to Early Diabetes Detection. - Jie Gao 019; Jörg Denzinger; Robert C. James (ICDM, 2005)

Negotiating Gestalt: Artistic Expression by Coalition Formation Between Agents. - Kaye Mason; Jörg Denzinger; Sheelagh Carpendale (Smart Graphics, 2005)

Multi-agent systems. - Rainer Unland; Jörg Denzinger (Comput. Syst. Sci. Eng., 2005)

Ontology-guided learning to improve communication between groups of agents. - Mohsen Afsharchi; Behrouz H. Far; Jörg Denzinger (AAMAS, 2006)

An interactive speech interface for summarizing agile project planning meetings. - Shelly Park; Jörg Denzinger; Frank Maurer; Ehud Sharlin (CHI Extended Abstracts, 2006)

Testing the Limits of Emergent Behavior in MAS Using Learning of Cooperative Behavior. - Jordan Kidney; Jörg Denzinger (ECAI, 2006)

Learning Non-Unanimous Ontology Concepts to Communicate with Groups of Agents. - Mohsen Afsharchi; Behrouz H. Far; Jörg Denzinger (IAT, 2006)

Evaluating Different Genetic Operators in the Testing for Unwanted Emergent Behavior Using Evolutionary Learning of Behavior. - Jörg Denzinger; Jordan Kidney (IAT, 2006)

A General Framework for Multi-agent Search with Individual and Global Goals: Stakeholder Search. - Alan Fedoruk; Jörg Denzinger (Int. Trans. Syst. Sci. Appl., 2006)

IDESS - A Multi Agent Based Simulation System for Rapid Development of Infectious Disease Models. - Dean Yergens; Julie Hiner; Jörg Denzinger; Tom Noseworthy (Int. Trans. Syst. Sci. Appl., 2006)

Improving observation-based modeling of other agents using tentative stereotyping and compactification through kd-tree structuring. - Jörg Denzinger; Jasmine Hamdan (Web Intell. Agent Syst., 2006)

Extracting NPC behavior from computer games using computer vision and machine learning techniques. - Alex Fink; Jörg Denzinger; John Aycock (CIG, 2007)

BuildBot: Robotic Monitoring of Agile Software Development Teams. - Ruth Ablett; Ehud Sharlin; Frank Maurer; Jörg Denzinger; Craig Schock (RO-MAN, 2007)

Determining detailed structural correspondence for generalization tasks. - Rylan Cottrell; Joseph J. C. Chang; Robert J. Walker; Jörg Denzinger (ESEC/SIGSOFT FSE, 2007)

Cooperative search for optimizing pipeline operations. - Thamar E. Mora; Abu B. Sesay; Jörg Denzinger; Hossein Golshan; Gene Poissant; Cameron Konecnik (AAMAS (Industry Track), 2008)

Jigsaw: a tool for the small-scale reuse of source code. - Rylan Cottrell; Robert J. Walker; Jörg Denzinger (ICSE Companion, 2008)

AWeSOMe 2008 PC Co-chairs' Message. - Jörg Denzinger; Pilar Herrero; Gonzalo Méndez 001; Rainer Unland (OTM Workshops, 2008)

Utility of Knowledge Extracted from Unsanitized Data when Applied to Sanitized Data. - Michal Sramka; Reihaneh Safavi-Naini; Jörg Denzinger; Mina Askari; Jie Gao 019 (PST, 2008)

The tale of the weather worm. - Joe Szabo; John Aycock; Randal Acton; Jörg Denzinger (SAC, 2008)

The Meaning of Semiochemicals to the Design of Self-Organizing Systems. - Holger Kasinger; Bernhard Bauer 001; Jörg Denzinger (SASO, 2008)

Using Multi-agent Systems for Sampling and Rendering Implicit Surfaces. - Pauline Jepp; Jörg Denzinger; Brian Wyvill; Mario Costa Sousa (SIBGRAPI, 2008)

Semi-automating small-scale source code reuse via structural correspondence. - Rylan Cottrell; Robert J. Walker; Jörg Denzinger (SIGSOFT FSE, 2008)

Build Notifications in Agile Environments. - Ruth Ablett; Frank Maurer; Ehud Sharlin; Jörg Denzinger; Craig Schock (XP, 2008)

Improving testing of multi-unit computer players for unwanted behavior using coordination macros. - Attala Malik; Jörg Denzinger (CIG, 2009)

Testing harbour patrol and interception policies using particle-swarm-based learning of cooperative behavior. - Tom Flanagan; Chris Thornton; Jörg Denzinger (CISDA, 2009)

An Attack on the Privacy of Sanitized Data that Fuses the Outputs of Multiple Data Miners. - Michal Sramka; Reihaneh Safavi-Naini; Jörg Denzinger (ICDM Workshops, 2009)

The end-to-end use of source code examples: An exploratory study. - Reid Holmes; Rylan Cottrell; Robert J. Walker; Jörg Denzinger (ICSM, 2009)

Decentralized coordination of homogeneous and heterogeneous agents by digital infochemicals. - Holger Kasinger; Jörg Denzinger; Bernhard Bauer 001 (SAC, 2009)

Compare and contrast: Visual exploration of source code examples. - Rylan Cottrell; Brina Goyette; Reid Holmes; Robert J. Walker; Jörg Denzinger (VISSOFT, 2009)

Enhancing communication with groups of agents using learned non-unanimous ontology concepts. - Mohsen Afsharchi; Jörg Denzinger; Behrouz Homayoun Far (Web Intell. Agent Syst., 2009)

Pitfalls in Practical Open Multi Agent Argumentation Systems: Malicious Argumentation. - Andrew Kuipers; Jörg Denzinger (COMMA, 2010)

A practice-oriented framework for measuring privacy and utility in data sanitization systems. - Michal Sramka; Reihaneh Safavi-Naini; Jörg Denzinger; Mina Askari (EDBT/ICDT Workshops, 2010)

Adapting environment-mediated self-organizing emergent systems by exception rules. - Holger Kasinger; Bernhard Bauer 001; Jörg Denzinger; Tom Holvoet (SOAR@ICAC, 2010)

Decentralized Real-Time Control of Water Distribution Networks Using Self-Organizing Multi-agent Systems. - Florian Dötsch; Jörg Denzinger; Holger Kasinger; Bernhard Bauer 001 (SASO, 2010)

Imitation as a Mechanism of Cultural Transmission. - Chris Marriott; James Parker; Jörg Denzinger (Artif. Life, 2010)

Behavior Learning-Based Testing of Starcraft Competition Entries. - Michael Blackadar; Jörg Denzinger (AIIDE, 2011)

User-preference-based automated level generation for platform games. - Nick Nygren; Jörg Denzinger; Ben Stephenson; John Aycock (CIG, 2011)

Evaluating goal ordering structures for testing harbour security policies. - Chris Thornton; Tom Flanagan; Jörg Denzinger; Jeffrey E. Boyd (CISDA, 2011)

Self-organized Middle-Out Abstraction. - Sebastian von Mammen; Jan-Philipp Steghöfer; Jörg Denzinger; Christian Jacob 001 (IWSOS, 2011)

Dependable Risk-Aware Efficiency Improvement for Self-Organizing Emergent Systems. - Jonathan Hudson; Jörg Denzinger; Holger Kasinger; Bernhard Bauer 001 (SASO, 2011)

The Gold Standard: Automatically Generating Puzzle Game Levels. - David Williams-King; Jörg Denzinger; John Aycock; Ben Stephenson (AIIDE, 2012)

The huddle: Combining AI techniques to coordinate a player's game characters. - Timothy Davison; Jörg Denzinger (CIG, 2012)

A Hybrid Cooperative Behavior Learning Method for a Rule-Based Shout-Ahead Architecture. - Sanjeev Paskaradevan; Jörg Denzinger (IAT, 2012)

Learning gestures for interacting with low-fidelity prototypes. - Tulio de Souza Alcantara; Jörg Denzinger; Jennifer Ferreira; Frank Maurer (RAISE@ICSE, 2012)

Creating large numbers of game AIs by learning behavior for cooperating units. - Stephen Wiens; Jörg Denzinger; Sanjeev Paskaradevan (CIG, 2013)

Testing of precision agricultural networks for adversary-induced problems. - Karel P. Bergmann; Jörg Denzinger (GECCO, 2013)

A Hybrid Machine Learning Method and Its Application in Municipal Waste Prediction. - Emadoddin Livani; Raymond Nguyen; Jörg Denzinger; Günther Ruhe; Scott Banack (ICDM, 2013)

Improving the Efficiency of Distributed Data Mining Using an Adjustment Work Flow. - Jie Gao 019; Jörg Denzinger (MLDM, 2013)

An Advisor Concept for Distributed Self-organizing Systems Acting in Highly Connected Environments. - Philipp Grosselfinger; Jörg Denzinger; Bernhard Bauer 001 (SASO, 2013)

Automated testing for cyber threats to ad-hoc wireless networks. - Karel P. Bergmann; Jörg Denzinger (CICS, 2014)

Predicting patterns of gene expression during drosophila embryogenesis. - Rotem Golan; Christian Jacob 001; Savraj Grewal; Jörg Denzinger (GECCO, 2014)

Dynamic multi-dimensional PSO with indirect encoding for proportional fair constrained resource allocation. - Jonathan Hudson; Majid Ghaderi; Jörg Denzinger (GECCO, 2014)

DisSLib: CC: A Library for Distributed Search with a Central Common Search State. - Tyson Kendon; Jörg Denzinger (IPDPS Workshops, 2014)

Adaptive agent abstractions to speed up spatial agent-based simulations. - Abbas Sarraf Shirazi; Timothy Davison; Sebastian von Mammen; Jörg Denzinger; Christian Jacob 001 (Simul. Model. Pract. Theory, 2014)

Learning cooperative behavior for the shout-ahead architecture. - Sanjeev Paskaradevan; Jörg Denzinger; Daniel Wehr (Web Intell. Agent Syst., 2014)

Mining game logs to create a playbook for unit AIs. - Daniel Wehr; Jörg Denzinger (CIG, 2015)

GPS Data Interpolation: Bezier Vs. Biarcs for Tracing Vehicle Trajectory. - Rahul Vishen; Marius-Calin Silaghi; Jörg Denzinger (ICCSA (2), 2015)

Risk management for self-adapting self-organizing emergent multi-agent systems performing dynamic task fulfillment. - Jonathan Hudson; Jörg Denzinger (Auton. Agents Multi Agent Syst., 2015)

Automated Testing of Physical Security: Red Teaming Through Machine Learning. - Chris Thornton; Ori Cohen; Jörg Denzinger; Jeffrey E. Boyd (Comput. Intell., 2015)

Lung nodule detection in CT images using deep convolutional neural networks. - Rotem Golan; Christian Jacob 001; Jörg Denzinger (IJCNN, 2016)

Focusing Learning-Based Testing Away from Known Weaknesses. - Christian Fleischer 003; Jörg Denzinger (EvoApplications (2), 2017)

A Challenge for Multi-Party Decision Making: Malicious Argumentation Strategies. - Andrew Kuipers; Jörg Denzinger (FLAIRS, 2017)

Extending the Advisor Concept to Deal with Known-Ahead Transportation Tasks. - Nick Nygren; Jörg Denzinger (IDCS, 2018)

Using Exploratory Testing for Decision Support in Choosing a Security Mechanism. - Jonathan Hudson; Jörg Denzinger (CEC, 2019)

Using Active Probing by a Game Management AI to Faster Classify Players. - Arkady Eidelberg; Christian Jacob 001; Jörg Denzinger (CoG, 2019)

Using Simple Games to Evaluate Self-Organization Concepts: a Whack-a-mole Case Study. - Nick Nygren; Jörg Denzinger (CoG, 2019)

Decision Support for Combining Security Mechanisms using Exploratory Evolutionary Testing. - Jonathan Hudson; Jörg Denzinger (ICTAI, 2020)

(Energy) Policies Can Be Complicated: So Be Careful With Your Simulators! - Eric Austin; Jörg Denzinger (SSCI, 2020)

API usage templates via structural generalization. - May Mahmoud; Robert J. Walker; Jörg Denzinger (J. Syst. Softw., 2024)