| 2023 | AAAI | DUCK: A Drone-Urban Cyber-Defense Framework Based on Pareto-Optimal Deontic Logic Agents. | Tonmoay Deb, Jrgen Dix, Mingi Jeong, Cristian Molinaro, Andrea Pugliese, Alberto Quattrini Li, Eugene Santos Jr., V. S. Subrahmanian, Shanchieh Yang, Youzhi Zhang |
| 2022 | PRIMA | An MCTS-Based Algorithm to Solve Sequential CFGs on Valuation Structures. | Tabajara Krausburg, Jrgen Dix, Rafael H. Bordini |
| 2020 | EMAS | Accept a Challenge: The Multi-Agent Programming Contest - Challenging Tasks and How to Deal with Them. | Tobias Ahlbrecht, Jrgen Dix, Niklas Fiekas, Tabajara Krausburg |
| 2020 | EUMAS | Disaster Response Simulation as a Testbed for Multi-Agent Systems. | Tabajara Krausburg, Vinicius Chrisosthemos, Rafael H. Bordini, Jrgen Dix |
| 2020 | PAAMS | Disaster Response Simulation. | Tabajara Krausburg, Vinicius Chrisosthemos, Rafael H. Bordini, Jrgen Dix |
| 2016 | EUMAS | Scalable Multi-agent Simulation Based on MapReduce. | Tobias Ahlbrecht, Jrgen Dix, Niklas Fiekas |
| 2016 | EUMAS | Agent-Based Simulation for Software Development Processes. | Tobias Ahlbrecht, Jrgen Dix, Niklas Fiekas, Jens Grabowski, Verena Herbold, Daniel Honsel, Stephan Waack, Marlon Welter |
| 2006 | EUMAS | Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete. | Wojciech Jamroga, Jrgen Dix |
| 2005 | LPAR | The Relationship Between Reasoning About Privacy and Default Logics. | Jrgen Dix, Wolfgang Faber, V. S. Subrahmanian |
| 2003 | KI | Monitoring Agents Using Declarative Planning. | Jrgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang |
| 2003 | KI | Planning in Answer Set Programming Using Ordered Task Decomposition. | Jrgen Dix, Ugur Kuter, Dana S. Nau |
| 2002 | JELIA | Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment. | Jrgen Dix, Hctor Muoz-Avila, Dana S. Nau, Lingling Zhang |
| 2001 | LPNMR | A Computational Logic Approach to Heterogenous Agent Systems. | Jrgen Dix |
| 1998 | KR | A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation. | Stefan Brass, Jrgen Dix, Ilkka Niemel, Teodor C. Przymusinski |
| 1997 | LPNMR | Dislop: Towards a Disjunctive Logic Programming System. | Chandrabose Aravindan, Jrgen Dix, Ilkka Niemel |
| 1996 | ICLP | On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). | Chandrabose Aravindan, Peter Baumgartner, Jrgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemel, Dorothea Schfer, Frieder Stolzenburg |
| 1996 | JELIA | Characterizing D-WFS: Confluence and Iterated GCWA. | Stefan Brass, Jrgen Dix |
| 1996 | KR | Super Logic Programs. | Stefan Brass, Jrgen Dix, Teodor C. Przymusinski |
| 1995 | ICLP | Disjunctive Semantics based upon Partial and Bottom-Up Evaluation. | Stefan Brass, Jrgen Dix |
| 1995 | LPNMR | Characterizations of the Stable Semantics by Partial Evaluation. | Stefan Brass, Jrgen Dix |
| 1994 | GI | A Disjunctive Semantics Bases on Unfolding and Bottom-Up Evaluation. | Stefan Brass, Jrgen Dix |
| 1994 | ICLP | Causal Models of Disjunctive Logic Programs. | Jrgen Dix, Georg Gottlob, V. Wiktor Marek |
| 1994 | ICLP | An Axiomatic Approach to Semantics of Disjunctive Programs. | Jrgen Dix, Martin Mller |
| 1994 | ISMIS | Partial Evaluation and Relevance for Approximations of Stable Semantics. | Jrgen Dix, Martin Mller |
| 1994 | KI | The Stable Semantics and its Variants: A Comparison of Recent Approaches. | Jrgen Dix, Martin Mller |
| 1993 | LPNMR | Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties (Extended Abstract). | Martin Mller, Jrgen Dix |
| 1992 | ECAI | Default Theories of Poole-Type and a Method for constructing Cumulative Versions of Default Logic. | Jrgen Dix |
| 1992 | ICLP | Classifying Semantics of Disjunctive Logic Programs. | Jrgen Dix |
| 1992 | ICLP | Abstract Properties and Computational Complexity of Semantics for Disjunctive Logic Programs. | Jrgen Dix, Martin Mller |
| 1992 | KR | A Framework for Representing and Characterizing Semantics of Logic Programs. | Jrgen Dix |
| 1991 | LPNMR | Classifying Semantics of Logic Programs (Extended Abstract). | Jrgen Dix |