Jürgen Dix

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 21

Top Venues

Ann. Math. Artif. Intell.

EUMAS/AT

EMAS@AAMAS

Int. J. Agent Oriented Softw. Eng.

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

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) (2024)
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) (2024)
Jürgen Dix, Zhongfei Zhang
AI's 10 to Watch, 2022. IEEE Intell. Syst. 38 (2) (2023)
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)
Tabajara Krausburg, Jürgen Dix, Rafael H. Bordini
An MCTS-Based Algorithm to Solve Sequential CFGs on Valuation Structures. PRIMA (2022)
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) (2021)
Tabajara Krausburg, Jürgen Dix, Rafael H. Bordini
Computing Sequences of Coalition Structures. SSCI (2021)
Tabajara Krausburg, Jürgen Dix, Rafael H. Bordini
Feasible Coalition Sequences. AAMAS (2021)
Tabajara Krausburg, Vinicius Chrisosthemos, Rafael H. Bordini, Jürgen Dix
Disaster Response Simulation as a Testbed for Multi-Agent Systems. EUMAS/AT (2020)
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)
Tabajara Krausburg, Vinicius Chrisosthemos, Rafael H. Bordini, Jürgen Dix
Disaster Response Simulation. PAAMS (2020)
Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Tabajara Krausburg
The Multi-Agent Programming Contest: A résumé. CoRR (2020)
Dimitrios I. Diochnos, Jürgen Dix, Guillermo Ricardo Simari
Foreword to special issue for ISAIM 2018. Ann. Math. Artif. Intell. 88 (7) (2020)
Jürgen Dix, Brian Logan, Michael Winikoff
Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112). Dagstuhl Reports 9 (3) (2019)
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) (2018)
Mehdi Dastani, Jürgen Dix, Harko Verhagen, Serena Villata
Normative Multi-Agent Systems (Dagstuhl Seminar 18171). Dagstuhl Reports 8 (4) (2018)
Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas
Multi-agent programming contest 2016. Int. J. Agent Oriented Softw. Eng. 6 (1) (2018)
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)
Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas
Scalable Multi-agent Simulation Based on MapReduce. EUMAS/AT (2016)
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) (2016)
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) (2016)
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)
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)
Tobias Ahlbrecht, Jürgen Dix, Michael Köster, Federico Schlesinger
Multi-Agent Programming Contest 2013. EMAS@AAMAS (2013)
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)
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) (2013)
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) (2012)
Jürgen Dix, Wolfgang Faber, V. S. Subrahmanian
Privacy Preservation Using Multi-context Systems and Default Logic. Correct Reasoning (2012)
Jürgen Dix, Koen V. Hindriks, Brian Logan, Wayne Wobcke
Engineering Multi-Agent Systems (Dagstuhl Seminar 12342). Dagstuhl Reports 2 (8) (2012)
Michael Köster, Federico Schlesinger, Jürgen Dix
The Multi-Agent Programming Contest 2012. ProMAS (2012)
Tristan M. Behrens, Koen V. Hindriks, Jürgen Dix
Towards an environment interface standard for agent platforms. Ann. Math. Artif. Intell. 61 (4) (2011)
Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni
Preface. Auton. Agents Multi Agent Syst. 23 (2) (2011)
Jürgen Dix, Michael Fisher
Where logic and agents meet. Ann. Math. Artif. Intell. 61 (1) (2011)
Tristan M. Behrens, Jürgen Dix, Jomi Hübner, Michael Köster
Editorial. Ann. Math. Artif. Intell. 61 (4) (2011)
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) (2011)
Jürgen Dix, Wojtek Jamroga, Dov Samet
Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101). Dagstuhl Reports 1 (3) (2011)
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)
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)
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) (2010)
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) (2010)
Nils Bulling, Jürgen Dix
Modelling and Verifying Coalitions using Argumentation and ATL. Inteligencia Artif. 14 (46) (2010)
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) (2010)
Jürgen Dix, Tristan M. Behrens, Michael Köster, Peter Novák
Agenten als Goldgräber und Cowboys. Künstliche Intell. 23 (2) (2009)
Jürgen Dix, Simon Parsons, Henry Prakken, Guillermo Ricardo Simari
Research challenges for argumentation. Comput. Sci. Res. Dev. 23 (1) (2009)
Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni
08361 Executive Summary - Programming Multi-Agent Systems. Programming Multi-Agent Systems (2008)
Jürgen Dix
Strategic Abilities of Agents. FoIKS (2008)
Nils Bulling, Wojciech Jamroga, Jürgen Dix
Reasoning about temporal properties of rational play. Ann. Math. Artif. Intell. 53 (1-4) (2008)
Tristan M. Behrens, Mehdi Dastani, Jürgen Dix, Peter Novák
Agent Contest Competition: 4th Edition. ProMAS (2008)
Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni
08361 Abstracts Collection - Programming Multi-Agent Systems. Programming Multi-Agent Systems (2008)
Nils Bulling, Carlos Iván Chesñevar, Jürgen Dix
An Argumentative Approach for Modelling Coalitions Using ATL. ArgMAS (2008)
Jürgen Dix, Edmund H. Durfee, Cees Witteveen
08461 Executive Summary - Planning in Multi-Agent Systems. Planning in Multiagent Systems (2008)
Nils Bulling, Jürgen Dix, Carlos Iván Chesñevar
Modelling coalitions: ATL + argumentation. AAMAS (2) (2008)
Jürgen Dix, Edmund H. Durfee, Cees Witteveen
08461 Abstracts Collection - Planning in Multiagent Systems. Planning in Multiagent Systems (2008)
Jürgen Dix, Simon Parsons, Henry Prakken, Guillermo Ricardo Simari
Research Challenges for Argumentation. Perspectives Workshop: Theory and Practice of Argumentation Systems (2008)
Wojciech Jamroga, Jürgen Dix
Model Checking Abilities of Agents: A Closer Look. Theory Comput. Syst. 42 (3) (2008)
Peter Novák, Jürgen Dix
Adding Structure to Agent Programming Languages. PROMAS (2007)
Mehdi Dastani, Jürgen Dix, Peter Novák
Agent Contest Competition: 3rd Edition. PROMAS (2007)
Jürgen Dix, Stephen J. Hegner
Preface. Ann. Math. Artif. Intell. 50 (1-2) (2007)
Tristan M. Behrens, Jürgen Dix
Model checking multi-agent systems with logic based Petri nets. Ann. Math. Artif. Intell. 51 (2-4) (2007)
Mehdi Dastani, Jürgen Dix, Peter Novák
The Second Contest on Multi-Agent Systems Based on Computational Logic. CLIMA (2006)
Gerhard Brewka, Jürgen Dix
Preface. Ann. Math. Artif. Intell. 47 (1-2) (2006)
Jürgen Dix, Sarit Kraus, V. S. Subrahmanian
Heterogeneous temporal probabilistic agents. ACM Trans. Comput. Log. 7 (1) (2006)
Wojciech Jamroga, Jürgen Dix
Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete. EUMAS (2006)
Peter Novák, Jürgen Dix
Modular BDI architecture. AAMAS (2006)
Wojciech Jamroga, Jürgen Dix
Turning Game Models Turn-Based for Model Checking Properties of Agents. BNAIC (2005)
Jürgen Dix, Ugur Kuter, Dana S. Nau
Planning in Answer Set Programming using Ordered Task Decomposition. We Will Show Them! (1) (2005)
Jürgen Dix, Wolfgang Faber, V. S. Subrahmanian
The Relationship Between Reasoning About Privacy and Default Logics. LPAR (2005)
Mehdi Dastani, Jürgen Dix, Peter Novák
The First Contest on Multi-agent Systems Based on Computational Logic. CLIMA (2005)
Wojciech Jamroga, Jürgen Dix
Model Checking Strategic Abilities of Agents Under Incomplete Information. ICTCS (2005)
Wojciech Jamroga, Jürgen Dix
Do Agents Make Model Checking Explode (Computationally)? CEEMAS (2005)
Jürgen Dix, Michael Fisher, Hector J. Levesque, Leon Sterling
Introduction. Ann. Math. Artif. Intell. 41 (2-4) (2004)
Jürgen Dix, Thomas Eiter, Enrico Franconi
04171 Abstracts Collection - Logic Based Information Agents. Logic Based Information Agents (2004)
Stefan Brass, Jürgen Dix, Teodor C. Przymusinski
Super logic programs. ACM Trans. Comput. Log. 5 (1) (2004)
Jürgen Dix, João Alexandre Leite, Ken Satoh
Introduction. Ann. Math. Artif. Intell. 42 (1-3) (2004)
Fatma Ozcan, V. S. Subrahmanian, Jürgen Dix
Improving Performance of Heterogeneous Agents. Ann. Math. Artif. Intell. 41 (2-4) (2004)
Jürgen Dix, Fariba Sadri, Ken Satoh
Introduction. Ann. Math. Artif. Intell. 37 (1-2) (2003)
Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang
Monitoring Agents using Declarative Planning. Fundam. Informaticae 57 (2-4) (2003)
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) (2003)
Jürgen Dix, Ugur Kuter, Dana S. Nau
Planning in Answer Set Programming Using Ordered Task Decomposition. KI (2003)
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) (2003)
Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang
Monitoring Agents Using Declarative Planning. KI (2003)
Jürgen Dix, João Alexandre Leite, Ken Satoh
Preface. Electron. Notes Theor. Comput. Sci. 70 (5) (2002)
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)
Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang
Planning in a multi-agent environment: theory and practice. AAMAS (2002)
Jürgen Dix, Sarit Kraus, V. S. Subrahmanian
Agents dealing with time and uncertainty. AAMAS (2002)
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) (2001)
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) (2001)
Karl Schlechta, Jürgen Dix
Explaining updates by minimal sums. Theor. Comput. Sci. 266 (1-2) (2001)
Jürgen Dix, Sarit Kraus, V. S. Subrahmanian
Temporal agent programs. Artif. Intell. 127 (1) (2001)
Jürgen Dix
A Computational Logic Approach to Heterogenous Agent Systems. LPNMR (2001)
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) (2001)
Stefan Brass, Jürgen Dix, Burkhard Freitag, Ulrich Zukowski
Transformation-Based Bottom-Up Computation of the Well-Founded Model CoRR (2000)
Jürgen Dix, V. S. Subrahmanian, George Pick
Meta-agent programs. J. Log. Program. 46 (1-2) (2000)
Stefan Brass, Jürgen Dix, Teodor C. Przymusinski
Super Logic Programs CoRR (2000)
Jürgen Dix, Mirco Nanni, V. S. Subrahmanian
Probabilistic agent programs. ACM Trans. Comput. Log. 1 (2) (2000)
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)
Fatma Ozcan, V. S. Subrahmanian, Jürgen Dix
Improving Performance of heavily loaded agents CoRR (2000)
Jürgen Dix, Mirco Nanni, V. S. Subrahmanian
Probabilistic Agent Programs CoRR (1999)
Stefan Brass, Jürgen Dix
Semantics of (disjunctive) Logic Programs Based on Partial Evaluation. J. Log. Program. 40 (1) (1999)
Jürgen Dix, Jorge Lobo
Editorial - Logic Programming with Non-monotonic Semantics: Representing Knowledge and its Computation. Ann. Math. Artif. Intell. 25 (3-4) (1999)

Jürgen Dix.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jürgen Dix