Jürgen Dix

According to our database, Jürgen Dix authored at least 153 papers between 1989 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

AI's 10 to Watch, 2022.

Jürgen Dix, Zhongfei Zhang

IEEE Intell. Syst., 2023

DUCK: A Drone-Urban Cyber-Defense Framework Based on Pareto-Optimal Deontic Logic Agents.

Tonmoay Deb, Jürgen Dix, Mingi Jeong, Cristian Molinaro, Andrea Pugliese, Alberto Quattrini Li, Eugene Santos Jr., V. S. Subrahmanian, Shanchieh Yang, Youzhi Zhang

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

An MCTS-Based Algorithm to Solve Sequential CFGs on Valuation Structures.

Tabajara Krausburg, Jürgen Dix, Rafael H. Bordini

Proceedings of the PRIMA 2022: Principles and Practice of Multi-Agent Systems, 2022

2021

Preface to the Special Issue on engineering reliable multi-agent systems.

Jürgen Dix, Brian Logan, Michael Winikoff

Auton. Agents Multi Agent Syst., 2021

Computing Sequences of Coalition Structures.

Tabajara Krausburg, Jürgen Dix, Rafael H. Bordini

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2021

Feasible Coalition Sequences.

Tabajara Krausburg, Jürgen Dix, Rafael H. Bordini

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

The Multi-Agent Programming Contest: A résumé.

Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Tabajara Krausburg

CoRR, 2020

Foreword to special issue for ISAIM 2018.

Dimitrios I. Diochnos, Jürgen Dix, Guillermo Ricardo Simari

Ann. Math. Artif. Intell., 2020

Disaster Response Simulation.

Tabajara Krausburg, Vinicius Chrisosthemos, Rafael H. Bordini, Jürgen Dix

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection, 2020

Disaster Response Simulation as a Testbed for Multi-Agent Systems.

Tabajara Krausburg, Vinicius Chrisosthemos, Rafael H. Bordini, Jürgen Dix

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2020

Accept a Challenge: The Multi-Agent Programming Contest - Challenging Tasks and How to Deal with Them.

Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Tabajara Krausburg

Proceedings of the Engineering Multi-Agent Systems - 8th International Workshop, 2020

2019

The Multi-Agent Programming Contest: A Résumé - Comparing Agent Systems 2005-2019.

Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Tabajara Krausburg

The Multi-Agent Programming Contest, 2019

Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112).

Jürgen Dix, Brian Logan, Michael Winikoff

Dagstuhl Reports, 2019

2018

The Multi-Agent Programming Contest 2018 - A Third Time in the City.

Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas

Proceedings of the Multi-Agent Programming Contest 2018, 2018

Correction to: The Multi-Agent Programming Contest 2018 - A Third Time in the City.

Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas

Proceedings of the Multi-Agent Programming Contest 2018, 2018

Multi-agent programming contest 2016.

Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas

Int. J. Agent Oriented Softw. Eng., 2018

Normative Multi-Agent Systems (Dagstuhl Seminar 18171).

Mehdi Dastani, Jürgen Dix, Harko Verhagen, Serena Villata

Dagstuhl Reports, 2018

Multi-agent programming contest 2017 - The twelfth edition of the MAPC.

Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas

Ann. Math. Artif. Intell., 2018

2016

An architecture for scalable simulation of systems of cognitive agents.

Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Michael Köster, Philipp Kraus, Jörg P. Müller

Int. J. Agent Oriented Softw. Eng., 2016

Belief change and argumentation in multi-agent scenarios.

Jürgen Dix, Sven Ove Hansson, Gabriele Kern-Isberner, Guillermo Ricardo Simari

Ann. Math. Artif. Intell., 2016

Agent-Based Simulation for Software Development Processes.

Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas, Jens Grabowski, Verena Herbold, Daniel Honsel, Stephan Waack, Marlon Welter

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016

Scalable Multi-agent Simulation Based on MapReduce.

Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016

2015

From Testing Agent Systems to a Scalable Simulation Platform.

Tobias Ahlbrecht, Jürgen Dix, Federico Schlesinger

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

2014

