Jürgen Dix

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Multi-agent programming contest 2016.
IJAOSE, 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.
IJAOSE, 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 Magazine, 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.
Autonomous Agents and Multi-Agent Systems, 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 Artificial, Revista Iberoamericana de Inteligencia Artificial, 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.
KI, 2009

Research challenges for argumentation.
Computer Science - R&D, 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

Research Challenges for Argumentation.
Proceedings of the Perspectives Workshop: Theory and Practice of Argumentation Systems, 20.01., 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

Planning in Answer Set Programming using Ordered Task Decomposition.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 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. Inform., 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

Monitoring Agents Using Declarative Planning.
Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003

2002
Preface.
Electr. Notes Theor. Comput. Sci., 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.
TPLP, 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. Logic, 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

Transformation-Based Bottom-Up Computation of the Well-Founded Model
CoRR, 2000

Super Logic Programs
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

Probabilistic Agent Programs
CoRR, 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.
German-Argentinian Workshop on Information Technology, 1999

Explaining Updates by Minimal Sums.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

1998
Automated Deduction: a Technological Point of View.
KI, 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. Reasoning, 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.
KI, 1996

Deduktion und Logisches Programmieren.
KI, 1996

Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations.
Fundam. Inform., 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.
Logic, Action, and Information, 1996

Super Logic Programs.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 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. Inform., 1995

A Classification Theory of Semantics of Normal Logic Programs: I. Strong Properties.
Fundam. Inform., 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.
Bulletin of the IGPL, 1994

A Characterization of the Stable Semantics by Partial Evaluation.
WLP, 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.
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.
Journal of Logic, Language and Information, 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.
ECAI, 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.
Easter Conference on Model Theory, 1989


  Loading...