Jürgen Dix

Orcid: 0000-0002-8528-1440

Affiliations:
  • Clausthal University of Technology, Germany


According to our database1, Jürgen Dix authored at least 156 papers between 1989 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Modelling a chain of command in the incident command system using sequential characteristic function games.
Ann. Math. Artif. Intell., August, 2024

Introduction to the special issue: selected papers from EMAS 2022.
Ann. Math. Artif. Intell., August, 2024

2023
AI's 10 to Watch, 2022.
IEEE Intell. Syst., 2023

DUCK: A Drone-Urban Cyber-Defense Framework Based on Pareto-Optimal Deontic Logic Agents.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
The Multi-Agent Programming Contest 2022.
Proceedings of the Multi-Agent Programming Contest 2022, 2022

An MCTS-Based Algorithm to Solve Sequential CFGs on Valuation Structures.
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.
Auton. Agents Multi Agent Syst., 2021

Computing Sequences of Coalition Structures.
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2021

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

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

Foreword to special issue for ISAIM 2018.
Ann. Math. Artif. Intell., 2020

Disaster Response Simulation.
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.
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.
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.
The Multi-Agent Programming Contest, 2019

Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112).
Dagstuhl Reports, 2019

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

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

Multi-agent programming contest 2016.
Int. J. Agent Oriented Softw. Eng., 2018

Normative Multi-Agent Systems (Dagstuhl Seminar 18171).
Dagstuhl Reports, 2018

Multi-agent programming contest 2017 - The twelfth edition of the MAPC.
Ann. Math. Artif. Intell., 2018

2016
An architecture for scalable simulation of systems of cognitive agents.
Int. J. Agent Oriented Softw. Eng., 2016

Belief change and argumentation in multi-agent scenarios.
Ann. Math. Artif. Intell., 2016

Agent-Based Simulation for Software Development Processes.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016

Scalable Multi-agent Simulation Based on MapReduce.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016

2015
From Testing Agent Systems to a Scalable Simulation Platform.
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

2014
A Scalable Runtime Platform for Multiagent-Based Simulation.
Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014

GOAL: A Multi-agent Programming Language Applied to an Exploration Game.
Proceedings of the Agent-Oriented Software Engineering, 2014

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

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


2012
Engineering Multi-Agent Systems (Dagstuhl Seminar 12342).
Dagstuhl Reports, 2012

The Multi-Agent Programming Contest.
AI Mag., 2012

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

Privacy Preservation Using Multi-context Systems and Default Logic.
Proceedings of the Correct Reasoning, 2012

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

Preface to the special issue on computational logics in multi-agent systems.
Ann. Math. Artif. Intell., 2011

Where logic and agents meet.
Ann. Math. Artif. Intell., 2011

Towards an environment interface standard for agent platforms.
Ann. Math. Artif. Intell., 2011

Editorial.
Ann. Math. Artif. Intell., 2011

Preface.
Auton. Agents Multi Agent Syst., 2011

The Multi-agent Programming Contest 2011: A Résumé.
Proceedings of the Programming Multi-Agent Systems - 9th International Workshop, 2011

2010
Guest Editors' Introduction: Rule Representation, Interchange, and Reasoning in Distributed, Heterogeneous Environments.
IEEE Trans. Knowl. Data Eng., 2010

Editorial.
Ann. Math. Artif. Intell., 2010

The multi-agent programming contest from 2005-2010 - From gold collecting to herding cows.
Ann. Math. Artif. Intell., 2010

Modelling and Verifying Coalitions using Argumentation and ATL.
Inteligencia Artif., 2010

An Interface for Agent-Environment Interaction.
Proceedings of the Programming Multi-Agent Systems - 8th International Workshop, 2010

2009
Agenten als Goldgräber und Cowboys.
Künstliche Intell., 2009

Research challenges for argumentation.
Comput. Sci. Res. Dev., 2009

Argument-based Logic Programming.
Proceedings of the Argumentation in Artificial Intelligence, 2009

2008
Model Checking Abilities of Agents: A Closer Look.
Theory Comput. Syst., 2008

Reasoning about temporal properties of rational play.
Ann. Math. Artif. Intell., 2008

Agent Contest Competition: 4th Edition.
Proceedings of the Programming Multi-Agent Systems, 2008

