Jürgen Dix Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Simon Parsons, Henry Prakken, Guillermo Ricardo Simari: Research challenges for argumentation. Computer Science - R&D 23(1): 27-34 (2009)
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Tristan M. Behrens, Michael Köster, Peter Novák: Agenten als Goldgräber und Cowboys. KI 23(2): 50-53 (2009)
2008
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNils Bulling, Jürgen Dix, Carlos Iván Chesñevar: Modelling coalitions: ATL + argumentation. AAMAS (2) 2008: 681-688
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNils Bulling, Carlos Iván Chesñevar, Jürgen Dix: An Argumentative Approach for Modelling Coalitions Using ATL. ArgMAS 2008: 197-216
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix: Strategic Abilities of Agents. FoIKS 2008: 7
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTristan M. Behrens, Mehdi Dastani, Jürgen Dix, Peter Novák: Agent Contest Competition: 4th Edition. ProMAS 2008: 211-222
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNils Bulling, Wojciech Jamroga, Jürgen Dix: Reasoning about temporal properties of rational play. Ann. Math. Artif. Intell. 53(1-4): 51-114 (2008)
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWojciech Jamroga, Jürgen Dix: Model Checking Abilities of Agents: A Closer Look. Theory Comput. Syst. 42(3): 366-410 (2008)
2007
115no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael 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
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Novák, Jürgen Dix: Adding Structure to Agent Programming Languages. PROMAS 2007: 140-155
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi Dastani, Jürgen Dix, Peter Novák: Agent Contest Competition: 3rd Edition. PROMAS 2007: 221-240
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Stephen J. Hegner: Preface. Ann. Math. Artif. Intell. 50(1-2): 1-3 (2007)
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTristan 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
110no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJü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
109no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael 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
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Novák, Jürgen Dix: Modular BDI architecture. AAMAS 2006: 1009-1015
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi Dastani, Jürgen Dix, Peter Novák: The Second Contest on Multi-Agent Systems Based on Computational Logic. CLIMA VII 2006: 266-283
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWojciech Jamroga, Jürgen Dix: Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete. EUMAS 2006
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Sarit Kraus, V. S. Subrahmanian: Heterogeneous temporal probabilistic agents. ACM Trans. Comput. Log. 7(1): 151-198 (2006)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Brewka, Jürgen Dix: Preface. Ann. Math. Artif. Intell. 47(1-2): 1-2 (2006)
2005
103no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni: Multi-Agent Programming: Languages, Platforms and Applications Springer 2005
102no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael 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
101no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWojciech Jamroga, Jürgen Dix: Turning Game Models Turn-Based for Model Checking Properties of Agents. BNAIC 2005: 143-150
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWojciech Jamroga, Jürgen Dix: Do Agents Make Model Checking Explode (Computationally)? CEEMAS 2005: 398-407
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi Dastani, Jürgen Dix, Peter Novák: The First Contest on Multi-agent Systems Based on Computational Logic. CLIMA VI 2005: 373-384
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWojciech Jamroga, Jürgen Dix: Model Checking Strategic Abilities of Agents Under Incomplete Information. ICTCS 2005: 295-308
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Wolfgang Faber, V. S. Subrahmanian: The Relationship Between Reasoning About Privacy and Default Logics. LPAR 2005: 637-650
96no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Ugur Kuter, Dana S. Nau: Planning in Answer Set Programming using Ordered Task Decomposition. We Will Show Them! (1) 2005: 521-576
95no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Yingqian Zhang: IMPACT: A Multi-Agent Framework with Declarative Semantics. Multi-Agent Programming 2005: 69-94
2004
94no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi 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
93no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJü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
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brass, Jürgen Dix, Teodor C. Przymusinski: Super logic programs. ACM Trans. Comput. Log. 5(1): 129-176 (2004)
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Michael Fisher, Hector J. Levesque, Leon Sterling: Introduction. Ann. Math. Artif. Intell. 41(2-4): 131-133 (2004)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFatma Ozcan, V. S. Subrahmanian, Jürgen Dix: Improving Performance of Heterogeneous Agents. Ann. Math. Artif. Intell. 41(2-4): 339-395 (2004)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, João Alexandre Leite, Ken Satoh: Introduction. Ann. Math. Artif. Intell. 42(1-3): 1-3 (2004)
2003
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Ugur Kuter, Dana S. Nau: Planning in Answer Set Programming Using Ordered Task Decomposition. KI 2003: 490-504
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang: Monitoring Agents Using Declarative Planning. KI 2003: 646-660
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Fariba Sadri, Ken Satoh: Introduction. Ann. Math. Artif. Intell. 37(1-2): 1-3 (2003)
85no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJü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)
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang: Monitoring Agents using Declarative Planning. Fundam. Inform. 57(2-4): 345-370 (2003)
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos 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
82no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJü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
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Sarit Kraus, V. S. Subrahmanian: Agents dealing with time and uncertainty. AAMAS 2002: 912-919
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJü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
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJü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
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, João Alexandre Leite, Ken Satoh: Preface. Electr. Notes Theor. Comput. Sci. 70(5): (2002)
2001
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix: A Computational Logic Approach to Heterogenous Agent Systems. LPNMR 2001: 1-20
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Ulrich Furbach, Ilkka Niemelä: Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations. Handbook of Automated Reasoning 2001: 1241-1354
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJü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)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Sarit Kraus, V. S. Subrahmanian: Temporal agent programs. Artif. Intell. 127(1): 87-135 (2001)
73no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brass, Jürgen Dix, Burkhard Freitag, Ulrich Zukowski: Transformation-based bottom-up computation of the well-founded model. TPLP 1(5): 497-538 (2001)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan 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)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarl Schlechta, Jürgen Dix: Explaining updates by minimal sums. Theor. Comput. Sci. 266(1-2): 819-838 (2001)
2000
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLV. S. Subrahmanian, Piero A. Bonatti, Jürgen Dix, Thomas Eiter, Sarit Kraus, Fatma Ozcan, Robert B. Ross: Heterogenous Active Agents MIT Press 2000
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJü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
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Mirco Nanni, V. S. Subrahmanian: Probabilistic agent programs. ACM Trans. Comput. Log. 1(2): 208-246 (2000)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brass, Jürgen Dix, Teodor C. Przymusinski: Super Logic Programs CoRR cs.AI/0010032: (2000)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brass, Jürgen Dix, Burkhard Freitag, Ulrich Zukowski: Transformation-Based Bottom-Up Computation of the Well-Founded Model CoRR cs.LO/0011013: (2000)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFatma Ozcan, V. S. Subrahmanian, Jürgen Dix: Improving Performance of heavily loaded agents CoRR cs.MA/0012004: (2000)
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, V. S. Subrahmanian, George Pick: Meta-agent programs. J. Log. Program. 46(1-2): 1-60 (2000)
1999
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Karl Schlechta: Explaining Updates by Minimal Sums. FSTTCS 1999: 142-154
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJü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
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJü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)
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix: Selected Papers of Logic in AI - Editorial. Ann. Math. Artif. Intell. 27(1-4): 1-2 (1999)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brass, Jürgen Dix, Teodor C. Przymusinski: Computation of the Semantics of Autoepistemic Belief Theories. Artif. Intell. 112(1-2): 233-250 (1999)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Mirco Nanni, V. S. Subrahmanian: Probabilistic Agent Programs CoRR cs.AI/9910016: (1999)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Arrazola, Jürgen Dix, Mauricio Osorio: Confluent Rewriting systems in Non-Monotonic Reasoning. Computación y Sistemas 2(2-3): 104-123 (1999)
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brass, Jürgen Dix: Semantics of (disjunctive) Logic Programs Based on Partial Evaluation. J. Log. Program. 40(1): 1-46 (1999)
1998
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJü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
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJü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
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan 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
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix: The Logic Programming Paradigm. AI Commun. 11(2): 123-131 (1998)
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brass, Jürgen Dix: Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA. J. Autom. Reasoning 20(1): 143-165 (1998)
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Frieder Stolzenburg: A Framework to Incorporate Non-Monotonic Reasoning Into Constraint Logic Programming. J. Log. Program. 37(1-3): 47-76 (1998)
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Brewka, Jürgen Dix, Kurt Konolige: Nonmonotonic Reasoning: An Overview CSLI Publications, Stanford, CA 1997
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJü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
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJü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
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Mauricio Osorio: On Well-Behaved Semantics Suitable for Aggregation. ILPS 1997: 405
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Teodor C. Przymusinski, Luís Moniz Pereira: Logic Programming and Knowledge Representation (LPKR'97). ILPS 1997: 419-420
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Brewka, Jürgen Dix: Knowledge Representation with Logic Programs. LPKR 1997: 1-51
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChandrabose Aravindan, Jürgen Dix, Ilkka Niemelä: Dislop: Towards a Disjunctive Logic Programming System. LPNMR 1997: 342-353
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChandrabose Aravindan, Jürgen Dix, Ilkka Niemelä: DisLoP: A Research Project on Disjunctive Logic Programming. AI Commun. 10(3-4): 151-165 (1997)
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brass, Jürgen Dix: Characterizations of the Disjunctive Stable Semantics by Partial Evaluation. J. Log. Program. 32(3): 207-228 (1997)
1996
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brass, Jürgen Dix: Characterizing D-WFS: Confluence and Iterated GCWA. JELIA 1996: 268-283
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChandrabose 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
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brass, Jürgen Dix, Teodor C. Przymusinski: Super Logic Programs. KR 1996: 529-540
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix: Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview. Logic, Action, and Information 1996: 241-327
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski: Prolegomena to Logic Programming for Non-monotonic Reasoning. NMELP 1996: 1-36
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Frieder Stolzenburg: Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming. NMELP 1996: 202-224
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Georg Gottlob, V. Wiktor Marek: Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations. Fundam. Inform. 28(1-2): 87-100 (1996)
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, Frieder Stolzenburg: Deduktion und Logisches Programmieren. KI 10(2): 34-39 (1996)
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Ulrich Furbach: Logisches Programmieren mit Negation und Disjunktion. KI 10(3): 24-31 (1996)
1995
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJü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
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brass, Jürgen Dix: Disjunctive Semantics based upon Partial and Bottom-Up Evaluation. ICLP 1995: 199-213
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brass, Jürgen Dix: Characterizations of the Stable Semantics by Partial Evaluation. LPNMR 1995: 85-98
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix: Detailed Report on the First LP&NMR Retreat. AI Commun. 8(1): 39-43 (1995)
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix: A Classification Theory of Semantics of Normal Logic Programs: I. Strong Properties. Fundam. Inform. 22(3): 227-255 (1995)
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix: A Classification Theory of Semantics of Normal Logic Programs: II. Weak Properties. Fundam. Inform. 22(3): 257-288 (1995)
1994
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brass, Jürgen Dix: A Disjunctive Semantics Bases on Unfolding and Bottom-Up Evaluation. GI Jahrestagung 1994: 83-91
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brass, Jürgen Dix: Computing Disjunctive Stable Semantics Based on Clark's Completed Database. Grundlagen von Datenbanken 1994: 30-34
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Georg Gottlob, V. Wiktor Marek: Causal Models of Disjunctive Logic Programs. ICLP 1994: 290-302
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Martin Müller: An Axiomatic Approach to Semantics of Disjunctive Programs. ICLP 1994: 303-320
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Martin Müller: Partial Evaluation and Relevance for Approximations of Stable Semantics. ISMIS 1994: 511-520
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Martin Müller: The Stable Semantics and its Variants: A Comparison of Recent Approaches. KI 1994: 82-93
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brass, Jürgen Dix: A general Approach to Bottom-Up Computation of Disjunctive Semantics. NMELP 1994: 127-155
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brass, Jürgen Dix: A Characterization of the Stable Semantics by Partial Evaluation. WLP 1994: 81-84
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix: Review of Nonmonotonic Logic by W. Marek and M. Truszscynski, Springer, 1993. Bulletin of the IGPL 2(2): 251-253 (1994)
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Martin Kummer: Herbrand's Theorem for Nonstandard Inference Operations. J. Log. Comput. 4(2): 143-156 (1994)
1993
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Müller, Jürgen Dix: Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties (Extended Abstract). LPNMR 1993: 43-59
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Martin Kummer: Herbrand's Theorem for Nonstandard Inference Operations (Abstract). J. Symb. Log. 58(3): 1116-1117 (1993)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Peter H. Schmitt: Nichtmonotones Schließen: Wieviel Nichtmonotonie ist nötig? Kognitionswissenschaft 3(1): 53-69 (1993)
1992
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix: Default Theories of Poole-Type and a Method for constructing Cumulative Versions of Default Logic. ECAI 1992: 289-293
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix: Classifying Semantics of Disjunctive Logic Programs. JICSLP 1992: 798-812
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix: A Framework for Representing and Characterizing Semantics of Logic Programs. KR 1992: 591-602
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJü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
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJü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
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Klaus P. Jantke, Peter H. Schmitt: Nonmonotonic and Inductive Logic, 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990, Proceedings Springer 1991
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix: Classifying Semantics of Logic Programs (Extended Abstract). LPNMR 1991: 166-180
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Brewka, Jürgen Dix, Kurt Konolige: A Tutorial on Nonmonotonic Reasoning. Nonmonotonic and Inductive Logic 1991: 1-88
1990
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Joachim Posegga, Peter H. Schmitt: Modal logics for AI planning. Expert Planning Systems 1990: 157-162
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix: Cumulativity and Rationality in Semantics of Normal Logic Programs. Nonmonotonic and Inductive Logic 1990: 13-37
1989
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix: Some Tendencies in Non-monotonic Reasoning: 1. The main Approaches. Easter Conference on Model Theory 1989: 81-105

Coauthor Index

1Chandrabose Aravindan [38] [41] [42]
2José Arrazola [57]
3Peter Baumgartner [32] [38] [49]
4Tristan M. Behrens [111] [118] [122]
5Piero A. Bonatti [70]
6Rafael H. Bordini [102] [103] [109] [115]
7Stefan Brass [17] [18] [23] [24] [28] [29] [37] [39] [40] [51] [53] [56] [59] [66] [67] [72] [73] [92]
8Gerhard Brewka [4] [43] [48] [104]
9Nils Bulling [117] [120] [121]
10Luis Fariñas del Cerro [54]
11Carlos Iván Chesñevar [83] [120] [121]
12Ingo Dahn (Bernd I. Dahn) [49]
13Mehdi Dastani [94] [99] [102] [103] [107] [109] [113] [115] [118]
14Thomas Eiter [70] [84] [87]
15Wolfgang Faber [97]
16Amal El Fallah-Seghrouchni [94] [102] [103] [109] [115]
17Pablo R. Fillottrani [62]
18Michael Fink [84] [87]
19Michael Fisher [91]
20Burkhard Freitag [66] [73]
21Ulrich Furbach [31] [32] [38] [46] [49] [54] [76]
22Georg Gottlob [22] [33]
23Stephen J. Hegner [110] [112]
24Wojciech Jamroga [98] [100] [101] [106] [116] [117]
25Klaus P. Jantke [6]
26Kurt Konolige [4] [48]
27Michael Köster [122]
28Sarit Kraus [70] [74] [81] [105]
29Michael Kühn [49]
30Martin Kummer [13] [15]
31Ugur Kuter [88] [96]
32João Leite (João Alexandre Leite) [78] [82] [89] [93]
33Hector J. Levesque [91]
34Jorge Lobo [61]
35David Makinson [7]
36Victor W. Marek (V. Wiktor Marek) [22] [33]
37Martin Müller [8] [14] [19] [20] [21]
38Hector Muñoz-Avila (Héctor Muñoz-Avila) [69] [79] [80] [85]
39Mirco Nanni [58] [68]
40Dana S. Nau [69] [79] [80] [85] [88] [96]
41Anil Nerode [46]
42Gerd Neugebauer [38]
43Ilkka Niemelä [38] [41] [42] [53] [72] [76]
44Peter Novák [99] [107] [108] [113] [114] [118] [122]
45Mauricio Osorio (Mauricio Javier Osorio Galindo) [45] [57] [75]
46Fatma Özcan (Fatma Ozcan) [65] [70] [90]
47Simon Parsons [123]
48Luís Moniz Pereira (Luíz Moniz Pereira) [30] [35] [44] [47] [55]
49George Pick [64]
50Axel Polleres [84] [87]
51Joachim Posegga [3]
52Henry Prakken [123]
53Teodor C. Przymusinski [30] [35] [37] [44] [47] [53] [55] [59] [67] [72] [92]
54Robert B. Ross [70]
55Fariba Sadri [86]
56Ken Satoh [78] [82] [86] [89]
57Dorothea Schäfer [32] [38]
58Karl Schlechta [63] [71]
59Peter H. Schmitt [3] [6] [12]
60Guillermo Ricardo Simari [62] [83] [123]
61Leon Sterling [91]
62Frieder Stolzenburg [32] [34] [38] [49] [50] [62] [83]
63V. S. Subrahmanian [58] [64] [65] [68] [70] [74] [81] [90] [97] [105]
64Bernd Thomas [49]
65Claudia Zepeda [75]
66Lingling Zhang [79] [80] [85]
67Yingqian Zhang [84] [87] [95]
68Ulrich Zukowski [66] [73]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)