A Scalable Runtime Platform for Multiagent-Based Simulation.

Tobias Ahlbrecht, Jürgen Dix, Michael Köster, Philipp Kraus, Jörg P. Müller

Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014

GOAL: A Multi-agent Programming Language Applied to an Exploration Game.

Koen V. Hindriks, Jürgen Dix

Proceedings of the Agent-Oriented Software Engineering, 2014

2013

Belief Change and Argumentation in Multi-Agent Scenarios (Dagstuhl Seminar 13231).

Jürgen Dix, Sven Ove Hansson, Gabriele Kern-Isberner, Guillermo Ricardo Simari

Dagstuhl Reports, 2013

Multi-Agent Programming Contest 2013.

Tobias Ahlbrecht, Jürgen Dix, Michael Köster, Federico Schlesinger

Proceedings of the Engineering Multi-Agent Systems - First International Workshop, 2013

Multi-Agent Programming Contest 2013: The Teams and the Design of Their Systems.

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

Proceedings of the Engineering Multi-Agent Systems - First International Workshop, 2013

2012

Engineering Multi-Agent Systems (Dagstuhl Seminar 12342).

Jürgen Dix, Koen V. Hindriks, Brian Logan, Wayne Wobcke

Dagstuhl Reports, 2012

The Multi-Agent Programming Contest.

Tristan M. Behrens, Mehdi Dastani, Jürgen Dix, Jomi Hübner, Michael Köster, Peter Novák, Federico Schlesinger

AI Mag., 2012

The Multi-Agent Programming Contest 2012.

Michael Köster, Federico Schlesinger, Jürgen Dix

Proceedings of the Programming Multi-Agent Systems - 10th International Workshop, 2012

Privacy Preservation Using Multi-context Systems and Default Logic.

Jürgen Dix, Wolfgang Faber, V. S. Subrahmanian

Proceedings of the Correct Reasoning, 2012

2011

Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101).

Jürgen Dix, Wojtek Jamroga, Dov Samet

Dagstuhl Reports, 2011

Preface to the special issue on computational logics in multi-agent systems.

Jürgen Dix, João Leite

Ann. Math. Artif. Intell., 2011

Where logic and agents meet.

Jürgen Dix, Michael Fisher

Ann. Math. Artif. Intell., 2011

Towards an environment interface standard for agent platforms.

Tristan M. Behrens, Koen V. Hindriks, Jürgen Dix

Ann. Math. Artif. Intell., 2011

Editorial.

Tristan M. Behrens, Jürgen Dix, Jomi Hübner, Michael Köster

Ann. Math. Artif. Intell., 2011

Preface.

Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni

Auton. Agents Multi Agent Syst., 2011

The Multi-agent Programming Contest 2011: A Résumé.

Tristan M. Behrens, Michael Köster, Federico Schlesinger, Jürgen Dix, Jomi Fred Hübner

Proceedings of the Programming Multi-Agent Systems - 9th International Workshop, 2011

2010

Guest Editors' Introduction: Rule Representation, Interchange, and Reasoning in Distributed, Heterogeneous Environments.

Nick Bassiliades, Guido Governatori, Adrian Paschke, Jürgen Dix

IEEE Trans. Knowl. Data Eng., 2010

Editorial.

Michael Köster, Tristan M. Behrens, Jürgen Dix, Jomi Fred Hübner, Mehdi Dastani, Peter Novák

Ann. Math. Artif. Intell., 2010

The multi-agent programming contest from 2005-2010 - From gold collecting to herding cows.

Tristan M. Behrens, Mehdi Dastani, Jürgen Dix, Michael Köster, Peter Novák

Ann. Math. Artif. Intell., 2010

Modelling and Verifying Coalitions using Argumentation and ATL.

Nils Bulling, Jürgen Dix

Inteligencia Artif., 2010

An Interface for Agent-Environment Interaction.

Tristan M. Behrens, Koen V. Hindriks, Rafael H. Bordini, Lars Braubach, Mehdi Dastani, Jürgen Dix, Jomi Fred Hübner, Alexander Pokahr

Proceedings of the Programming Multi-Agent Systems - 8th International Workshop, 2010

