default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJürgen Dix
Person information
- affiliation: Clausthal University of Technology, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j64]Amit K. Chopra, Jürgen Dix, Rym Zalila-Wenkstern:
Introduction to the special issue: selected papers from EMAS 2022. Ann. Math. Artif. Intell. 92(4): 773-774 (2024)- [j63]Tabajara Krausburg
, Rafael H. Bordini, Jürgen Dix:
Modelling a chain of command in the incident command system using sequential characteristic function games. Ann. Math. Artif. Intell. 92(4): 925-951 (2024) - 2023
- [j62]Jürgen Dix, Zhongfei Zhang:
AI's 10 to Watch, 2022. IEEE Intell. Syst. 38(2): 3-14 (2023) - [c72]Tonmoay Deb, Jürgen Dix, Mingi Jeong, Cristian Molinaro, Andrea Pugliese, Alberto Quattrini Li, Eugene Santos Jr., V. S. Subrahmanian, Shanchieh Yang, Youzhi Zhang:
DUCK: A Drone-Urban Cyber-Defense Framework Based on Pareto-Optimal Deontic Logic Agents. AAAI 2023: 16425-16427 - [e28]Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Tabajara Krausburg:
The Multi-Agent Programming Contest 2022 - Coordinating Agents in a Dynamic World: Agents Follow the Rules, or Not. Lecture Notes in Computer Science 13997, Springer 2023, ISBN 978-3-031-38711-1 [contents] - 2022
- [c71]Tabajara Krausburg, Jürgen Dix, Rafael H. Bordini:
An MCTS-Based Algorithm to Solve Sequential CFGs on Valuation Structures. PRIMA 2022: 399-416 - [p9]Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Tabajara Krausburg:
The Multi-Agent Programming Contest 2022. The Multi-Agent Programming Contest 2022: 1-18 - 2021
- [j61]Jürgen Dix, Brian Logan, Michael Winikoff:
Preface to the Special Issue on engineering reliable multi-agent systems. Auton. Agents Multi Agent Syst. 35(2): 37 (2021) - [c70]Tabajara Krausburg, Jürgen Dix, Rafael H. Bordini:
Feasible Coalition Sequences. AAMAS 2021: 719-727 - [c69]Tabajara Krausburg, Jürgen Dix, Rafael H. Bordini:
Computing Sequences of Coalition Structures. SSCI 2021: 1-7 - 2020
- [j60]Dimitrios I. Diochnos, Jürgen Dix, Guillermo Ricardo Simari:
Foreword to special issue for ISAIM 2018. Ann. Math. Artif. Intell. 88(7): 687-689 (2020) - [c68]Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Tabajara Krausburg:
Accept a Challenge: The Multi-Agent Programming Contest - Challenging Tasks and How to Deal with Them. EMAS@AAMAS 2020: 129-143 - [c67]Tabajara Krausburg, Vinicius Chrisosthemos, Rafael H. Bordini, Jürgen Dix:
Disaster Response Simulation as a Testbed for Multi-Agent Systems. EUMAS/AT 2020: 67-81 - [c66]Tabajara Krausburg, Vinicius Chrisosthemos, Rafael H. Bordini, Jürgen Dix:
Disaster Response Simulation. PAAMS 2020: 434-438 - [e27]Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Tabajara Krausburg:
The Multi-Agent Programming Contest 2019 - Agents Assemble - Block by Block to Victory. Lecture Notes in Computer Science 12381, Springer 2020, ISBN 978-3-030-59298-1 [contents] - [i16]Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Tabajara Krausburg:
The Multi-Agent Programming Contest: A résumé. CoRR abs/2006.02739 (2020)
2010 – 2019
- 2019
- [p8]Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Tabajara Krausburg:
The Multi-Agent Programming Contest: A Résumé - Comparing Agent Systems 2005-2019. The Multi-Agent Programming Contest 2019: 3-27 - [e26]Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas:
The Multi-Agent Programming Contest 2018 - Agents Teaming Up in an Urban Environment. Lecture Notes in Computer Science 11957, Springer 2019, ISBN 978-3-030-37958-2 [contents] - [i15]Jürgen Dix, Brian Logan, Michael Winikoff:
Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112). Dagstuhl Reports 9(3): 52-63 (2019) - 2018
- [j59]Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas:
Multi-agent programming contest 2017 - The twelfth edition of the MAPC. Ann. Math. Artif. Intell. 84(1-2): 1-16 (2018) - [j58]Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas:
Multi-agent programming contest 2016. Int. J. Agent Oriented Softw. Eng. 6(1): 58-85 (2018) - [p7]Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas:
Correction to: The Multi-Agent Programming Contest 2018 - A Third Time in the City. The Multi-Agent Programming Contest 2018: 1 - [p6]Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas:
The Multi-Agent Programming Contest 2018 - A Third Time in the City. The Multi-Agent Programming Contest 2018: 3-22 - [e25]Mirjana Ivanovic, Costin Badica, Jürgen Dix, Zoran Jovanovic, Michele Malgeri, Milos Savic:
Intelligent Distributed Computing XI - Proceedings of the 11th International Symposium on Intelligent Distributed Computing - IDC 2017, Belgrade, Serbia, October 11-13, 2017. Studies in Computational Intelligence 737, Springer 2018, ISBN 978-3-319-66378-4 [contents] - [i14]Mehdi Dastani, Jürgen Dix, Harko Verhagen, Serena Villata:
Normative Multi-Agent Systems (Dagstuhl Seminar 18171). Dagstuhl Reports 8(4): 72-103 (2018) - 2016
- [j57]Jürgen Dix, Sven Ove Hansson, Gabriele Kern-Isberner, Guillermo Ricardo Simari:
Belief change and argumentation in multi-agent scenarios. Ann. Math. Artif. Intell. 78(3-4): 177-179 (2016) - [j56]Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Michael Köster, Philipp Kraus, Jörg P. Müller:
An architecture for scalable simulation of systems of cognitive agents. Int. J. Agent Oriented Softw. Eng. 5(2/3): 232-265 (2016) - [c65]Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Jens Grabowski, Verena Herbold, Daniel Honsel, Stephan Waack, Marlon Welter:
Agent-Based Simulation for Software Development Processes. EUMAS/AT 2016: 333-340 - [c64]Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas:
Scalable Multi-agent Simulation Based on MapReduce. EUMAS/AT 2016: 364-371 - 2015
- [c63]Tobias Ahlbrecht, Jürgen Dix, Federico Schlesinger:
From Testing Agent Systems to a Scalable Simulation Platform. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 47-62 - 2014
- [c62]Tobias Ahlbrecht, Jürgen Dix, Michael Köster, Philipp Kraus, Jörg P. Müller:
A Scalable Runtime Platform for Multiagent-Based Simulation. EMAS@AAMAS 2014: 81-102 - [p5]Koen V. Hindriks, Jürgen Dix:
GOAL: A Multi-agent Programming Language Applied to an Exploration Game. Agent-Oriented Software Engineering 2014: 235-258 - [e24]Fabiano Dalpiaz, Jürgen Dix, M. Birna van Riemsdijk:
Engineering Multi-Agent Systems - Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8758, Springer 2014, ISBN 978-3-319-14483-2 [contents] - 2013
- [c61]Tobias Ahlbrecht, Jürgen Dix, Michael Köster, Federico Schlesinger:
Multi-Agent Programming Contest 2013. EMAS@AAMAS 2013: 292-318 - [c60]Tobias Ahlbrecht, Christian Bender-Saebelkampf, Maiquel de Brito, Nicolai Christian Christensen, Jürgen Dix, Mariana Ramos Franco, Hendrik Heller, Andreas Viktor Hess, Axel Heßler, Jomi Fred Hübner, Andreas Schmidt Jensen, Jannick Boese Johnsen, Michael Köster, Chengqian Li, Lu Liu, Marcelo Menezes Morato, Philip Bratt Ørum, Federico Schlesinger, Tiago Luiz Schmitz, Jaime Simão Sichman, Kaio Siqueira de Souza, Daniela Maria Uez, Jørgen Villadsen, Sebastian Werner, Øyvind Grønland Woller, Maicon Rafael Zatelli:
Multi-Agent Programming Contest 2013: The Teams and the Design of Their Systems. EMAS@AAMAS 2013: 366-390 - [i13]Jürgen Dix, Sven Ove Hansson, Gabriele Kern-Isberner, Guillermo Ricardo Simari:
Belief Change and Argumentation in Multi-Agent Scenarios (Dagstuhl Seminar 13231). Dagstuhl Reports 3(6): 1-21 (2013) - 2012
- [j55]Tristan M. Behrens, Mehdi Dastani, Jürgen Dix, Jomi Hübner, Michael Köster, Peter Novák, Federico Schlesinger:
The Multi-Agent Programming Contest. AI Mag. 33(4): 111-113 (2012) - [c59]Jürgen Dix, Wolfgang Faber, V. S. Subrahmanian:
Privacy Preservation Using Multi-context Systems and Default Logic. Correct Reasoning 2012: 195-210 - [c58]Michael Köster, Federico Schlesinger, Jürgen Dix:
The Multi-Agent Programming Contest 2012. ProMAS 2012: 174-195 - [e23]Rem W. Collier, Jürgen Dix, Peter Novák:
Programming Multi-Agent Systems - 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6599, Springer 2012, ISBN 978-3-642-28938-5 [contents] - [i12]Jürgen Dix, Koen V. Hindriks, Brian Logan, Wayne Wobcke:
Engineering Multi-Agent Systems (Dagstuhl Seminar 12342). Dagstuhl Reports 2(8): 74-98 (2012) - 2011
- [j54]Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni:
Preface. Auton. Agents Multi Agent Syst. 23(2): 155-157 (2011) - [j53]Jürgen Dix, Michael Fisher:
Where logic and agents meet. Ann. Math. Artif. Intell. 61(1): 15-28 (2011) - [j52]Tristan M. Behrens, Jürgen Dix, Jomi Hübner, Michael Köster:
Editorial. Ann. Math. Artif. Intell. 61(4): 257-260 (2011) - [j51]Tristan M. Behrens, Koen V. Hindriks, Jürgen Dix:
Towards an environment interface standard for agent platforms. Ann. Math. Artif. Intell. 61(4): 261-295 (2011) - [j50]Jürgen Dix, João Leite:
Preface to the special issue on computational logics in multi-agent systems. Ann. Math. Artif. Intell. 62(1-2): 1-5 (2011) - [c57]Tristan M. Behrens, Michael Köster, Federico Schlesinger, Jürgen Dix, Jomi Fred Hübner:
The Multi-agent Programming Contest 2011: A Résumé. ProMAS 2011: 155-172 - [i11]Jürgen Dix, Wojtek Jamroga, Dov Samet:
Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101). Dagstuhl Reports 1(3): 1-18 (2011) - 2010
- [j49]Nils Bulling, Jürgen Dix:
Modelling and Verifying Coalitions using Argumentation and ATL. Inteligencia Artif. 14(46): 45-73 (2010) - [j48]Michael Köster, Tristan M. Behrens, Jürgen Dix, Jomi Fred Hübner, Mehdi Dastani, Peter Novák:
Editorial. Ann. Math. Artif. Intell. 59(3-4): 275 (2010) - [j47]Tristan M. Behrens, Mehdi Dastani, Jürgen Dix, Michael Köster, Peter Novák:
The multi-agent programming contest from 2005-2010 - From gold collecting to herding cows. Ann. Math. Artif. Intell. 59(3-4): 277-311 (2010) - [j46]Nick Bassiliades, Guido Governatori, Adrian Paschke, Jürgen Dix:
Guest Editors' Introduction: Rule Representation, Interchange, and Reasoning in Distributed, Heterogeneous Environments. IEEE Trans. Knowl. Data Eng. 22(11): 1489-1491 (2010) - [c56]Tristan M. Behrens, Koen V. Hindriks, Rafael H. Bordini, Lars Braubach, Mehdi Dastani, Jürgen Dix, Jomi Fred Hübner, Alexander Pokahr:
An Interface for Agent-Environment Interaction. ProMAS 2010: 139-158 - [e22]Jürgen Dix, Michael Fisher, Peter Novák:
Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers. Lecture Notes in Computer Science 6214, Springer 2010, ISBN 978-3-642-16866-6 [contents] - [e21]Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga:
Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings. Lecture Notes in Computer Science 6245, Springer 2010, ISBN 978-3-642-14976-4 [contents] - [e20]Jürgen Dix, Cees Witteveen:
Multiagent System Technologies, 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings. Lecture Notes in Computer Science 6251, Springer 2010, ISBN 978-3-642-16177-3 [contents]
2000 – 2009
- 2009
- [j45]Jürgen Dix, Simon Parsons, Henry Prakken, Guillermo Ricardo Simari:
Research challenges for argumentation. Comput. Sci. Res. Dev. 23(1): 27-34 (2009) - [j44]Jürgen Dix, Tristan M. Behrens, Michael Köster, Peter Novák:
Agenten als Goldgräber und Cowboys. Künstliche Intell. 23(2): 50-53 (2009) - [p4]Alejandro Javier García, Jürgen Dix, Guillermo Ricardo Simari:
Argument-based Logic Programming. Argumentation in Artificial Intelligence 2009: 153-171 - [e19]Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni:
Multi-Agent Programming, Languages, Tools and Applications. Springer 2009, ISBN 978-0-387-89298-6 [contents] - 2008
- [j43]Nils Bulling, Wojciech Jamroga, Jürgen Dix:
Reasoning about temporal properties of rational play. Ann. Math. Artif. Intell. 53(1-4): 51-114 (2008) - [j42]Wojciech Jamroga, Jürgen Dix:
Model Checking Abilities of Agents: A Closer Look. Theory Comput. Syst. 42(3): 366-410 (2008) - [c55]Nils Bulling, Carlos Iván Chesñevar, Jürgen Dix:
An Argumentative Approach for Modelling Coalitions Using ATL. ArgMAS 2008: 197-216 - [c54]Nils Bulling, Jürgen Dix, Carlos Iván Chesñevar:
Modelling coalitions: ATL + argumentation. AAMAS (2) 2008: 681-688 - [c53]Jürgen Dix:
Strategic Abilities of Agents. FoIKS 2008: 7 - [c52]Tristan M. Behrens, Mehdi Dastani, Jürgen Dix, Peter Novák:
Agent Contest Competition: 4th Edition. ProMAS 2008: 211-222 - [e18]Jürgen Dix, Simon Parsons, Henry Prakken, Guillermo Ricardo Simari:
Perspectives Workshop: Theory and Practice of Argumentation Systems, 20.01. - 23.01.2008. Dagstuhl Seminar Proceedings 08042, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - [e17]Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni:
Programming Multi-Agent Systems, 31.08. - 05.09.2008. Dagstuhl Seminar Proceedings 08361, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - [e16]Jürgen Dix, Edmund H. Durfee, Cees Witteveen:
Planning in Multiagent Systems, 09.11. - 14.11.2008. Dagstuhl Seminar Proceedings 08461, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - [i10]Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni:
08361 Abstracts Collection - Programming Multi-Agent Systems. Programming Multi-Agent Systems 2008 - [i9]Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni:
08361 Executive Summary - Programming Multi-Agent Systems. Programming Multi-Agent Systems 2008 - [i8]Jürgen Dix, Edmund H. Durfee, Cees Witteveen:
08461 Abstracts Collection - Planning in Multiagent Systems. Planning in Multiagent Systems 2008 - [i7]Jürgen Dix, Edmund H. Durfee, Cees Witteveen:
08461 Executive Summary - Planning in Multi-Agent Systems. Planning in Multiagent Systems 2008 - [i6]Jürgen Dix, Simon Parsons, Henry Prakken, Guillermo Ricardo Simari:
Research Challenges for Argumentation. Perspectives Workshop: Theory and Practice of Argumentation Systems 2008 - 2007
- [j41]Jürgen Dix, Stephen J. Hegner:
Preface. Ann. Math. Artif. Intell. 50(1-2): 1-3 (2007) - [j40]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) - [c51]Peter Novák, Jürgen Dix:
Adding Structure to Agent Programming Languages. PROMAS 2007: 140-155 - [c50]Mehdi Dastani, Jürgen Dix, Peter Novák:
Agent Contest Competition: 3rd Edition. PROMAS 2007: 221-240 - [e15]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. Lecture Notes in Computer Science 4411, Springer 2007, ISBN 978-3-540-71955-7 [contents] - 2006
- [j39]Gerhard Brewka, Jürgen Dix:
Preface. Ann. Math. Artif. Intell. 47(1-2): 1-2 (2006) - [j38]Jürgen Dix, Sarit Kraus, V. S. Subrahmanian:
Heterogeneous temporal probabilistic agents. ACM Trans. Comput. Log. 7(1): 151-198 (2006) - [c49]Peter Novák, Jürgen Dix:
Modular BDI architecture. AAMAS 2006: 1009-1015 - [c48]Mehdi Dastani, Jürgen Dix, Peter Novák:
The Second Contest on Multi-Agent Systems Based on Computational Logic. CLIMA 2006: 266-283 - [c47]Wojciech Jamroga, Jürgen Dix:
Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete. EUMAS 2006 - [e14]Jürgen Dix, Stephen J. Hegner:
Foundations of Information and Knowledge Systems, 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings. Lecture Notes in Computer Science 3861, Springer 2006, ISBN 3-540-31782-1 [contents] - [e13]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. Lecture Notes in Computer Science 3862, Springer 2006, ISBN 3-540-32616-2 [contents] - 2005
- [c46]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 - [c45]Wojciech Jamroga, Jürgen Dix:
Turning Game Models Turn-Based for Model Checking Properties of Agents. BNAIC 2005: 143-150 - [c44]Wojciech Jamroga, Jürgen Dix:
Do Agents Make Model Checking Explode (Computationally)? CEEMAS 2005: 398-407 - [c43]Mehdi Dastani, Jürgen Dix, Peter Novák:
The First Contest on Multi-agent Systems Based on Computational Logic. CLIMA 2005: 373-384 - [c42]Wojciech Jamroga, Jürgen Dix:
Model Checking Strategic Abilities of Agents Under Incomplete Information. ICTCS 2005: 295-308 - [c41]Jürgen Dix, Wolfgang Faber, V. S. Subrahmanian:
The Relationship Between Reasoning About Privacy and Default Logics. LPAR 2005: 637-650 - [p3]Jürgen Dix, Yingqian Zhang:
IMPACT: A Multi-Agent Framework with Declarative Semantics. Multi-Agent Programming 2005: 69-94 - [e12]Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni:
Multi-Agent Programming: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations 15, Springer 2005, ISBN 0-387-24568-5 [contents] - [e11]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. Lecture Notes in Computer Science 3346, Springer 2005, ISBN 3-540-24559-6 [contents] - 2004
- [j37]Jürgen Dix, Michael Fisher, Hector J. Levesque, Leon Sterling:
Introduction. Ann. Math. Artif. Intell. 41(2-4): 131-133 (2004) - [j36]Fatma Ozcan, V. S. Subrahmanian, Jürgen Dix:
Improving Performance of Heterogeneous Agents. Ann. Math. Artif. Intell. 41(2-4): 339-395 (2004) - [j35]Jürgen Dix, João Alexandre Leite, Ken Satoh:
Introduction. Ann. Math. Artif. Intell. 42(1-3): 1-3 (2004) - [j34]Stefan Brass, Jürgen Dix, Teodor C. Przymusinski:
Super logic programs. ACM Trans. Comput. Log. 5(1): 129-176 (2004) - [e10]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. Lecture Notes in Computer Science 3259, Springer 2004, ISBN 3-540-24010-1 [contents] - [e9]Jürgen Dix, Thomas Eiter, Enrico Franconi:
Logic Based Information Agents, 18.04. - 23.04.2004. Dagstuhl Seminar Proceedings 04171, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2004 [contents] - [e8]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. Lecture Notes in Computer Science 3067, Springer 2004, ISBN 3-540-22180-8 [contents] - [i5]Jürgen Dix, Thomas Eiter, Enrico Franconi:
04171 Abstracts Collection - Logic Based Information Agents. Logic Based Information Agents 2004 - 2003
- [j33]Jürgen Dix, Fariba Sadri, Ken Satoh:
Introduction. Ann. Math. Artif. Intell. 37(1-2): 1-3 (2003) - [j32]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) - [j31]Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang:
Monitoring Agents using Declarative Planning. Fundam. Informaticae 57(2-4): 345-370 (2003) - [j30]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) - [c40]Jürgen Dix, Ugur Kuter, Dana S. Nau:
Planning in Answer Set Programming Using Ordered Task Decomposition. KI 2003: 490-504 - [c39]Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang:
Monitoring Agents Using Declarative Planning. KI 2003: 646-660 - 2002
- [c38]Jürgen Dix, Sarit Kraus, V. S. Subrahmanian:
Agents dealing with time and uncertainty. AAMAS 2002: 912-919 - [c37]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 - [c36]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 - [c35]Jürgen Dix, João Alexandre Leite, Ken Satoh:
Preface. CLIMA 2002: 204-206 - [e7]Jürgen Dix, João Alexandre Leite, Ken Satoh:
Computational Logic in Multi-Agent Systems, CLIMA 2002, FLoC Satellite Event, Copenhagen, Denmark, August 1, 2002. Electronic Notes in Theoretical Computer Science 70(5), Elsevier 2002 [contents] - 2001
- [j29]Jürgen Dix, Sarit Kraus, V. S. Subrahmanian:
Temporal agent programs. Artif. Intell. 127(1): 87-135 (2001) - [j28]Jürgen Dix, Mauricio Osorio, Claudia Zepeda:
A general theory of confluent rewriting systems for logic programming and its applications. Ann. Pure Appl. Log. 108(1-3): 153-188 (2001) - [j27]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) - [j26]Karl Schlechta, Jürgen Dix:
Explaining updates by minimal sums. Theor. Comput. Sci. 266(1-2): 819-838 (2001) - [j25]Stefan Brass, Jürgen Dix, Burkhard Freitag, Ulrich Zukowski:
Transformation-based bottom-up computation of the well-founded model. Theory Pract. Log. Program. 1(5): 497-538 (2001) - [c34]Jürgen Dix:
A Computational Logic Approach to Heterogenous Agent Systems. LPNMR 2001: 1-20 - [p2]Jürgen Dix, Ulrich Furbach, Ilkka Niemelä:
Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations. Handbook of Automated Reasoning 2001: 1241-1354 - 2000
- [b3]V. S. Subrahmanian, Piero A. Bonatti, Jürgen Dix, Thomas Eiter, Sarit Kraus, Fatma Ozcan, Robert B. Ross:
Heterogenous Active Agents. MIT Press 2000, ISBN 0-262-19436-8 - [j24]Jürgen Dix, V. S. Subrahmanian, George Pick:
Meta-agent programs. J. Log. Program. 46(1-2): 1-60 (2000) - [j23]Jürgen Dix, Mirco Nanni, V. S. Subrahmanian:
Probabilistic agent programs. ACM Trans. Comput. Log. 1(2): 208-246 (2000) - [c33]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 - [i4]Stefan Brass, Jürgen Dix, Teodor C. Przymusinski:
Super Logic Programs. CoRR cs.AI/0010032 (2000) - [i3]Stefan Brass, Jürgen Dix, Burkhard Freitag, Ulrich Zukowski:
Transformation-Based Bottom-Up Computation of the Well-Founded Model. CoRR cs.LO/0011013 (2000) - [i2]Fatma Ozcan, V. S. Subrahmanian, Jürgen Dix:
Improving Performance of heavily loaded agents. CoRR cs.MA/0012004 (2000)
1990 – 1999
- 1999
- [j22]Stefan Brass, Jürgen Dix, Teodor C. Przymusinski:
Computation of the Semantics of Autoepistemic Belief Theories. Artif. Intell. 112(1-2): 233-250 (1999) - [j21]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) - [j20]Jürgen Dix:
Selected Papers of Logic in AI - Editorial. Ann. Math. Artif. Intell. 27(1-4): 1-2 (1999) - [j19]José Arrazola, Jürgen Dix, Mauricio Osorio:
Confluent Rewriting systems in Non-Monotonic Reasoning. Computación y Sistemas 2(2-3): 104-123 (1999) - [j18]Stefan Brass, Jürgen Dix:
Semantics of (disjunctive) Logic Programs Based on Partial Evaluation. J. Log. Program. 40(1): 1-46 (1999) - [c32]Jürgen Dix, Karl Schlechta:
Explaining Updates by Minimal Sums. FSTTCS 1999: 142-154 - [c31]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 - [i1]Jürgen Dix, Mirco Nanni, V. S. Subrahmanian:
Probabilistic Agent Programs. CoRR cs.AI/9910016 (1999) - 1998
- [j17]Jürgen Dix:
The Logic Programming Paradigm. AI Commun. 11(2): 123-131 (1998) - [j16]Stefan Brass, Jürgen Dix:
Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA. J. Autom. Reason. 20(1): 143-165 (1998) - [j15]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) - [j14]Peter Baumgartner, Ingo Dahn, Jürgen Dix, Ulrich Furbach, Michael Kühn, Frieder Stolzenburg, Bernd Thomas:
Automated Deduction: a Technological Point of View. Künstliche Intell. 12(4): 7-14 (1998) - [c30]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 - [e6]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. Lecture Notes in Computer Science 1489, Springer 1998, ISBN 3-540-65141-1 [contents] - [e5]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. Lecture Notes in Computer Science 1471, Springer 1998, ISBN 3-540-64958-1 [contents] - 1997
- [b2]Gerhard Brewka, Jürgen Dix, Kurt Konolige:
Nonmonotonic Reasoning: An Overview. CSLI Lecture Notes 73, CSLI Publications, Stanford, CA 1997 - [j13]Chandrabose Aravindan, Jürgen Dix, Ilkka Niemelä:
DisLoP: A Research Project on Disjunctive Logic Programming. AI Commun. 10(3-4): 151-165 (1997) - [j12]Stefan Brass, Jürgen Dix:
Characterizations of the Disjunctive Stable Semantics by Partial Evaluation. J. Log. Program. 32(3): 207-228 (1997) - [c29]Gerhard Brewka, Jürgen Dix:
Knowledge Representation with Logic Programs. LPKR 1997: 1-51 - [c28]Chandrabose Aravindan, Jürgen Dix, Ilkka Niemelä:
Dislop: Towards a Disjunctive Logic Programming System. LPNMR 1997: 342-353 - [c27]Jürgen Dix, Mauricio Osorio:
On Well-Behaved Semantics Suitable for Aggregation. ILPS 1997: 405 - [c26]Jürgen Dix, Teodor C. Przymusinski, Luís Moniz Pereira:
Logic Programming and Knowledge Representation (LPKR'97). ILPS 1997: 419-420 - [e4]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. Lecture Notes in Computer Science 1265, Springer 1997, ISBN 3-540-63255-7 [contents] - [e3]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. Lecture Notes in Computer Science 1216, Springer 1997, ISBN 3-540-62843-6 [contents] - 1996
- [j11]Jürgen Dix, Georg Gottlob, V. Wiktor Marek:
Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations. Fundam. Informaticae 28(1-2): 87-100 (1996) - [j10]Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, Frieder Stolzenburg:
Deduktion und Logisches Programmieren. Künstliche Intell. 10(2): 34-39 (1996) - [j9]Jürgen Dix, Ulrich Furbach:
Logisches Programmieren mit Negation und Disjunktion. Künstliche Intell. 10(3): 24-31 (1996) - [c25]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 - [c24]Stefan Brass, Jürgen Dix:
Characterizing D-WFS: Confluence and Iterated GCWA. JELIA 1996: 268-283 - [c23]Stefan Brass, Jürgen Dix, Teodor C. Przymusinski:
Super Logic Programs. KR 1996: 529-540 - [c22]Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski:
Prolegomena to Logic Programming for Non-monotonic Reasoning. NMELP 1996: 1-36 - [c21]Jürgen Dix, Frieder Stolzenburg:
Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming. NMELP 1996: 202-224 - [p1]Jürgen Dix:
Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview. Logic, Action, and Information 1996: 241-327 - 1995
- [j8]Jürgen Dix:
Detailed Report on the First LP&NMR Retreat. AI Commun. 8(1): 39-43 (1995) - [j7]Jürgen Dix:
A Classification Theory of Semantics of Normal Logic Programs: I. Strong Properties. Fundam. Informaticae 22(3): 227-255 (1995) - [j6]Jürgen Dix:
A Classification Theory of Semantics of Normal Logic Programs: II. Weak Properties. Fundam. Informaticae 22(3): 257-288 (1995) - [c20]Stefan Brass, Jürgen Dix:
Disjunctive Semantics based upon Partial and Bottom-Up Evaluation. ICLP 1995: 199-213 - [c19]Stefan Brass, Jürgen Dix:
Characterizations of the Stable Semantics by Partial Evaluation. LPNMR 1995: 85-98 - [e2]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. Lecture Notes in Computer Science 927, Springer 1995, ISBN 3-540-59467-1 [contents] - 1994
- [j5]Jürgen Dix:
Review of Nonmonotonic Logic by W. Marek and M. Truszscynski, Springer, 1993. Bull. IGPL 2(2): 251-253 (1994) - [j4]Jürgen Dix, Martin Kummer:
Herbrand's Theorem for Nonstandard Inference Operations. J. Log. Comput. 4(2): 143-156 (1994) - [c18]Stefan Brass, Jürgen Dix:
A Disjunctive Semantics Bases on Unfolding and Bottom-Up Evaluation. GI Jahrestagung 1994: 83-91 - [c17]Stefan Brass, Jürgen Dix:
Computing Disjunctive Stable Semantics Based on Clark's Completed Database. Grundlagen von Datenbanken 1994: 30-34 - [c16]Jürgen Dix, Georg Gottlob, V. Wiktor Marek:
Causal Models of Disjunctive Logic Programs. ICLP 1994: 290-302 - [c15]Jürgen Dix, Martin Müller:
An Axiomatic Approach to Semantics of Disjunctive Programs. ICLP 1994: 303-320 - [c14]Jürgen Dix, Martin Müller:
Partial Evaluation and Relevance for Approximations of Stable Semantics. ISMIS 1994: 511-520 - [c13]Jürgen Dix, Martin Müller:
The Stable Semantics and its Variants: A Comparison of Recent Approaches. KI 1994: 82-93 - [c12]Stefan Brass, Jürgen Dix:
A general Approach to Bottom-Up Computation of Disjunctive Semantics. NMELP 1994: 127-155 - [c11]Stefan Brass, Jürgen Dix:
A Characterization of the Stable Semantics by Partial Evaluation. WLP 1994: 81-84 - 1993
- [j3]Jürgen Dix, Martin Kummer:
Herbrand's Theorem for Nonstandard Inference Operations (Abstract). J. Symb. Log. 58(3): 1116-1117 (1993) - [j2]Jürgen Dix, Peter H. Schmitt:
Nichtmonotones Schließen: Wieviel Nichtmonotonie ist nötig? Kognitionswissenschaft 3(1): 53-69 (1993) - [c10]Martin Müller, Jürgen Dix:
Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties (Extended Abstract). LPNMR 1993: 43-59 - 1992
- [b1]Jürgen Dix:
Nichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer Programme. Karlsruhe Institute of Technology, Germany, 1992, pp. 1-193 - [j1]Jürgen Dix, David Makinson:
The Relationship between KLM and MAK models for Nonmonotonic Inference Operations. J. Log. Lang. Inf. 1(2): 131-140 (1992) - [c9]Jürgen Dix:
Default Theories of Poole-Type and a Method for constructing Cumulative Versions of Default Logic. ECAI 1992: 289-293 - [c8]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 - [c7]Jürgen Dix:
Classifying Semantics of Disjunctive Logic Programs. JICSLP 1992: 798-812 - [c6]Jürgen Dix:
A Framework for Representing and Characterizing Semantics of Logic Programs. KR 1992: 591-602 - 1991
- [c5]Jürgen Dix:
Classifying Semantics of Logic Programs (Extended Abstract). LPNMR 1991: 166-180 - [c4]Gerhard Brewka, Jürgen Dix, Kurt Konolige:
A Tutorial on Nonmonotonic Reasoning. Nonmonotonic and Inductive Logic 1991: 1-88 - [e1]Jürgen Dix, Klaus P. Jantke, Peter H. Schmitt:
Nonmonotonic and Inductive Logic, 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990, Proceedings. Lecture Notes in Computer Science 543, Springer 1991, ISBN 3-540-54564-6 [contents] - 1990
- [c3]Jürgen Dix, Joachim Posegga, Peter H. Schmitt:
Modal logics for AI planning. Expert Planning Systems 1990: 157-162 - [c2]Jürgen Dix:
Cumulativity and Rationality in Semantics of Normal Logic Programs. Nonmonotonic and Inductive Logic 1990: 13-37
1980 – 1989
- 1989
- [c1]Jürgen Dix:
Some Tendencies in Non-monotonic Reasoning: 1. The main Approaches. Easter Conference on Model Theory 1989: 81-105
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-20 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
