| 2008 |
|---|
| 119 | EE | Nils Bulling,
Jürgen Dix,
Carlos Iván Chesñevar:
Modelling coalitions: ATL + argumentation.
AAMAS (2) 2008: 681-688 |
| 118 | EE | Nils Bulling,
Carlos Iván Chesñevar,
Jürgen Dix:
An Argumentative Approach for Modelling Coalitions Using ATL.
ArgMAS 2008: 197-216 |
| 117 | EE | Jürgen Dix:
Strategic Abilities of Agents.
FoIKS 2008: 7 |
| 116 | EE | Wojciech Jamroga,
Jürgen Dix:
Model Checking Abilities of Agents: A Closer Look.
Theory Comput. Syst. 42(3): 366-410 (2008) |
| 2007 |
|---|
| 115 | | Rafael H. Bordini,
Mehdi Dastani,
Jürgen Dix,
Amal El Fallah-Seghrouchni:
Programming Multi-Agent Systems, 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
Springer 2007 |
| 114 | EE | Peter Novák,
Jürgen Dix:
Adding Structure to Agent Programming Languages.
PROMAS 2007: 140-155 |
| 113 | EE | Mehdi Dastani,
Jürgen Dix,
Peter Novák:
Agent Contest Competition: 3rd Edition.
PROMAS 2007: 221-240 |
| 112 | EE | Jürgen Dix,
Stephen J. Hegner:
Preface.
Ann. Math. Artif. Intell. 50(1-2): 1-3 (2007) |
| 111 | EE | Tristan M. Behrens,
Jürgen Dix:
Model checking multi-agent systems with logic based Petri nets.
Ann. Math. Artif. Intell. 51(2-4): 81-121 (2007) |
| 2006 |
|---|
| 110 | | Jürgen Dix,
Stephen J. Hegner:
Foundations of Information and Knowledge Systems, 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings
Springer 2006 |
| 109 | | Rafael H. Bordini,
Mehdi Dastani,
Jürgen Dix,
Amal El Fallah-Seghrouchni:
Programming Multi-Agent Systems, Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers
Springer 2006 |
| 108 | EE | Peter Novák,
Jürgen Dix:
Modular BDI architecture.
AAMAS 2006: 1009-1015 |
| 107 | EE | Mehdi Dastani,
Jürgen Dix,
Peter Novák:
The Second Contest on Multi-Agent Systems Based on Computational Logic.
CLIMA VII 2006: 266-283 |
| 106 | EE | Wojciech Jamroga,
Jürgen Dix:
Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete.
EUMAS 2006 |
| 105 | EE | Jürgen Dix,
Sarit Kraus,
V. S. Subrahmanian:
Heterogeneous temporal probabilistic agents.
ACM Trans. Comput. Log. 7(1): 151-198 (2006) |
| 104 | EE | Gerhard Brewka,
Jürgen Dix:
Preface.
Ann. Math. Artif. Intell. 47(1-2): 1-2 (2006) |
| 2005 |
|---|
| 103 | | Rafael H. Bordini,
Mehdi Dastani,
Jürgen Dix,
Amal El Fallah-Seghrouchni:
Multi-Agent Programming: Languages, Platforms and Applications
Springer 2005 |
| 102 | | Rafael H. Bordini,
Mehdi Dastani,
Jürgen Dix,
Amal El Fallah-Seghrouchni:
Programming Multi-Agent Systems, Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004 Selected Revised and Invited Papers
Springer 2005 |
| 101 | | Wojciech Jamroga,
Jürgen Dix:
Turning Game Models Turn-Based for Model Checking Properties of Agents.
BNAIC 2005: 143-150 |
| 100 | EE | Wojciech Jamroga,
Jürgen Dix:
Do Agents Make Model Checking Explode (Computationally)?
CEEMAS 2005: 398-407 |
| 99 | EE | Mehdi Dastani,
Jürgen Dix,
Peter Novák:
The First Contest on Multi-agent Systems Based on Computational Logic.
CLIMA VI 2005: 373-384 |
| 98 | EE | Wojciech Jamroga,
Jürgen Dix:
Model Checking Strategic Abilities of Agents Under Incomplete Information.
ICTCS 2005: 295-308 |
| 97 | EE | Jürgen Dix,
Wolfgang Faber,
V. S. Subrahmanian:
The Relationship Between Reasoning About Privacy and Default Logics.
LPAR 2005: 637-650 |
| 96 | | Jürgen Dix,
Ugur Kuter,
Dana S. Nau:
Planning in Answer Set Programming using Ordered Task Decomposition.
We Will Show Them! (1) 2005: 521-576 |
| 95 | | Jürgen Dix,
Yingqian Zhang:
IMPACT: A Multi-Agent Framework with Declarative Semantics.
Multi-Agent Programming 2005: 69-94 |
| 2004 |
|---|
| 94 | | Mehdi Dastani,
Jürgen Dix,
Amal El Fallah-Seghrouchni:
Programming Multi-Agent Systems, First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers
Springer 2004 |
| 93 | | Jürgen Dix,
João Alexandre Leite:
Computational Logic in Multi-Agent Systems, 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
Springer 2004 |
| 92 | EE | Stefan Brass,
Jürgen Dix,
Teodor C. Przymusinski:
Super logic programs.
ACM Trans. Comput. Log. 5(1): 129-176 (2004) |
| 91 | EE | Jürgen Dix,
Michael Fisher,
Hector J. Levesque,
Leon Sterling:
Introduction.
Ann. Math. Artif. Intell. 41(2-4): 131-133 (2004) |
| 90 | EE | Fatma Ozcan,
V. S. Subrahmanian,
Jürgen Dix:
Improving Performance of Heterogeneous Agents.
Ann. Math. Artif. Intell. 41(2-4): 339-395 (2004) |
| 89 | EE | Jürgen Dix,
João Alexandre Leite,
Ken Satoh:
Introduction.
Ann. Math. Artif. Intell. 42(1-3): 1-3 (2004) |
| 2003 |
|---|
| 88 | EE | Jürgen Dix,
Ugur Kuter,
Dana S. Nau:
Planning in Answer Set Programming Using Ordered Task Decomposition.
KI 2003: 490-504 |
| 87 | EE | Jürgen Dix,
Thomas Eiter,
Michael Fink,
Axel Polleres,
Yingqian Zhang:
Monitoring Agents Using Declarative Planning.
KI 2003: 646-660 |
| 86 | EE | Jürgen Dix,
Fariba Sadri,
Ken Satoh:
Introduction.
Ann. Math. Artif. Intell. 37(1-2): 1-3 (2003) |
| 85 | | Jürgen Dix,
Héctor Muñoz-Avila,
Dana S. Nau,
Lingling Zhang:
IMPACTing SHOP: Putting an AI Planner Into a Multi-Agent Environment.
Ann. Math. Artif. Intell. 37(4): 381-407 (2003) |
| 84 | EE | Jürgen Dix,
Thomas Eiter,
Michael Fink,
Axel Polleres,
Yingqian Zhang:
Monitoring Agents using Declarative Planning.
Fundam. Inform. 57(2-4): 345-370 (2003) |
| 83 | | Carlos Iván Chesñevar,
Jürgen Dix,
Frieder Stolzenburg,
Guillermo Ricardo Simari:
Relating defeasible and normal logic programming through transformation properties.
Theor. Comput. Sci. 290(1): 499-529 (2003) |
| 2002 |
|---|
| 82 | | Jürgen Dix,
João Alexandre Leite,
Ken Satoh:
Computational Logic in Multi-Agent Systems: 3rd International Workshop, CLIMA'02, Copenhagen, Denmark, August 1, 2002, Pre-Proceedings
Roskilde University 2002 |
| 81 | EE | Jürgen Dix,
Sarit Kraus,
V. S. Subrahmanian:
Agents dealing with time and uncertainty.
AAMAS 2002: 912-919 |
| 80 | EE | Jürgen Dix,
Héctor Muñoz-Avila,
Dana S. Nau,
Lingling Zhang:
Planning in a multi-agent environment: theory and practice.
AAMAS 2002: 944-945 |
| 79 | EE | Jürgen Dix,
Héctor Muñoz-Avila,
Dana S. Nau,
Lingling Zhang:
Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment.
JELIA 2002: 173-185 |
| 78 | EE | Jürgen Dix,
João Alexandre Leite,
Ken Satoh:
Preface.
Electr. Notes Theor. Comput. Sci. 70(5): (2002) |
| 2001 |
|---|
| 77 | EE | Jürgen Dix:
A Computational Logic Approach to Heterogenous Agent Systems.
LPNMR 2001: 1-20 |
| 76 | | Jürgen Dix,
Ulrich Furbach,
Ilkka Niemelä:
Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations.
Handbook of Automated Reasoning 2001: 1241-1354 |
| 75 | | Jürgen Dix,
Mauricio Osorio,
Claudia Zepeda:
A general theory of confluent rewriting systems for logic programming and its applications.
Ann. Pure Appl. Logic 108(1-3): 153-188 (2001) |
| 74 | EE | Jürgen Dix,
Sarit Kraus,
V. S. Subrahmanian:
Temporal agent programs.
Artif. Intell. 127(1): 87-135 (2001) |
| 73 | | Stefan Brass,
Jürgen Dix,
Burkhard Freitag,
Ulrich Zukowski:
Transformation-based bottom-up computation of the well-founded model.
TPLP 1(5): 497-538 (2001) |
| 72 | EE | Stefan Brass,
Jürgen Dix,
Ilkka Niemelä,
Teodor C. Przymusinski:
On the equivalence of the static and disjunctive well-founded semantics and its computation.
Theor. Comput. Sci. 258(1-2): 523-553 (2001) |
| 71 | EE | Karl Schlechta,
Jürgen Dix:
Explaining updates by minimal sums.
Theor. Comput. Sci. 266(1-2): 819-838 (2001) |
| 2000 |
|---|
| 70 | | V. S. Subrahmanian,
Piero A. Bonatti,
Jürgen Dix,
Thomas Eiter,
Sarit Kraus,
Fatma Ozcan,
Robert B. Ross:
Heterogenous Active Agents
MIT Press 2000 |
| 69 | | Jürgen Dix,
Héctor Muñoz-Avila,
Dana S. Nau:
IMPACTing SHOP: Planning in a Multi-agent Environment.
CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000: 44-55 |
| 68 | EE | Jürgen Dix,
Mirco Nanni,
V. S. Subrahmanian:
Probabilistic agent programs.
ACM Trans. Comput. Log. 1(2): 208-246 (2000) |
| 67 | EE | Stefan Brass,
Jürgen Dix,
Teodor C. Przymusinski:
Super Logic Programs
CoRR cs.AI/0010032: (2000) |
| 66 | EE | Stefan Brass,
Jürgen Dix,
Burkhard Freitag,
Ulrich Zukowski:
Transformation-Based Bottom-Up Computation of the Well-Founded Model
CoRR cs.LO/0011013: (2000) |
| 65 | EE | Fatma Ozcan,
V. S. Subrahmanian,
Jürgen Dix:
Improving Performance of heavily loaded agents
CoRR cs.MA/0012004: (2000) |
| 64 | | Jürgen Dix,
V. S. Subrahmanian,
George Pick:
Meta-agent programs.
J. Log. Program. 46(1-2): 1-60 (2000) |
| 1999 |
|---|
| 63 | EE | Jürgen Dix,
Karl Schlechta:
Explaining Updates by Minimal Sums.
FSTTCS 1999: 142-154 |
| 62 | | Jürgen Dix,
Frieder Stolzenburg,
Guillermo Ricardo Simari,
Pablo R. Fillottrani:
Automating Defeasible Reasoning with Logic Programming.
German-Argentinian Workshop on Information Technology 1999: 39-46 |
| 61 | | Jürgen Dix,
Jorge Lobo:
Editorial - Logic Programming with Non-monotonic Semantics: Representing Knowledge and its Computation.
Ann. Math. Artif. Intell. 25(3-4): 161-164 (1999) |
| 60 | | Jürgen Dix:
Selected Papers of Logic in AI - Editorial.
Ann. Math. Artif. Intell. 27(1-4): 1-2 (1999) |
| 59 | EE | Stefan Brass,
Jürgen Dix,
Teodor C. Przymusinski:
Computation of the Semantics of Autoepistemic Belief Theories.
Artif. Intell. 112(1-2): 233-250 (1999) |
| 58 | EE | Jürgen Dix,
Mirco Nanni,
V. S. Subrahmanian:
Probabilistic Agent Programs
CoRR cs.AI/9910016: (1999) |
| 57 | EE | José Arrazola,
Jürgen Dix,
Mauricio Osorio:
Confluent Rewriting systems in Non-Monotonic Reasoning.
Computación y Sistemas 2(2-3): 104-123 (1999) |
| 56 | | Stefan Brass,
Jürgen Dix:
Semantics of (disjunctive) Logic Programs Based on Partial Evaluation.
J. Log. Program. 40(1): 1-46 (1999) |
| 1998 |
|---|
| 55 | | Jürgen Dix,
Luís Moniz Pereira,
Teodor C. Przymusinski:
Logic Programming and Knowledge Representation, Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers
Springer 1998 |
| 54 | | Jürgen Dix,
Luis Fariñas del Cerro,
Ulrich Furbach:
Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings
Springer 1998 |
| 53 | | Stefan Brass,
Jürgen Dix,
Ilkka Niemelä,
Teodor C. Przymusinski:
A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation.
KR 1998: 74-85 |
| 52 | | Jürgen Dix:
The Logic Programming Paradigm.
AI Commun. 11(2): 123-131 (1998) |
| 51 | | Stefan Brass,
Jürgen Dix:
Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA.
J. Autom. Reasoning 20(1): 143-165 (1998) |
| 50 | | Jürgen Dix,
Frieder Stolzenburg:
A Framework to Incorporate Non-Monotonic Reasoning Into Constraint Logic Programming.
J. Log. Program. 37(1-3): 47-76 (1998) |
| 49 | | Peter Baumgartner,
Ingo Dahn,
Jürgen Dix,
Ulrich Furbach,
Michael Kühn,
Frieder Stolzenburg,
Bernd Thomas:
Automated Deduction: a Technological Point of View.
KI 12(4): 7-14 (1998) |
| 1997 |
|---|
| 48 | | Gerhard Brewka,
Jürgen Dix,
Kurt Konolige:
Nonmonotonic Reasoning: An Overview
CSLI Publications, Stanford, CA 1997 |
| 47 | | Jürgen Dix,
Luís Moniz Pereira,
Teodor C. Przymusinski:
Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers
Springer 1997 |
| 46 | | Jürgen Dix,
Ulrich Furbach,
Anil Nerode:
Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings
Springer 1997 |
| 45 | | Jürgen Dix,
Mauricio Osorio:
On Well-Behaved Semantics Suitable for Aggregation.
ILPS 1997: 405 |
| 44 | | Jürgen Dix,
Teodor C. Przymusinski,
Luís Moniz Pereira:
Logic Programming and Knowledge Representation (LPKR'97).
ILPS 1997: 419-420 |
| 43 | EE | Gerhard Brewka,
Jürgen Dix:
Knowledge Representation with Logic Programs.
LPKR 1997: 1-51 |
| 42 | | Chandrabose Aravindan,
Jürgen Dix,
Ilkka Niemelä:
Dislop: Towards a Disjunctive Logic Programming System.
LPNMR 1997: 342-353 |
| 41 | | Chandrabose Aravindan,
Jürgen Dix,
Ilkka Niemelä:
DisLoP: A Research Project on Disjunctive Logic Programming.
AI Commun. 10(3-4): 151-165 (1997) |
| 40 | | Stefan Brass,
Jürgen Dix:
Characterizations of the Disjunctive Stable Semantics by Partial Evaluation.
J. Log. Program. 32(3): 207-228 (1997) |
| 1996 |
|---|
| 39 | | Stefan Brass,
Jürgen Dix:
Characterizing D-WFS: Confluence and Iterated GCWA.
JELIA 1996: 268-283 |
| 38 | | Chandrabose Aravindan,
Peter Baumgartner,
Jürgen Dix,
Ulrich Furbach,
Gerd Neugebauer,
Ilkka Niemelä,
Dorothea Schäfer,
Frieder Stolzenburg:
On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract).
JICSLP 1996: 546 |
| 37 | | Stefan Brass,
Jürgen Dix,
Teodor C. Przymusinski:
Super Logic Programs.
KR 1996: 529-540 |
| 36 | | Jürgen Dix:
Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview.
Logic, Action, and Information 1996: 241-327 |
| 35 | | Jürgen Dix,
Luís Moniz Pereira,
Teodor C. Przymusinski:
Prolegomena to Logic Programming for Non-monotonic Reasoning.
NMELP 1996: 1-36 |
| 34 | | Jürgen Dix,
Frieder Stolzenburg:
Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming.
NMELP 1996: 202-224 |
| 33 | | Jürgen Dix,
Georg Gottlob,
V. Wiktor Marek:
Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations.
Fundam. Inform. 28(1-2): 87-100 (1996) |
| 32 | | Peter Baumgartner,
Jürgen Dix,
Ulrich Furbach,
Dorothea Schäfer,
Frieder Stolzenburg:
Deduktion und Logisches Programmieren.
KI 10(2): 34-39 (1996) |
| 31 | | Jürgen Dix,
Ulrich Furbach:
Logisches Programmieren mit Negation und Disjunktion.
KI 10(3): 24-31 (1996) |
| 1995 |
|---|
| 30 | | Jürgen Dix,
Luís Moniz Pereira,
Teodor C. Przymusinski:
Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers
Springer 1995 |
| 29 | | Stefan Brass,
Jürgen Dix:
Disjunctive Semantics based upon Partial and Bottom-Up Evaluation.
ICLP 1995: 199-213 |
| 28 | | Stefan Brass,
Jürgen Dix:
Characterizations of the Stable Semantics by Partial Evaluation.
LPNMR 1995: 85-98 |
| 27 | | Jürgen Dix:
Detailed Report on the First LP&NMR Retreat.
AI Commun. 8(1): 39-43 (1995) |
| 26 | | Jürgen Dix:
A Classification Theory of Semantics of Normal Logic Programs: I. Strong Properties.
Fundam. Inform. 22(3): 227-255 (1995) |
| 25 | | Jürgen Dix:
A Classification Theory of Semantics of Normal Logic Programs: II. Weak Properties.
Fundam. Inform. 22(3): 257-288 (1995) |
| 1994 |
|---|
| 24 | | Stefan Brass,
Jürgen Dix:
A Disjunctive Semantics Bases on Unfolding and Bottom-Up Evaluation.
GI Jahrestagung 1994: 83-91 |
| 23 | | Stefan Brass,
Jürgen Dix:
Computing Disjunctive Stable Semantics Based on Clark's Completed Database.
Grundlagen von Datenbanken 1994: 30-34 |
| 22 | | Jürgen Dix,
Georg Gottlob,
V. Wiktor Marek:
Causal Models of Disjunctive Logic Programs.
ICLP 1994: 290-302 |
| 21 | | Jürgen Dix,
Martin Müller:
An Axiomatic Approach to Semantics of Disjunctive Programs.
ICLP 1994: 303-320 |
| 20 | | Jürgen Dix,
Martin Müller:
Partial Evaluation and Relevance for Approximations of Stable Semantics.
ISMIS 1994: 511-520 |
| 19 | | Jürgen Dix,
Martin Müller:
The Stable Semantics and its Variants: A Comparison of Recent Approaches.
KI 1994: 82-93 |
| 18 | | Stefan Brass,
Jürgen Dix:
A general Approach to Bottom-Up Computation of Disjunctive Semantics.
NMELP 1994: 127-155 |
| 17 | | Stefan Brass,
Jürgen Dix:
A Characterization of the Stable Semantics by Partial Evaluation.
WLP 1994: 81-84 |
| 16 | EE | Jürgen Dix:
Review of Nonmonotonic Logic by W. Marek and M. Truszscynski, Springer, 1993.
Bulletin of the IGPL 2(2): 251-253 (1994) |
| 15 | | Jürgen Dix,
Martin Kummer:
Herbrand's Theorem for Nonstandard Inference Operations.
J. Log. Comput. 4(2): 143-156 (1994) |
| 1993 |
|---|
| 14 | | Martin Müller,
Jürgen Dix:
Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties (Extended Abstract).
LPNMR 1993: 43-59 |
| 13 | | Jürgen Dix,
Martin Kummer:
Herbrand's Theorem for Nonstandard Inference Operations (Abstract).
J. Symb. Log. 58(3): 1116-1117 (1993) |
| 12 | | Jürgen Dix,
Peter H. Schmitt:
Nichtmonotones Schließen: Wieviel Nichtmonotonie ist nötig?
Kognitionswissenschaft 3(1): 53-69 (1993) |
| 1992 |
|---|
| 11 | | Jürgen Dix:
Default Theories of Poole-Type and a Method for constructing Cumulative Versions of Default Logic.
ECAI 1992: 289-293 |
| 10 | | Jürgen Dix:
Classifying Semantics of Disjunctive Logic Programs.
JICSLP 1992: 798-812 |
| 9 | | Jürgen Dix:
A Framework for Representing and Characterizing Semantics of Logic Programs.
KR 1992: 591-602 |
| 8 | | Jürgen Dix,
Martin Müller:
Abstract Properties and Computational Complexity of Semantics for Disjunctive Logic Programs.
Structural Complexity and Recursion-theoretic methods in Logic-Programming 1992: 15-28 |
| 7 | | Jürgen Dix,
David Makinson:
The Relationship between KLM and MAK models for Nonmonotonic Inference Operations.
Journal of Logic, Language and Information 1(2): 131-140 (1992) |
| 1991 |
|---|
| 6 | | Jürgen Dix,
Klaus P. Jantke,
Peter H. Schmitt:
Nonmonotonic and Inductive Logic, 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990, Proceedings
Springer 1991 |
| 5 | | Jürgen Dix:
Classifying Semantics of Logic Programs (Extended Abstract).
LPNMR 1991: 166-180 |
| 4 | | Gerhard Brewka,
Jürgen Dix,
Kurt Konolige:
A Tutorial on Nonmonotonic Reasoning.
Nonmonotonic and Inductive Logic 1991: 1-88 |
| 1990 |
|---|
| 3 | | Jürgen Dix,
Joachim Posegga,
Peter H. Schmitt:
Modal logics for AI planning.
Expert Planning Systems 1990: 157-162 |
| 2 | | Jürgen Dix:
Cumulativity and Rationality in Semantics of Normal Logic Programs.
Nonmonotonic and Inductive Logic 1990: 13-37 |
| 1989 |
|---|
| 1 | | Jürgen Dix:
Some Tendencies in Non-monotonic Reasoning: 1. The main Approaches.
Easter Conference on Model Theory 1989: 81-105 |