2009

Agenten als Goldgräber und Cowboys.

Jürgen Dix, Tristan M. Behrens, Michael Köster, Peter Novák

Künstliche Intell., 2009

Research challenges for argumentation.

Jürgen Dix, Simon Parsons, Henry Prakken, Guillermo Ricardo Simari

Comput. Sci. Res. Dev., 2009

Argument-based Logic Programming.

Alejandro Javier García, Jürgen Dix, Guillermo Ricardo Simari

Proceedings of the Argumentation in Artificial Intelligence, 2009

2008

Model Checking Abilities of Agents: A Closer Look.

Wojciech Jamroga, Jürgen Dix

Theory Comput. Syst., 2008

Reasoning about temporal properties of rational play.

Nils Bulling, Wojciech Jamroga, Jürgen Dix

Ann. Math. Artif. Intell., 2008

Agent Contest Competition: 4th Edition.

Tristan M. Behrens, Mehdi Dastani, Jürgen Dix, Peter Novák

Proceedings of the Programming Multi-Agent Systems, 2008

Strategic Abilities of Agents.

Jürgen Dix

Proceedings of the Foundations of Information and Knowledge Systems, 2008

08461 Executive Summary - Planning in Multi-Agent Systems.

Jürgen Dix, Edmund H. Durfee, Cees Witteveen

Proceedings of the Planning in Multiagent Systems, 09.11. - 14.11.2008, 2008

08461 Abstracts Collection - Planning in Multiagent Systems.

Jürgen Dix, Edmund H. Durfee, Cees Witteveen

Proceedings of the Planning in Multiagent Systems, 09.11. - 14.11.2008, 2008

08361 Executive Summary - Programming Multi-Agent Systems.

Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni

Proceedings of the Programming Multi-Agent Systems, 31.08. - 05.09.2008, 2008

08361 Abstracts Collection - Programming Multi-Agent Systems.

Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni

Proceedings of the Programming Multi-Agent Systems, 31.08. - 05.09.2008, 2008

Modelling coalitions: ATL + argumentation.

Nils Bulling, Jürgen Dix, Carlos Iván Chesñevar

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

An Argumentative Approach for Modelling Coalitions Using ATL.

Nils Bulling, Carlos Iván Chesñevar, Jürgen Dix

Proceedings of the Argumentation in Multi-Agent Systems, Fifth International Workshop, 2008

2007

Preface.

Jürgen Dix, Stephen J. Hegner

Ann. Math. Artif. Intell., 2007

Model checking multi-agent systems with logic based Petri nets.

Tristan M. Behrens, Jürgen Dix

Ann. Math. Artif. Intell., 2007

Adding Structure to Agent Programming Languages.

Peter Novák, Jürgen Dix

Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

Agent Contest Competition: 3rd Edition.

Mehdi Dastani, Jürgen Dix, Peter Novák

Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

2006

Heterogeneous temporal probabilistic agents.

Jürgen Dix, Sarit Kraus, V. S. Subrahmanian

ACM Trans. Comput. Log., 2006

Preface.

Gerhard Brewka, Jürgen Dix

Ann. Math. Artif. Intell., 2006

Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete.

Wojciech Jamroga, Jürgen Dix

Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, 2006

The Second Contest on Multi-Agent Systems Based on Computational Logic.

Mehdi Dastani, Jürgen Dix, Peter Novák

Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

Modular BDI architecture.

Peter Novák, Jürgen Dix

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005

The Relationship Between Reasoning About Privacy and Default Logics.

Jürgen Dix, Wolfgang Faber, V. S. Subrahmanian

Proceedings of the Logic for Programming, 2005

Model Checking Strategic Abilities of Agents Under Incomplete Information.

Wojciech Jamroga, Jürgen Dix

Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

The First Contest on Multi-agent Systems Based on Computational Logic.

Mehdi Dastani, Jürgen Dix, Peter Novák

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

Do Agents Make Model Checking Explode (Computationally)?

Wojciech Jamroga, Jürgen Dix

Proceedings of the Multi-Agent Systems and Applications IV, 2005

Turning Game Models Turn-Based for Model Checking Properties of Agents.