Strategic Abilities of Agents.
Proceedings of the Foundations of Information and Knowledge Systems, 2008

08461 Executive Summary - Planning in Multi-Agent Systems.
Proceedings of the Planning in Multiagent Systems, 09.11. - 14.11.2008, 2008

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

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

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

Modelling coalitions: ATL + argumentation.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

An Argumentative Approach for Modelling Coalitions Using ATL.
Proceedings of the Argumentation in Multi-Agent Systems, Fifth International Workshop, 2008

2007
Preface.
Ann. Math. Artif. Intell., 2007

Model checking multi-agent systems with logic based Petri nets.
Ann. Math. Artif. Intell., 2007

Adding Structure to Agent Programming Languages.
Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

Agent Contest Competition: 3rd Edition.
Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

2006
Heterogeneous temporal probabilistic agents.
ACM Trans. Comput. Log., 2006

Preface.
Ann. Math. Artif. Intell., 2006

Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete.
Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, 2006

The Second Contest on Multi-Agent Systems Based on Computational Logic.
Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

Modular BDI architecture.
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.
Proceedings of the Logic for Programming, 2005

Model Checking Strategic Abilities of Agents Under Incomplete Information.
Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

The First Contest on Multi-agent Systems Based on Computational Logic.
Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

Do Agents Make Model Checking Explode (Computationally)?
Proceedings of the Multi-Agent Systems and Applications IV, 2005

Turning Game Models Turn-Based for Model Checking Properties of Agents.
Proceedings of the BNAIC 2005, 2005

IMPACT: A Multi-Agent Framework with Declarative Semantics.
Proceedings of the Multi-Agent Programming: Languages, Platforms and Applications, 2005

2004
Super logic programs.
ACM Trans. Comput. Log., 2004

Improving Performance of Heterogeneous Agents.
Ann. Math. Artif. Intell., 2004

Introduction.
Ann. Math. Artif. Intell., 2004

Introduction.
Ann. Math. Artif. Intell., 2004

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

2003
Relating defeasible and normal logic programming through transformation properties.
Theor. Comput. Sci., 2003

Monitoring Agents using Declarative Planning.
Fundam. Informaticae, 2003

Introduction.
Ann. Math. Artif. Intell., 2003

IMPACTing SHOP: Putting an AI Planner Into a Multi-Agent Environment.
Ann. Math. Artif. Intell., 2003

Planning in Answer Set Programming Using Ordered Task Decomposition.
Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003

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

Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Planning in a multi-agent environment: theory and practice.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Agents dealing with time and uncertainty.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001
Transformation-based bottom-up computation of the well-founded model.
Theory Pract. Log. Program., 2001

Explaining updates by minimal sums.
Theor. Comput. Sci., 2001

On the equivalence of the static and disjunctive well-founded semantics and its computation.
Theor. Comput. Sci., 2001

A general theory of confluent rewriting systems for logic programming and its applications.
Ann. Pure Appl. Log., 2001

Temporal agent programs.
Artif. Intell., 2001

A Computational Logic Approach to Heterogenous Agent Systems.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations.
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000
Probabilistic agent programs.
ACM Trans. Comput. Log., 2000

Meta-agent programs.
J. Log. Program., 2000

Improving Performance of heavily loaded agents
CoRR, 2000

IMPACTing SHOP: Planning in a Multi-agent Environment.
Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), 2000

Heterogenous Active Agents
MIT Press, ISBN: 0-262-19436-8, 2000

1999
Semantics of (disjunctive) Logic Programs Based on Partial Evaluation.
J. Log. Program., 1999

Confluent Rewriting systems in Non-Monotonic Reasoning.
Computación y Sistemas, 1999

Editorial - Logic Programming with Non-monotonic Semantics: Representing Knowledge and its Computation.
Ann. Math. Artif. Intell., 1999

Selected Papers of Logic in AI - Editorial.
Ann. Math. Artif. Intell., 1999

Computation of the Semantics of Autoepistemic Belief Theories.
Artif. Intell., 1999

Automating Defeasible Reasoning with Logic Programming.
Proceedings of the German-Argentinian Workshop on Information Technology, 1999

1998
Automated Deduction: a Technological Point of View.
Künstliche Intell., 1998

A Framework to Incorporate Non-Monotonic Reasoning Into Constraint Logic Programming.
J. Log. Program., 1998

Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA.
J. Autom. Reason., 1998

