2009 | ||
---|---|---|
54 | EE | Holger Kasinger, Jörg Denzinger, Bernhard Bauer: Decentralized coordination of homogeneous and heterogeneous agents by digital infochemicals. SAC 2009: 1223-1224 |
2008 | ||
53 | EE | T. Mora, Abu B. Sesay, Jörg Denzinger, Hossein Golshan, Gene Poissant, Cameron Konecnik: Cooperative search for optimizing pipeline operations. AAMAS (Industry Track) 2008: 115-122 |
52 | EE | Rylan Cottrell, Robert J. Walker, Jörg Denzinger: Jigsaw: a tool for the small-scale reuse of source code. ICSE Companion 2008: 933-934 |
51 | EE | Jörg Denzinger, Pilar Herrero, Gonzalo Méndez, Rainer Unland: AWeSOMe 2008 PC Co-chairs' Message. OTM Workshops 2008: 87 |
50 | EE | Michal Sramka, Reihaneh Safavi-Naini, Jörg Denzinger, Mina Askari, Jie Gao: Utility of Knowledge Extracted from Unsanitized Data when Applied to Sanitized Data. PST 2008: 227-231 |
49 | EE | Joe Szabo, John Aycock, Randal Acton, Jörg Denzinger: The tale of the weather worm. SAC 2008: 2097-2102 |
48 | EE | Pauline Jepp, Jörg Denzinger, Brian Wyvill, Mario Costa Sousa: Using Multi-agent Systems for Sampling and Rendering Implicit Surfaces. SIBGRAPI 2008: 255-262 |
47 | EE | Rylan Cottrell, Robert J. Walker, Jörg Denzinger: Semi-automating small-scale source code reuse via structural correspondence. SIGSOFT FSE 2008: 214-225 |
46 | EE | Ruth Ablett, Frank Maurer, Ehud Sharlin, Jörg Denzinger, Craig Schock: Build Notifications in Agile Environments. XP 2008: 230-231 |
2007 | ||
45 | EE | Rylan Cottrell, Joseph J. C. Chang, Robert J. Walker, Jörg Denzinger: Determining detailed structural correspondence for generalization tasks. ESEC/SIGSOFT FSE 2007: 165-174 |
2006 | ||
44 | EE | Mohsen Afsharchi, Behrouz H. Far, Jörg Denzinger: Ontology-guided learning to improve communication between groups of agents. AAMAS 2006: 923-930 |
43 | EE | Shelly Park, Jörg Denzinger, Frank Maurer, Ehud Sharlin: An interactive speech interface for summarizing agile project planning meetings. CHI Extended Abstracts 2006: 1205-1210 |
42 | Jordan Kidney, Jörg Denzinger: Testing the Limits of Emergent Behavior in MAS Using Learning of Cooperative Behavior. ECAI 2006: 260-264 | |
41 | EE | Mohsen Afsharchi, Behrouz H. Far, Jörg Denzinger: Learning Non-Unanimous Ontology Concepts to Communicate with Groups of Agents. IAT 2006: 211-217 |
40 | EE | Jörg Denzinger, Jordan Kidney: Evaluating Different Genetic Operators in the Testing for Unwanted Emergent Behavior Using Evolutionary Learning of Behavior. IAT 2006: 23-29 |
39 | Dean Yergens, Julie Hiner, Jörg Denzinger, Tom Noseworthy: IDESS - A Multi Agent Based Simulation System for Rapid Development of Infectious Disease Models. ITSSA 1(1): 51-58 (2006) | |
38 | Alan Fedoruk, Jörg Denzinger: A General Framework for Multi-agent Search with Individual and Global Goals: Stakeholder Search. ITSSA 1(4): 357-362 (2006) | |
37 | EE | Jörg Denzinger, Jasmine Hamdan: Improving observation-based modeling of other agents using tentative stereotyping and compactification through kd-tree structuring. Web Intelligence and Agent Systems 4(3): 255-270 (2006) |
2005 | ||
36 | EE | Jie Gao, Jörg Denzinger, Robert C. James: A Cooperative Multi-agent Data Mining Model and Its Application to Medical Data on Diabetes. AIS-ADM 2005: 93-107 |
35 | EE | Jörg Denzinger, Chris Winder: Combining Coaching and Learning to Create Cooperative Character Behavior. CIG 2005 |
34 | EE | Jörg Denzinger, Kevin Loose, Darryl Gates, John W. Buchanan: Dealing with Parameterized Actions in Behavior Testing of Commercial Computer Games. CIG 2005 |
33 | EE | Jörg Denzinger, Jordan Kidney: ARES 2: A Tool for Evaluating Cooperative and Competitive Multi-agent Systems. Canadian Conference on AI 2005: 38-42 |
32 | EE | Jie Gao, Jörg Denzinger, Robert C. James: CoLe: A Cooperative Data Mining Approach and Its Application to Early Diabetes Detection. ICDM 2005: 617-620 |
31 | EE | Kaye Mason, Jörg Denzinger, M. Sheelagh T. Carpendale: Negotiating Gestalt: Artistic Expression by Coalition Formation Between Agents. Smart Graphics 2005: 103-114 |
30 | Rainer Unland, Jörg Denzinger: Multi-agent systems. Comput. Syst. Sci. Eng. 20(4): (2005) | |
2004 | ||
29 | Gabriela Lindemann, Jörg Denzinger, Ingo J. Timm, Rainer Unland: Multiagent System Technologies, Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004, Proceedings Springer 2004 | |
28 | EE | Kaye Mason, Jörg Denzinger, M. Sheelagh T. Carpendale: Negotiating Gestalt: Artistic Expression and Coalition Formation in Multiagent Systems. AAMAS 2004: 1350-1351 |
27 | EE | Jörg Denzinger, Jasmine Hamdan: Improving Modeling of Other Agents Using Stereotypes and Compactification of Observations. AAMAS 2004: 1414-1415 |
26 | EE | Jörg Denzinger, Alvin Schur: On Customizing Evolutionary Learning of Agent Behavior. Canadian Conference on AI 2004: 146-160 |
25 | EE | Jörg Denzinger, Jasmine Hamdan: Improving Modeling of Other Agents using Tentative Stereotypes and Compactification of Observations. IAT 2004: 106-112 |
24 | EE | Jörg Denzinger, Tim Williams: Using Evolutionary Learning of Behavior to Find Weaknesses in Operating Systems. PRICAI 2004: 381-390 |
2003 | ||
23 | EE | Vinícius Guilherme Fracari Branco, Weigang Li, Maria Pilar Estrela Abad, Jörg Denzinger: An Algorithm for Determining the Controllers of Supervised Entities at the First and Second Levels: A Case Study with the Brazilian Central Bank. ICCSA (3) 2003: 148-157 |
22 | EE | Jörg Denzinger, Jordan Kidney: Improving migration by diversity. IEEE Congress on Evolutionary Computation (1) 2003: 700-707 |
21 | EE | Jörg Denzinger, Sean Ennis: Improving Evolutionary Learning of Cooperative Behavior by Including Accountability of Strategy Components. MATES 2003: 205-216 |
2002 | ||
20 | EE | Jörg Denzinger, Sean Ennis: Being the new guy in an experienced team: enhancing training on the job. AAMAS 2002: 1246-1253 |
2001 | ||
19 | EE | Carsten Sinz, Jörg Denzinger, Jürgen Avenhaus, Wolfgang Küchlin: Combining Parallel and Distributed Search in Automated Equational Deduction. PPAM 2001: 819-832 |
18 | Yves Lespérance, Gerd Wagner, 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, Carla P. Gomes, Holger H. Hoos, Alan C. Schultz, Miroslav Kubat, Tom M. Mitchell, Jörg Denzinger, Yolanda Gil, Karen L. Myers, Claudio Bettini, Angelo Montanari: AAAI 2000 Workshop Reports. AI Magazine 22(1): 127-136 (2001) | |
2000 | ||
17 | Jörg Denzinger, Michael Kordt: Evolutionary On-line Learning of Cooperative Behavior with Situation-Action-Pairs. ICMAS 2000: 103-110 | |
16 | Jörg Denzinger, Stephan Schulz: Automatic Acquisition of Search Control Knowledge from Multiple Proof Attempts. Inf. Comput. 162(1-2): 59-79 (2000) | |
1999 | ||
15 | Jörg Denzinger, Dirk Fuchs: Cooperation of Heterogeneous Provers . IJCAI 1999: 10-15 | |
1998 | ||
14 | Jörg Denzinger, Dirk Fuchs: Enhancing Conventional Search Systems with Multi-Agent Techniques: A Case Study. ICMAS 1998: 419-420 | |
13 | Jörg Denzinger, Bernd Löchner, Sebastian Scheffler: Unterstützung der Lehre durch Visualisierung von wissensbasierten Suchalgorithmen mit Java. Java-Informations-Tage 1998: 180-191 | |
1997 | ||
12 | Jörg Denzinger, Marc Fuchs, Matthias Fuchs: High Performance ATP Systems by Combining Several AI Methods. IJCAI (1) 1997: 102-107 | |
11 | Jörg Denzinger, Martin Kronenburg, Stephan Schulz: DISCOUNT - A Distributed and Learning Equational Prover. J. Autom. Reasoning 18(2): 189-198 (1997) | |
1996 | ||
10 | Jörg Denzinger, Stephan Schulz: Learning Domain Knowledge to Improve Theorem Proving. CADE 1996: 62-76 | |
9 | Jörg Denzinger: Equational Theorem Proving Using Taxonomic Constraints. KI 1996: 29-42 | |
8 | Jörg Denzinger, Martin Kronenburg: Planning for Distributed Theorem Proving: The Teamwork Approach. KI 1996: 43-56 | |
7 | Jörg Denzinger, Stephan Schulz: Recording and Analysing Knowledge-Based Distributed Deduction Processes. J. Symb. Comput. 21(4): 523-541 (1996) | |
1995 | ||
6 | Jörg Denzinger: Knowledge-Based Distributed Search Using Teamwork. ICMAS 1995: 81-88 | |
5 | Jürgen Avenhaus, Jörg Denzinger, Matthias Fuchs: DISCOUNT: A SYstem for Distributed Equational Deduction. RTA 1995: 397-402 | |
1994 | ||
4 | Jörg Denzinger, Matthias Fuchs: Goal Oriented Equational Theorem Proving Using Team Work. KI 1994: 343-354 | |
1993 | ||
3 | Jürgen Avenhaus, Jörg Denzinger: Distributing Equational Theorem Proving. RTA 1993: 62-76 | |
1989 | ||
2 | Jörg Denzinger, Jürgen Müller: EQTHEOPOGLES - A Completion Theorem Prover for PLIEQ. GWAI 1989: 92-101 | |
1 | Jürgen Avenhaus, Jörg Denzinger, Jürgen Müller: THEOPOGLES - An efficient Theorem Prover based on Rewrite-Techniques. RTA 1989: 538-541 |