Wojciech Jamroga, Jürgen Dix

Proceedings of the BNAIC 2005, 2005

IMPACT: A Multi-Agent Framework with Declarative Semantics.

Jürgen Dix, Yingqian Zhang

Proceedings of the Multi-Agent Programming: Languages, Platforms and Applications, 2005

2004

Super logic programs.

Stefan Brass, Jürgen Dix, Teodor C. Przymusinski

ACM Trans. Comput. Log., 2004

Improving Performance of Heterogeneous Agents.

Fatma Ozcan, V. S. Subrahmanian, Jürgen Dix

Ann. Math. Artif. Intell., 2004

Introduction.

Jürgen Dix, João Alexandre Leite, Ken Satoh

Ann. Math. Artif. Intell., 2004

Introduction.

Jürgen Dix, Michael Fisher, Hector J. Levesque, Leon Sterling

Ann. Math. Artif. Intell., 2004

04171 Abstracts Collection - Logic Based Information Agents.

Jürgen Dix, Thomas Eiter, Enrico Franconi

Proceedings of the Logic Based Information Agents, 18.04. - 23.04.2004, 2004

2003

Relating defeasible and normal logic programming through transformation properties.

Carlos Iván Chesñevar, Jürgen Dix, Frieder Stolzenburg, Guillermo Ricardo Simari

Theor. Comput. Sci., 2003

Monitoring Agents using Declarative Planning.

Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang

Fundam. Informaticae, 2003

Introduction.

Jürgen Dix, Fariba Sadri, Ken Satoh

Ann. Math. Artif. Intell., 2003

IMPACTing SHOP: Putting an AI Planner Into a Multi-Agent Environment.

Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang

Ann. Math. Artif. Intell., 2003

Planning in Answer Set Programming Using Ordered Task Decomposition.

Jürgen Dix, Ugur Kuter, Dana S. Nau

Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003

2002

Preface.

Jürgen Dix, João Alexandre Leite, Ken Satoh

Proceedings of the Computational Logic in Multi-Agent Systems, 2002

Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment.

Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Planning in a multi-agent environment: theory and practice.

Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Agents dealing with time and uncertainty.

Jürgen Dix, Sarit Kraus, V. S. Subrahmanian

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001

Transformation-based bottom-up computation of the well-founded model.

Stefan Brass, Jürgen Dix, Burkhard Freitag, Ulrich Zukowski

Theory Pract. Log. Program., 2001

Explaining updates by minimal sums.

Karl Schlechta, Jürgen Dix

Theor. Comput. Sci., 2001

On the equivalence of the static and disjunctive well-founded semantics and its computation.

Stefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski

Theor. Comput. Sci., 2001

A general theory of confluent rewriting systems for logic programming and its applications.

Jürgen Dix, Mauricio Osorio, Claudia Zepeda

Ann. Pure Appl. Log., 2001

Temporal agent programs.

Jürgen Dix, Sarit Kraus, V. S. Subrahmanian

Artif. Intell., 2001

A Computational Logic Approach to Heterogenous Agent Systems.

Jürgen Dix

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations.

Jürgen Dix, Ulrich Furbach, Ilkka Niemelä

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000

Probabilistic agent programs.

Jürgen Dix, Mirco Nanni, V. S. Subrahmanian

ACM Trans. Comput. Log., 2000

Meta-agent programs.

Jürgen Dix, V. S. Subrahmanian, George Pick

J. Log. Program., 2000

Improving Performance of heavily loaded agents

Fatma Ozcan, V. S. Subrahmanian, Jürgen Dix

CoRR, 2000

IMPACTing SHOP: Planning in a Multi-agent Environment.

Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau

Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), 2000

Heterogenous Active Agents

V. S. Subrahmanian, Piero A. Bonatti, Jürgen Dix, Thomas Eiter, Sarit Kraus, Fatma Ozcan, Robert B. Ross

MIT Press, ISBN: 0-262-19436-8, 2000

1999

Semantics of (disjunctive) Logic Programs Based on Partial Evaluation.

Stefan Brass, Jürgen Dix

J. Log. Program., 1999

