Jürgen Dix

194 papers A* 4A 5B 14C 2Misc 5Journal 76Unranked 51
YearRankTypeTitle / Venue / Authors
2025 J jnl
AI's 10 to Watch for 2024.
IEEE Intell. Syst.
Jürgen Dix, Zhongfei (Mark) Zhang
2025 J jnl
The future starts now.
Ann. Math. Artif. Intell.
Jürgen Dix, Michael Fisher
2024 J jnl
Introduction to the special issue: selected papers from EMAS 2022.
Ann. Math. Artif. Intell.
Amit K. Chopra, Jürgen Dix, Rym Zalila-Wenkstern
2024 J jnl
Modelling a chain of command in the incident command system using sequential characteristic function games.
Ann. Math. Artif. Intell.
Tabajara Krausburg, Rafael H. Bordini, Jürgen Dix
2023 J jnl
AI's 10 to Watch, 2022.
IEEE Intell. Syst.
Jürgen Dix, Zhongfei Zhang
2023 A* conf
DUCK: A Drone-Urban Cyber-Defense Framework Based on Pareto-Optimal Deontic Logic Agents.
AAAI
Tonmoay Deb, Jürgen Dix, Mingi Jeong, Cristian Molinaro, Andrea Pugliese, Alberto Quattrini Li, Eugene Santos Jr., V. S. Subrahmanian, Shanchieh Yang, Youzhi Zhang
2023 — book
The Multi-Agent Programming Contest 2022 - Coordinating Agents in a Dynamic World: Agents Follow the Rules, or Not
The Multi-Agent Programming Contest
Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Tabajara Krausburg
2022 B conf
An MCTS-Based Algorithm to Solve Sequential CFGs on Valuation Structures.
PRIMA
Tabajara Krausburg, Jürgen Dix, Rafael H. Bordini
2022 — ch.
The Multi-Agent Programming Contest 2022.
The Multi-Agent Programming Contest
Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Tabajara Krausburg
2021 — conf
Computing Sequences of Coalition Structures.
SSCI
Tabajara Krausburg, Jürgen Dix, Rafael H. Bordini
2021 A conf
Feasible Coalition Sequences.
AAMAS
Tabajara Krausburg, Jürgen Dix, Rafael H. Bordini
2021 J jnl
Preface to the Special Issue on engineering reliable multi-agent systems.
Auton. Agents Multi Agent Syst.
Jürgen Dix, Brian Logan, Michael Winikoff
2020 — conf
Accept a Challenge: The Multi-Agent Programming Contest - Challenging Tasks and How to Deal with Them.
EMAS@AAMAS
Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Tabajara Krausburg
2020 — conf
Disaster Response Simulation as a Testbed for Multi-Agent Systems.
EUMAS/AT
Tabajara Krausburg, Vinicius Chrisosthemos, Rafael H. Bordini, Jürgen Dix
2020 Misc conf
Disaster Response Simulation.
PAAMS
Tabajara Krausburg, Vinicius Chrisosthemos, Rafael H. Bordini, Jürgen Dix
2020 J jnl
Foreword to special issue for ISAIM 2018.
Ann. Math. Artif. Intell.
Dimitrios I. Diochnos, Jürgen Dix, Guillermo Ricardo Simari
2020 — book
The Multi-Agent Programming Contest 2019 - Agents Assemble - Block by Block to Victory
The Multi-Agent Programming Contest
Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Tabajara Krausburg
2020 J jnl
The Multi-Agent Programming Contest: A résumé.
CoRR
Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Tabajara Krausburg
2019 J jnl
Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112).
Dagstuhl Reports
Jürgen Dix, Brian Logan, Michael Winikoff
2019 — book
The Multi-Agent Programming Contest 2018 - Agents Teaming Up in an Urban Environment
The Multi-Agent Programming Contest
Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas
2019 — ch.
The Multi-Agent Programming Contest: A Résumé - Comparing Agent Systems 2005-2019.
The Multi-Agent Programming Contest
Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Tabajara Krausburg
2018 — ch.
Correction to: The Multi-Agent Programming Contest 2018 - A Third Time in the City.
The Multi-Agent Programming Contest
Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas
2018 Misc ed.
Intelligent Distributed Computing XI - Proceedings of the 11th International Symposium on Intelligent Distributed Computing - IDC 2017, Belgrade, Serbia, October 11-13, 2017.
IDC
Mirjana Ivanovic, Costin Badica, Jürgen Dix, Zoran Jovanovic, Michele Malgeri, Milos Savic
2018 J jnl
Multi-agent programming contest 2016.
Int. J. Agent Oriented Softw. Eng.
Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas
2018 J jnl
Multi-agent programming contest 2017 - The twelfth edition of the MAPC.
Ann. Math. Artif. Intell.
Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas
2018 J jnl
Normative Multi-Agent Systems (Dagstuhl Seminar 18171).
Dagstuhl Reports
Mehdi Dastani, Jürgen Dix, Harko Verhagen, Serena Villata
2018 — ch.
The Multi-Agent Programming Contest 2018 - A Third Time in the City.
The Multi-Agent Programming Contest
Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas
2016 — conf
Agent-Based Simulation for Software Development Processes.
EUMAS/AT
Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Jens Grabowski, Verena Herbold, Daniel Honsel, Stephan Waack, Marlon Welter
2016 J jnl
An architecture for scalable simulation of systems of cognitive agents.
Int. J. Agent Oriented Softw. Eng.
Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Michael Köster, Philipp Kraus, Jörg P. Müller
2016 J jnl
Belief change and argumentation in multi-agent scenarios.
Ann. Math. Artif. Intell.
Jürgen Dix, Sven Ove Hansson, Gabriele Kern-Isberner, Guillermo Ricardo Simari
2016 — conf
Scalable Multi-agent Simulation Based on MapReduce.
EUMAS/AT
Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas
2015 — conf
From Testing Agent Systems to a Scalable Simulation Platform.
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Tobias Ahlbrecht, Jürgen Dix, Federico Schlesinger
2014 — conf
A Scalable Runtime Platform for Multiagent-Based Simulation.
EMAS@AAMAS
Tobias Ahlbrecht, Jürgen Dix, Michael Köster, Philipp Kraus, Jörg P. Müller
2014 — ed.
Engineering Multi-Agent Systems - Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers
EMAS@AAMAS
Fabiano Dalpiaz, Jürgen Dix, M. Birna van Riemsdijk
2014 — ch.
GOAL: A Multi-agent Programming Language Applied to an Exploration Game.
Agent-Oriented Software Engineering
Koen V. Hindriks, Jürgen Dix
2013 J jnl
Belief Change and Argumentation in Multi-Agent Scenarios (Dagstuhl Seminar 13231).
Dagstuhl Reports
Jürgen Dix, Sven Ove Hansson, Gabriele Kern-Isberner, Guillermo Ricardo Simari
2013 — conf
Multi-Agent Programming Contest 2013.
EMAS@AAMAS
Tobias Ahlbrecht, Jürgen Dix, Michael Köster, Federico Schlesinger
2013 — conf
Multi-Agent Programming Contest 2013: The Teams and the Design of Their Systems.
EMAS@AAMAS
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
2012 J jnl
Engineering Multi-Agent Systems (Dagstuhl Seminar 12342).
Dagstuhl Reports
Jürgen Dix, Koen V. Hindriks, Brian Logan, Wayne Wobcke
2012 — conf
Privacy Preservation Using Multi-context Systems and Default Logic.
Correct Reasoning
Jürgen Dix, Wolfgang Faber, V. S. Subrahmanian
2012 — ed.
Programming Multi-Agent Systems - 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers
ProMAS
Rem W. Collier, Jürgen Dix, Peter Novák
2012 — conf
The Multi-Agent Programming Contest 2012.
ProMAS
Michael Köster, Federico Schlesinger, Jürgen Dix
2012 J jnl
The Multi-Agent Programming Contest.
AI Mag.
Tristan M. Behrens, Mehdi Dastani, Jürgen Dix, Jomi Hübner, Michael Köster, Peter Novák, Federico Schlesinger
2011 J jnl
Editorial.
Ann. Math. Artif. Intell.
Tristan M. Behrens, Jürgen Dix, Jomi Hübner, Michael Köster
2011 J jnl
Preface to the special issue on computational logics in multi-agent systems.
Ann. Math. Artif. Intell.
Jürgen Dix, João Leite
2011 J jnl
Preface.
Auton. Agents Multi Agent Syst.
Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni
2011 J jnl
Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101).
Dagstuhl Reports
Jürgen Dix, Wojtek Jamroga, Dov Samet
2011 — conf
The Multi-agent Programming Contest 2011: A Résumé.
ProMAS
Tristan M. Behrens, Michael Köster, Federico Schlesinger, Jürgen Dix, Jomi Fred Hübner
2011 J jnl
Towards an environment interface standard for agent platforms.
Ann. Math. Artif. Intell.
Tristan M. Behrens, Koen V. Hindriks, Jürgen Dix
2011 J jnl
Where logic and agents meet.
Ann. Math. Artif. Intell.
Jürgen Dix, Michael Fisher
2010 — conf
An Interface for Agent-Environment Interaction.
ProMAS
Tristan M. Behrens, Koen V. Hindriks, Rafael H. Bordini, Lars Braubach, Mehdi Dastani, Jürgen Dix, Jomi Fred Hübner, Alexander Pokahr
2010 — ed.
Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
CLIMA
Jürgen Dix, Michael Fisher, Peter Novák
2010 — ed.
Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
CLIMA
Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga
2010 J jnl
Editorial.
Ann. Math. Artif. Intell.
Michael Köster, Tristan M. Behrens, Jürgen Dix, Jomi Fred Hübner, Mehdi Dastani, Peter Novák
2010 J jnl
Guest Editors' Introduction: Rule Representation, Interchange, and Reasoning in Distributed, Heterogeneous Environments.
IEEE Trans. Knowl. Data Eng.
Nick Bassiliades, Guido Governatori, Adrian Paschke, Jürgen Dix
2010 J jnl
Modelling and Verifying Coalitions using Argumentation and ATL.
Inteligencia Artif.
Nils Bulling, Jürgen Dix
2010 — ed.
Multiagent System Technologies, 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings
MATES
Jürgen Dix, Cees Witteveen
2010 J jnl
The multi-agent programming contest from 2005-2010 - From gold collecting to herding cows.
Ann. Math. Artif. Intell.
Tristan M. Behrens, Mehdi Dastani, Jürgen Dix, Michael Köster, Peter Novák
2009 J jnl
Agenten als Goldgräber und Cowboys.
Künstliche Intell.
Jürgen Dix, Tristan M. Behrens, Michael Köster, Peter Novák
2009 — ch.
Argument-based Logic Programming.
Argumentation in Artificial Intelligence
Alejandro Javier García, Jürgen Dix, Guillermo Ricardo Simari
2009 — book
Multi-Agent Programming, Languages, Tools and Applications.
Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni
2009 J jnl
Research challenges for argumentation.
Comput. Sci. Res. Dev.
Jürgen Dix, Simon Parsons, Henry Prakken, Guillermo Ricardo Simari
2008 — conf
08361 Abstracts Collection - Programming Multi-Agent Systems.
Programming Multi-Agent Systems
Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni
2008 — conf
08361 Executive Summary - Programming Multi-Agent Systems.
Programming Multi-Agent Systems
Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni
2008 — conf
08461 Abstracts Collection - Planning in Multiagent Systems.
Planning in Multiagent Systems
Jürgen Dix, Edmund H. Durfee, Cees Witteveen
2008 — conf
08461 Executive Summary - Planning in Multi-Agent Systems.
Planning in Multiagent Systems
Jürgen Dix, Edmund H. Durfee, Cees Witteveen
2008 — conf
Agent Contest Competition: 4th Edition.
ProMAS
Tristan M. Behrens, Mehdi Dastani, Jürgen Dix, Peter Novák
2008 — conf
An Argumentative Approach for Modelling Coalitions Using ATL.
ArgMAS
Nils Bulling, Carlos Iván Chesñevar, Jürgen Dix
2008 J jnl
Model Checking Abilities of Agents: A Closer Look.
Theory Comput. Syst.
Wojciech Jamroga, Jürgen Dix
2008 — conf
Modelling coalitions: ATL + argumentation.
AAMAS (2)
Nils Bulling, Jürgen Dix, Carlos Iván Chesñevar
2008 — ed.
Perspectives Workshop: Theory and Practice of Argumentation Systems, 20.01. - 23.01.2008
Perspectives Workshop: Theory and Practice of Argumentation Systems
Jürgen Dix, Simon Parsons, Henry Prakken, Guillermo Ricardo Simari
2008 — ed.
Planning in Multiagent Systems, 09.11. - 14.11.2008
Planning in Multiagent Systems
Jürgen Dix, Edmund H. Durfee, Cees Witteveen
2008 — ed.
Programming Multi-Agent Systems, 31.08. - 05.09.2008
Programming Multi-Agent Systems
Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni
2008 J jnl
Reasoning about temporal properties of rational play.
Ann. Math. Artif. Intell.
Nils Bulling, Wojciech Jamroga, Jürgen Dix
2008 — conf
Research Challenges for Argumentation.
Perspectives Workshop: Theory and Practice of Argumentation Systems
Jürgen Dix, Simon Parsons, Henry Prakken, Guillermo Ricardo Simari
2008 — conf
Strategic Abilities of Agents.
FoIKS
Jürgen Dix
2007 — conf
Adding Structure to Agent Programming Languages.
PROMAS
Peter Novák, Jürgen Dix
2007 — conf
Agent Contest Competition: 3rd Edition.
PROMAS
Mehdi Dastani, Jürgen Dix, Peter Novák
2007 J jnl
Model checking multi-agent systems with logic based Petri nets.
Ann. Math. Artif. Intell.
Tristan M. Behrens, Jürgen Dix
2007 J jnl
Preface.
Ann. Math. Artif. Intell.
Jürgen Dix, Stephen J. Hegner
2007 — ed.
Programming Multi-Agent Systems, 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
ProMAS
Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni
2006 — ed.
Foundations of Information and Knowledge Systems, 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings
FoIKS
Jürgen Dix, Stephen J. Hegner
2006 J jnl
Heterogeneous temporal probabilistic agents.
ACM Trans. Comput. Log.
Jürgen Dix, Sarit Kraus, V. S. Subrahmanian
2006 C conf
Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete.
EUMAS
Wojciech Jamroga, Jürgen Dix
2006 A conf
Modular BDI architecture.
AAMAS
Peter Novák, Jürgen Dix
2006 J jnl
Preface.
Ann. Math. Artif. Intell.
Gerhard Brewka, Jürgen Dix
2006 — ed.
Programming Multi-Agent Systems, Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers
PROMAS
Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni
2006 — conf
The Second Contest on Multi-Agent Systems Based on Computational Logic.
CLIMA
Mehdi Dastani, Jürgen Dix, Peter Novák
2005 — conf
Do Agents Make Model Checking Explode (Computationally)?
CEEMAS
Wojciech Jamroga, Jürgen Dix
2005 — ch.
IMPACT: A Multi-Agent Framework with Declarative Semantics.
Multi-Agent Programming
Jürgen Dix, Yingqian Zhang
2005 — conf
Model Checking Strategic Abilities of Agents Under Incomplete Information.
ICTCS
Wojciech Jamroga, Jürgen Dix
2005 — book
Multi-Agent Programming: Languages, Platforms and Applications
Multi-Agent Programming
Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni
2005 — conf
Planning in Answer Set Programming using Ordered Task Decomposition.
We Will Show Them! (1)
Jürgen Dix, Ugur Kuter, Dana S. Nau
2005 — ed.
Programming Multi-Agent Systems, Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004 Selected Revised and Invited Papers
PROMAS
Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni
2005 — conf
The First Contest on Multi-agent Systems Based on Computational Logic.
CLIMA
Mehdi Dastani, Jürgen Dix, Peter Novák
2005 B conf
The Relationship Between Reasoning About Privacy and Default Logics.
LPAR
Jürgen Dix, Wolfgang Faber, V. S. Subrahmanian
2005 — conf
Turning Game Models Turn-Based for Model Checking Properties of Agents.
BNAIC
Wojciech Jamroga, Jürgen Dix
2004 — conf
04171 Abstracts Collection - Logic Based Information Agents.
Logic Based Information Agents
Jürgen Dix, Thomas Eiter, Enrico Franconi
2004 — ed.
Computational Logic in Multi-Agent Systems, 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
CLIMA
Jürgen Dix, João Alexandre Leite
2004 J jnl
Improving Performance of Heterogeneous Agents.
Ann. Math. Artif. Intell.
Fatma Ozcan, V. S. Subrahmanian, Jürgen Dix
2004 J jnl
Introduction.
Ann. Math. Artif. Intell.
Jürgen Dix, Michael Fisher, Hector J. Levesque, Leon Sterling
2004 J jnl
Introduction.
Ann. Math. Artif. Intell.
Jürgen Dix, João Alexandre Leite, Ken Satoh
2004 — ed.
Logic Based Information Agents, 18.04. - 23.04.2004
Logic Based Information Agents
Jürgen Dix, Thomas Eiter, Enrico Franconi
2004 — ed.
Programming Multi-Agent Systems, First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers
PROMAS
Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni
2004 J jnl
Super logic programs.
ACM Trans. Comput. Log.
Stefan Brass, Jürgen Dix, Teodor C. Przymusinski
2003 J jnl
IMPACTing SHOP: Putting an AI Planner Into a Multi-Agent Environment.
Ann. Math. Artif. Intell.
Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang
2003 J jnl
Introduction.
Ann. Math. Artif. Intell.
Jürgen Dix, Fariba Sadri, Ken Satoh
2003 Misc conf
Monitoring Agents Using Declarative Planning.
KI
Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang
2003 J jnl
Monitoring Agents using Declarative Planning.
Fundam. Informaticae
Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang
2003 Misc conf
Planning in Answer Set Programming Using Ordered Task Decomposition.
KI
Jürgen Dix, Ugur Kuter, Dana S. Nau
2003 J jnl
Relating defeasible and normal logic programming through transformation properties.
Theor. Comput. Sci.
Carlos Iván Chesñevar, Jürgen Dix, Frieder Stolzenburg, Guillermo Ricardo Simari
2002 A conf
Agents dealing with time and uncertainty.
AAMAS
Jürgen Dix, Sarit Kraus, V. S. Subrahmanian
2002 — ed.
Computational Logic in Multi-Agent Systems, CLIMA 2002, FLoC Satellite Event, Copenhagen, Denmark, August 1, 2002
CLIMA
Jürgen Dix, João Alexandre Leite, Ken Satoh
2002 A conf
Planning in a multi-agent environment: theory and practice.
AAMAS
Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang
2002 — conf
Preface.
CLIMA
Jürgen Dix, João Alexandre Leite, Ken Satoh
2002 B conf
Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment.
JELIA
Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang
2001 B conf
A Computational Logic Approach to Heterogenous Agent Systems.
LPNMR
Jürgen Dix
2001 J jnl
A general theory of confluent rewriting systems for logic programming and its applications.
Ann. Pure Appl. Log.
Jürgen Dix, Mauricio Osorio, Claudia Zepeda
2001 J jnl
Explaining updates by minimal sums.
Theor. Comput. Sci.
Karl Schlechta, Jürgen Dix
2001 — ch.
Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations.
Handbook of Automated Reasoning
Jürgen Dix, Ulrich Furbach, Ilkka Niemelä
2001 J jnl
On the equivalence of the static and disjunctive well-founded semantics and its computation.
Theor. Comput. Sci.
Stefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski
2001 J jnl
Temporal agent programs.
Artif. Intell.
Jürgen Dix, Sarit Kraus, V. S. Subrahmanian
2001 J jnl
Transformation-based bottom-up computation of the well-founded model.
Theory Pract. Log. Program.
Stefan Brass, Jürgen Dix, Burkhard Freitag, Ulrich Zukowski
2000 — book
Heterogenous Active Agents
V. S. Subrahmanian, Piero A. Bonatti, Jürgen Dix, Thomas Eiter, Sarit Kraus, Fatma Ozcan, Robert B. Ross
2000 — conf
IMPACTing SHOP: Planning in a Multi-agent Environment.
CL-2000 Workshop on Computational Logic in Multi-Agent Systems
Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau
2000 J jnl
Improving Performance of heavily loaded agents
CoRR
Fatma Ozcan, V. S. Subrahmanian, Jürgen Dix
2000 J jnl
Meta-agent programs.
J. Log. Program.
Jürgen Dix, V. S. Subrahmanian, George Pick
2000 J jnl
Probabilistic agent programs.
ACM Trans. Comput. Log.
Jürgen Dix, Mirco Nanni, V. S. Subrahmanian
2000 J jnl
Super Logic Programs
CoRR
Stefan Brass, Jürgen Dix, Teodor C. Przymusinski
2000 J jnl
Transformation-Based Bottom-Up Computation of the Well-Founded Model
CoRR
Stefan Brass, Jürgen Dix, Burkhard Freitag, Ulrich Zukowski
1999 — conf
Automating Defeasible Reasoning with Logic Programming.
German-Argentinian Workshop on Information Technology
Jürgen Dix, Frieder Stolzenburg, Guillermo Ricardo Simari, Pablo R. Fillottrani
1999 J jnl
Computation of the Semantics of Autoepistemic Belief Theories.
Artif. Intell.
Stefan Brass, Jürgen Dix, Teodor C. Przymusinski
1999 J jnl
Confluent Rewriting systems in Non-Monotonic Reasoning.
Computación y Sistemas
José Arrazola, Jürgen Dix, Mauricio Osorio
1999 J jnl
Editorial - Logic Programming with Non-monotonic Semantics: Representing Knowledge and its Computation.
Ann. Math. Artif. Intell.
Jürgen Dix, Jorge Lobo
1999 — conf
Explaining Updates by Minimal Sums.
FSTTCS
Jürgen Dix, Karl Schlechta
1999 J jnl
Probabilistic Agent Programs
CoRR
Jürgen Dix, Mirco Nanni, V. S. Subrahmanian
1999 J jnl
Selected Papers of Logic in AI - Editorial.
Ann. Math. Artif. Intell.
Jürgen Dix
1999 J jnl
Semantics of (disjunctive) Logic Programs Based on Partial Evaluation.
J. Log. Program.
Stefan Brass, Jürgen Dix
1998 A* conf
A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation.
KR
Stefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski
1998 J jnl
A Framework to Incorporate Non-Monotonic Reasoning Into Constraint Logic Programming.
J. Log. Program.
Jürgen Dix, Frieder Stolzenburg
1998 J jnl
Automated Deduction: a Technological Point of View.
Künstliche Intell.
Peter Baumgartner, Ingo Dahn, Jürgen Dix, Ulrich Furbach, Michael Kühn, Frieder Stolzenburg, Bernd Thomas
1998 J jnl
Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA.
J. Autom. Reason.
Stefan Brass, Jürgen Dix
1998 — ed.
Logic Programming and Knowledge Representation, Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers
LPKR
Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski
1998 B ed.
Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings
JELIA
Jürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach
1998 J jnl
The Logic Programming Paradigm.
AI Commun.
Jürgen Dix
1997 J jnl
Characterizations of the Disjunctive Stable Semantics by Partial Evaluation.
J. Log. Program.
Stefan Brass, Jürgen Dix
1997 J jnl
DisLoP: A Research Project on Disjunctive Logic Programming.
AI Commun.
Chandrabose Aravindan, Jürgen Dix, Ilkka Niemelä
1997 B conf
Dislop: Towards a Disjunctive Logic Programming System.
LPNMR
Chandrabose Aravindan, Jürgen Dix, Ilkka Niemelä
1997 — conf
Knowledge Representation with Logic Programs.
LPKR
Gerhard Brewka, Jürgen Dix
1997 — conf
Logic Programming and Knowledge Representation (LPKR'97).
ILPS
Jürgen Dix, Teodor C. Przymusinski, Luís Moniz Pereira
1997 B ed.
Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings
LPNMR
Jürgen Dix, Ulrich Furbach, Anil Nerode
1997 — ed.
Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers
NMELP
Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski
1997 — book
Nonmonotonic Reasoning: An Overview
Gerhard Brewka, Jürgen Dix, Kurt Konolige
1997 — conf
On Well-Behaved Semantics Suitable for Aggregation.
ILPS
Jürgen Dix, Mauricio Osorio
1996 B conf
Characterizing D-WFS: Confluence and Iterated GCWA.
JELIA
Stefan Brass, Jürgen Dix
1996 — conf
Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming.
NMELP
Jürgen Dix, Frieder Stolzenburg
1996 J jnl
Deduktion und Logisches Programmieren.
Künstliche Intell.
Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, Frieder Stolzenburg
1996 J jnl
Logisches Programmieren mit Negation und Disjunktion.
Künstliche Intell.
Jürgen Dix, Ulrich Furbach
1996 — conf
On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract).
JICSLP
Chandrabose Aravindan, Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, Frieder Stolzenburg
1996 — conf
Prolegomena to Logic Programming for Non-monotonic Reasoning.
NMELP
Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski
1996 J jnl
Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations.
Fundam. Informaticae
Jürgen Dix, Georg Gottlob, V. Wiktor Marek
1996 — ch.
Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview.
Logic, Action, and Information
Jürgen Dix
1996 A* conf
Super Logic Programs.
KR
Stefan Brass, Jürgen Dix, Teodor C. Przymusinski
1995 J jnl
A Classification Theory of Semantics of Normal Logic Programs: I. Strong Properties.
Fundam. Informaticae
Jürgen Dix
1995 J jnl
A Classification Theory of Semantics of Normal Logic Programs: II. Weak Properties.
Fundam. Informaticae
Jürgen Dix
1995 B conf
Characterizations of the Stable Semantics by Partial Evaluation.
LPNMR
Stefan Brass, Jürgen Dix
1995 J jnl
Detailed Report on the First LP&NMR Retreat.
AI Commun.
Jürgen Dix
1995 B conf
Disjunctive Semantics based upon Partial and Bottom-Up Evaluation.
ICLP
Stefan Brass, Jürgen Dix
1995 — ed.
Non-Monotonic Extensions of Logic Programming (NMELP'94), ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers
NMELP
Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski
1994 — conf
A Characterization of the Stable Semantics by Partial Evaluation.
WLP
Stefan Brass, Jürgen Dix
1994 — conf
A Disjunctive Semantics Bases on Unfolding and Bottom-Up Evaluation.
GI Jahrestagung
Stefan Brass, Jürgen Dix
1994 — conf
A general Approach to Bottom-Up Computation of Disjunctive Semantics.
NMELP
Stefan Brass, Jürgen Dix
1994 B conf
An Axiomatic Approach to Semantics of Disjunctive Programs.
ICLP
Jürgen Dix, Martin Müller
1994 B conf
Causal Models of Disjunctive Logic Programs.
ICLP
Jürgen Dix, Georg Gottlob, V. Wiktor Marek
1994 — conf
Computing Disjunctive Stable Semantics Based on Clark's Completed Database.
Grundlagen von Datenbanken
Stefan Brass, Jürgen Dix
1994 J jnl
Herbrand's Theorem for Nonstandard Inference Operations.
J. Log. Comput.
Jürgen Dix, Martin Kummer
1994 C conf
Partial Evaluation and Relevance for Approximations of Stable Semantics.
ISMIS
Jürgen Dix, Martin Müller
1994 J jnl
Review of Nonmonotonic Logic by W. Marek and M. Truszscynski, Springer, 1993.
Bull. IGPL
Jürgen Dix
1994 Misc conf
The Stable Semantics and its Variants: A Comparison of Recent Approaches.
KI
Jürgen Dix, Martin Müller
1993 J jnl
Herbrand's Theorem for Nonstandard Inference Operations (Abstract).
J. Symb. Log.
Jürgen Dix, Martin Kummer
1993 B conf
Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties (Extended Abstract).
LPNMR
Martin Müller, Jürgen Dix
1993 J jnl
Nichtmonotones Schließen: Wieviel Nichtmonotonie ist nötig?
Kognitionswissenschaft
Jürgen Dix, Peter H. Schmitt
1992 A* conf
A Framework for Representing and Characterizing Semantics of Logic Programs.
KR
Jürgen Dix
1992 — conf
Abstract Properties and Computational Complexity of Semantics for Disjunctive Logic Programs.
Structural Complexity and Recursion-theoretic methods in Logic-Programming
Jürgen Dix, Martin Müller
1992 — conf
Classifying Semantics of Disjunctive Logic Programs.
JICSLP
Jürgen Dix
1992 A conf
Default Theories of Poole-Type and a Method for constructing Cumulative Versions of Default Logic.
ECAI
Jürgen Dix
1992 — —
Nichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer Programme.
Jürgen Dix
1992 J jnl
The Relationship between KLM and MAK models for Nonmonotonic Inference Operations.
J. Log. Lang. Inf.
Jürgen Dix, David Makinson
1991 — conf
A Tutorial on Nonmonotonic Reasoning.
Nonmonotonic and Inductive Logic
Gerhard Brewka, Jürgen Dix, Kurt Konolige
1991 B conf
Classifying Semantics of Logic Programs (Extended Abstract).
LPNMR
Jürgen Dix
1991 — ed.
Nonmonotonic and Inductive Logic, 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990, Proceedings
Nonmonotonic and Inductive Logic
Jürgen Dix, Klaus P. Jantke, Peter H. Schmitt
1990 — conf
Cumulativity and Rationality in Semantics of Normal Logic Programs.
Nonmonotonic and Inductive Logic
Jürgen Dix
1990 — conf
Modal logics for AI planning.
Expert Planning Systems
Jürgen Dix, Joachim Posegga, Peter H. Schmitt
1989 — conf
Some Tendencies in Non-monotonic Reasoning: 1. The main Approaches.
Easter Conference on Model Theory
Jürgen Dix