The Logic Programming Paradigm.
AI Commun., 1998

A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation.
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.
J. Log. Program., 1997

DisLoP: A Research Project on Disjunctive Logic Programming.
AI Commun., 1997

Logic Programming and Knowledge Representation (LPKR'97).
Proceedings of the Logic Programming, 1997

On Well-Behaved Semantics Suitable for Aggregation.
Proceedings of the Logic Programming, 1997

Dislop: Towards a Disjunctive Logic Programming System.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Knowledge Representation with Logic Programs.
Proceedings of the Logic Programming and Knowledge Representation, 1997

Nonmonotonic Reasoning: An Overview
CSLI Lecture Notes 73, CSLI Publications, Stanford, CA, 1997

1996
Logisches Programmieren mit Negation und Disjunktion.
Künstliche Intell., 1996

Deduktion und Logisches Programmieren.
Künstliche Intell., 1996

Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations.
Fundam. Informaticae, 1996

Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming.
Proceedings of the Non-Monotonic Extensions of Logic Programming, 1996

Prolegomena to Logic Programming for Non-monotonic Reasoning.
Proceedings of the Non-Monotonic Extensions of Logic Programming, 1996

Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview.
Proceedings of the Logic, Action, and Information, 1996

Characterizing D-WFS: Confluence and Iterated GCWA.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract).
Proceedings of the Logic Programming, 1996

1995
A Classification Theory of Semantics of Normal Logic Programs: II. Weak Properties.
Fundam. Informaticae, 1995

A Classification Theory of Semantics of Normal Logic Programs: I. Strong Properties.
Fundam. Informaticae, 1995

Detailed Report on the First LP&NMR Retreat.
AI Commun., 1995

Characterizations of the Stable Semantics by Partial Evaluation.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

Disjunctive Semantics based upon Partial and Bottom-Up Evaluation.
Proceedings of the Logic Programming, 1995

1994
Herbrand's Theorem for Nonstandard Inference Operations.
J. Log. Comput., 1994

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

A Characterization of the Stable Semantics by Partial Evaluation.
Proceedings of the Tenth Logic Programming Workshop, 1994

A general Approach to Bottom-Up Computation of Disjunctive Semantics.
Proceedings of the Non-Monotonic Extensions of Logic Programming (NMELP'94), 1994

The Stable Semantics and its Variants: A Comparison of Recent Approaches.
Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

Partial Evaluation and Relevance for Approximations of Stable Semantics.
Proceedings of the Methodologies for Intelligent Systems, 8th International Symposium, 1994

An Axiomatic Approach to Semantics of Disjunctive Programs.
Proceedings of the Logic Programming, 1994

Causal Models of Disjunctive Logic Programs.
Proceedings of the Logic Programming, 1994

Computing Disjunctive Stable Semantics Based on Clark's Completed Database.
Proceedings of the Kurzfassungen 6. Workshop Grundlagen von Datenbanken, 1994

A Disjunctive Semantics Bases on Unfolding and Bottom-Up Evaluation.
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?
Kognitionswissenschaft, 1993

Herbrand's Theorem for Nonstandard Inference Operations (Abstract).
J. Symb. Log., 1993

Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties (Extended Abstract).
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

1992
Nichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer Programme.
PhD thesis, 1992

The Relationship between KLM and MAK models for Nonmonotonic Inference Operations.
J. Log. Lang. Inf., 1992

A Framework for Representing and Characterizing Semantics of Logic Programs.
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.
Proceedings of the Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992

Classifying Semantics of Disjunctive Logic Programs.
Proceedings of the Logic Programming, 1992

Default Theories of Poole-Type and a Method for constructing Cumulative Versions of Default Logic.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1991
A Tutorial on Nonmonotonic Reasoning.
Proceedings of the Nonmonotonic and Inductive Logic, 1991

Classifying Semantics of Logic Programs (Extended Abstract).
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991

1990
Cumulativity and Rationality in Semantics of Normal Logic Programs.
Proceedings of the Nonmonotonic and Inductive Logic, 1990

Modal logics for AI planning.
Proceedings of the First International Conference on Expert Planning Systems, 1990

1989
Some Tendencies in Non-monotonic Reasoning: 1. The main Approaches.
Proceedings of the 7th Easter Conference on Model Theory, 1989


  Loading...