Confluent Rewriting systems in Non-Monotonic Reasoning.

José Arrazola, Jürgen Dix, Mauricio Osorio

Computación y Sistemas, 1999

Editorial - Logic Programming with Non-monotonic Semantics: Representing Knowledge and its Computation.

Jürgen Dix, Jorge Lobo

Ann. Math. Artif. Intell., 1999

Selected Papers of Logic in AI - Editorial.

Jürgen Dix

Ann. Math. Artif. Intell., 1999

Computation of the Semantics of Autoepistemic Belief Theories.

Stefan Brass, Jürgen Dix, Teodor C. Przymusinski

Artif. Intell., 1999

Automating Defeasible Reasoning with Logic Programming.

Jürgen Dix, Frieder Stolzenburg, Guillermo Ricardo Simari, Pablo R. Fillottrani

Proceedings of the German-Argentinian Workshop on Information Technology, 1999

1998

Automated Deduction: a Technological Point of View.

Peter Baumgartner, Ingo Dahn, Jürgen Dix, Ulrich Furbach, Michael Kühn, Frieder Stolzenburg, Bernd Thomas

Künstliche Intell., 1998

A Framework to Incorporate Non-Monotonic Reasoning Into Constraint Logic Programming.

Jürgen Dix, Frieder Stolzenburg

J. Log. Program., 1998

Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA.

Stefan Brass, Jürgen Dix

J. Autom. Reason., 1998

The Logic Programming Paradigm.

Jürgen Dix

AI Commun., 1998

A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation.

Stefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

1997

Characterizations of the Disjunctive Stable Semantics by Partial Evaluation.

Stefan Brass, Jürgen Dix

J. Log. Program., 1997

DisLoP: A Research Project on Disjunctive Logic Programming.

Chandrabose Aravindan, Jürgen Dix, Ilkka Niemelä

AI Commun., 1997

Logic Programming and Knowledge Representation (LPKR'97).

Jürgen Dix, Teodor C. Przymusinski, Luís Moniz Pereira

Proceedings of the Logic Programming, 1997

On Well-Behaved Semantics Suitable for Aggregation.

Jürgen Dix, Mauricio Osorio

Proceedings of the Logic Programming, 1997

Dislop: Towards a Disjunctive Logic Programming System.

Chandrabose Aravindan, Jürgen Dix, Ilkka Niemelä

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Knowledge Representation with Logic Programs.

Gerhard Brewka, Jürgen Dix

Proceedings of the Logic Programming and Knowledge Representation, 1997

Nonmonotonic Reasoning: An Overview

Gerhard Brewka, Jürgen Dix, Kurt Konolige

CSLI Lecture Notes 73, CSLI Publications, Stanford, CA, 1997

1996

Logisches Programmieren mit Negation und Disjunktion.

Jürgen Dix, Ulrich Furbach

Künstliche Intell., 1996

Deduktion und Logisches Programmieren.

Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, Frieder Stolzenburg

Künstliche Intell., 1996

Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations.

Jürgen Dix, Georg Gottlob, V. Wiktor Marek

Fundam. Informaticae, 1996

Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming.

Jürgen Dix, Frieder Stolzenburg

Proceedings of the Non-Monotonic Extensions of Logic Programming, 1996

Prolegomena to Logic Programming for Non-monotonic Reasoning.

Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski

Proceedings of the Non-Monotonic Extensions of Logic Programming, 1996

Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview.

Jürgen Dix

Proceedings of the Logic, Action, and Information, 1996

Characterizing D-WFS: Confluence and Iterated GCWA.

Stefan Brass, Jürgen Dix

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract).

Chandrabose Aravindan, Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, Frieder Stolzenburg

Proceedings of the Logic Programming, 1996

1995

A Classification Theory of Semantics of Normal Logic Programs: II. Weak Properties.

Jürgen Dix

Fundam. Informaticae, 1995

A Classification Theory of Semantics of Normal Logic Programs: I. Strong Properties.

Jürgen Dix

Fundam. Informaticae, 1995

Detailed Report on the First LP&NMR Retreat.

Jürgen Dix

AI Commun., 1995

Characterizations of the Stable Semantics by Partial Evaluation.

Stefan Brass, Jürgen Dix

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

Disjunctive Semantics based upon Partial and Bottom-Up Evaluation.

Stefan Brass, Jürgen Dix

Proceedings of the Logic Programming, 1995

1994

Herbrand's Theorem for Nonstandard Inference Operations.

Jürgen Dix, Martin Kummer

J. Log. Comput., 1994

Review of Nonmonotonic Logic by W. Marek and M. Truszscynski, Springer, 1993.

Jürgen Dix

Bull. IGPL, 1994

A Characterization of the Stable Semantics by Partial Evaluation.

Stefan Brass, Jürgen Dix

Proceedings of the Tenth Logic Programming Workshop, 1994

A general Approach to Bottom-Up Computation of Disjunctive Semantics.

Stefan Brass, Jürgen Dix

Proceedings of the Non-Monotonic Extensions of Logic Programming (NMELP'94), 1994

The Stable Semantics and its Variants: A Comparison of Recent Approaches.

Jürgen Dix, Martin Müller

Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

Partial Evaluation and Relevance for Approximations of Stable Semantics.

Jürgen Dix, Martin Müller

Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

An Axiomatic Approach to Semantics of Disjunctive Programs.

Jürgen Dix, Martin Müller

Proceedings of the Logic Programming, 1994

Causal Models of Disjunctive Logic Programs.

Jürgen Dix, Georg Gottlob, V. Wiktor Marek

Proceedings of the Logic Programming, 1994

Computing Disjunctive Stable Semantics Based on Clark's Completed Database.

Stefan Brass, Jürgen Dix

Proceedings of the Kurzfassungen 6. Workshop Grundlagen von Datenbanken, 1994

A Disjunctive Semantics Bases on Unfolding and Bottom-Up Evaluation.

Stefan Brass, Jürgen Dix

Proceedings of the Innovationen bei Rechen- und Kommunikationssystemen, Eine Herausforderung für die Informatik, 24. GI-Jahrestagung im Rahmen des 13th World Computer Congress, IFIP Congress '94, Hamburg, 28. August, 1994

1993

Nichtmonotones Schließen: Wieviel Nichtmonotonie ist nötig?

Jürgen Dix, Peter H. Schmitt

Kognitionswissenschaft, 1993

Herbrand's Theorem for Nonstandard Inference Operations (Abstract).

Jürgen Dix, Martin Kummer

J. Symb. Log., 1993

Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties (Extended Abstract).

Martin Müller, Jürgen Dix

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

1992

Nichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer Programme.

Jürgen Dix

PhD thesis, 1992

The Relationship between KLM and MAK models for Nonmonotonic Inference Operations.

Jürgen Dix, David Makinson

J. Log. Lang. Inf., 1992

A Framework for Representing and Characterizing Semantics of Logic Programs.

Jürgen Dix

Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

Abstract Properties and Computational Complexity of Semantics for Disjunctive Logic Programs.

Jürgen Dix, Martin Müller

Proceedings of the Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992

Classifying Semantics of Disjunctive Logic Programs.

Jürgen Dix

Proceedings of the Logic Programming, 1992

Default Theories of Poole-Type and a Method for constructing Cumulative Versions of Default Logic.

Jürgen Dix

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1991

A Tutorial on Nonmonotonic Reasoning.

Gerhard Brewka, Jürgen Dix, Kurt Konolige

Proceedings of the Nonmonotonic and Inductive Logic, 1991

Classifying Semantics of Logic Programs (Extended Abstract).

Jürgen Dix

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991

1990

Cumulativity and Rationality in Semantics of Normal Logic Programs.

Jürgen Dix

Proceedings of the Nonmonotonic and Inductive Logic, 1990

Modal logics for AI planning.

Jürgen Dix, Joachim Posegga, Peter H. Schmitt

Proceedings of the First International Conference on Expert Planning Systems, 1990

1989

Some Tendencies in Non-monotonic Reasoning: 1. The main Approaches.

Jürgen Dix

Proceedings of the 7th Easter Conference on Model Theory, 1989