Search Results

Documents authored by Dix, Jürgen


Document
Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112)

Authors: Jürgen Dix, Brian Logan, and Michael Winikoff

Published in: Dagstuhl Reports, Volume 9, Issue 3 (2019)


Abstract
This report documents the program and outcomes of Dagstuhl Seminar 19112 "Engineering Reliable Multiagent Systems". The aim of this seminar was to bring together researchers from various scientific disciplines, such as software engineering of autonomous systems, software verification, and relevant subareas of AI, such as ethics and machine learning, to discuss the emerging topic of the reliability of (multi-)agent systems and autonomous systems in particular. The ultimate aim of the seminar was to establish a new research agenda for engineering reliable autonomous systems.

Cite as

Jürgen Dix, Brian Logan, and Michael Winikoff. Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112). In Dagstuhl Reports, Volume 9, Issue 3, pp. 52-63, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

@Article{dix_et_al:DagRep.9.3.52,
  author =	{Dix, J\"{u}rgen and Logan, Brian and Winikoff, Michael},
  title =	{{Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112)}},
  pages =	{52--63},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{9},
  number =	{3},
  editor =	{Dix, J\"{u}rgen and Logan, Brian and Winikoff, Michael},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.3.52},
  URN =		{urn:nbn:de:0030-drops-112912},
  doi =		{10.4230/DagRep.9.3.52},
  annote =	{Keywords: agent-oriented programming, multi agent systems, reliability, software and verification methodologies}
}
Document
Normative Multi-Agent Systems (Dagstuhl Seminar 18171)

Authors: Mehdi Dastani, Jürgen Dix, Harkp Verhagen, and Serena Villata

Published in: Dagstuhl Reports, Volume 8, Issue 4 (2018)


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 18171 "Normative Multi-Agent Systems". Normative multi-agent systems combine models for multi-agent systems with normative concepts, like obligations, permissions, and prohibitions. As such, they promise to be a suitable model, for example for (regulated) multiagent societies, organizations, electronic institutions, autonomous agent cooperation (with humans-in-the-loop) and much more. The aim of this seminar was to bring together researchers from various scientific disciplines, such as computer science, artificial intelligence, philosophy, law, cognitive science and social sciences to discuss the emerging topic concerning the responsibility of autonomous systems. Autonomous software systems and multi-agent systems in open environments require methodologies, models and tools to analyse and develop flexible control and coordination mechanisms. Without them, it is not possible to steer the behaviour and interaction of such systems and to ensure important overall properties. Normative multi-agent systems is an established area focussing on how norms can be used to control and coordinate autonomous systems and multi-agents systems without restricting the autonomy of the involved systems. Such control and coordination systems allow autonomous systems to violate norms, but respond to norm violations by means of various sanctioning mechanisms. Therefore it is crucial to determine which agents or agent groups are accountable for norm violations. The focus of this seminar laid on how the responsibility of autonomous systems can be defined, modelled, analysed and computed.

Cite as

Mehdi Dastani, Jürgen Dix, Harkp Verhagen, and Serena Villata. Normative Multi-Agent Systems (Dagstuhl Seminar 18171). In Dagstuhl Reports, Volume 8, Issue 4, pp. 72-103, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{dastani_et_al:DagRep.8.4.72,
  author =	{Dastani, Mehdi and Dix, J\"{u}rgen and Verhagen, Harkp and Villata, Serena},
  title =	{{Normative Multi-Agent Systems (Dagstuhl Seminar 18171)}},
  pages =	{72--103},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{4},
  editor =	{Dastani, Mehdi and Dix, J\"{u}rgen and Verhagen, Harkp and Villata, Serena},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.4.72},
  URN =		{urn:nbn:de:0030-drops-97612},
  doi =		{10.4230/DagRep.8.4.72},
  annote =	{Keywords: autonomous systems, control and coordination, norm-based systems, responsibility}
}
Document
Belief Change and Argumentation in Multi-Agent Scenarios (Dagstuhl Seminar 13231)

Authors: Jürgen Dix, Sven Ove Hansson, Gabriela Kern-Isberner, and Guillermo S. Simari

Published in: Dagstuhl Reports, Volume 3, Issue 6 (2013)


Abstract
This report documents the programme and outcomes of Dagstuhl Seminar 13231 "Belief Change and Argumentation in Multi-Agent Scenarios". The seminar brought together researchers from the fields of argumentation theory and belief revision, both from philosophy and computer science, to present recent research results and exchange ideas for combining argumentation and belief revision. A key objective of the seminar, moreover, has been to shed light on the applicability of these two fields in the area of multi-agent systems: Can both argumentation and belief revision be combined and used in a rational agent? Before revising its beliefs, how should an agent decide what, or what part of the new information should be believed? Can this deliberation before the proper revision process be performed by argumentation? The unique atmosphere of Dagstuhl provided again a perfect environment for leading researchers from a wide variety of backgrounds to discuss future directions of argumentation, belief revision and their applications in multi-agent systems.

Cite as

Jürgen Dix, Sven Ove Hansson, Gabriela Kern-Isberner, and Guillermo S. Simari. Belief Change and Argumentation in Multi-Agent Scenarios (Dagstuhl Seminar 13231). In Dagstuhl Reports, Volume 3, Issue 6, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@Article{dix_et_al:DagRep.3.6.1,
  author =	{Dix, J\"{u}rgen and Hansson, Sven Ove and Kern-Isberner, Gabriela and Simari, Guillermo S.},
  title =	{{Belief Change and Argumentation in Multi-Agent Scenarios (Dagstuhl Seminar 13231)}},
  pages =	{1--21},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{6},
  editor =	{Dix, J\"{u}rgen and Hansson, Sven Ove and Kern-Isberner, Gabriela and Simari, Guillermo S.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.6.1},
  URN =		{urn:nbn:de:0030-drops-41810},
  doi =		{10.4230/DagRep.3.6.1},
  annote =	{Keywords: Belief revision, argumentation, multi-agent systems}
}
Document
Engineering Multi-Agent Systems (Dagstuhl Seminar 12342)

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

Published in: Dagstuhl Reports, Volume 2, Issue 8 (2013)


Abstract
This report documents the programme and outcomes of Dagstuhl Seminar 12342 ``Engineering multiagent Systems''. The seminar brought together researchers from both academia and industry to identify the potential for and facilitate convergence towards standards for agent technology. As such it was particularly relevant to industrial research. A key objective of the seminar, moreover, has been to establish a road map for engineering multiagent systems. Various research areas have been identified as important topics for a research agenda with a focus on the development of multiagent systems. Among others, these include the integration of agent technology and legacy systems, component-based agent design, standards for tooling, establishing benchmarks for agent technology, and the development of frameworks for coordination and organisation of multiagent systems. This report presents a more detailed discussion of these and other research challenges that were identified. The unique atmosphere of Dagstuhl provided the perfect environment for leading researchers from a wide variety of backgrounds to discuss future directions in programming languages, tools and platforms for multiagent systems, and the road map produced by the seminar will have a timely and decisive impact on the future of this whole area of research.

Cite as

Jürgen Dix, Koen V. Hindriks, Brian Logan, and Wayne Wobcke. Engineering Multi-Agent Systems (Dagstuhl Seminar 12342). In Dagstuhl Reports, Volume 2, Issue 8, pp. 74-98, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

@Article{dix_et_al:DagRep.2.8.74,
  author =	{Dix, J\"{u}rgen and Hindriks, Koen V. and Logan, Brian and Wobcke, Wayne},
  title =	{{Engineering Multi-Agent Systems (Dagstuhl Seminar 12342)}},
  pages =	{74--98},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{8},
  editor =	{Dix, J\"{u}rgen and Hindriks, Koen V. and Logan, Brian and Wobcke, Wayne},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.8.74},
  URN =		{urn:nbn:de:0030-drops-37846},
  doi =		{10.4230/DagRep.2.8.74},
  annote =	{Keywords: Agent-oriented programming, multiagent systems, Software methodologies for distributed systems, Programming distributed systems, Empirical evaluation}
}
Document
Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101)

Authors: Jürgen Dix, Wojtek Jamroga, and Dov Samet

Published in: Dagstuhl Reports, Volume 1, Issue 3 (2011)


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 11101 ``Reasoning about Interaction: From Game Theory to Logic and Back''. The notion of interaction is crucial in several disciplines, including social science, operational research, and economics. Two frameworks are most prominent in the formal treatment of interaction: game theory and mathematical logic. Quantitative analysis is usually conducted using models and tools of game theory. At the same time, logic provides vocabulary and methods to study interaction in a qualitative way. The aim of the seminar was to bring together researchers who approach interaction-related phenomena from different perspectives (and with different conceptual tools). We hoped that, by synergy and exchange of expertise, a more integrative view of interaction could be obtained. In particular, we focussed on how interaction between individual entities (be it humans, robots and/or virtual creatures) can lead to emergence of social structures, collective behavior, and teamwork - and, ultimately, help all involved parties benefit from cooperation.

Cite as

Jürgen Dix, Wojtek Jamroga, and Dov Samet. Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101). In Dagstuhl Reports, Volume 1, Issue 3, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


Copy BibTex To Clipboard

@Article{dix_et_al:DagRep.1.3.1,
  author =	{Dix, J\"{u}rgen and Jamroga, Wojtek and Samet, Dov},
  title =	{{Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101)}},
  pages =	{1--18},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2011},
  volume =	{1},
  number =	{3},
  editor =	{Dix, J\"{u}rgen and Jamroga, Wojtek and Samet, Dov},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.3.1},
  URN =		{urn:nbn:de:0030-drops-31915},
  doi =		{10.4230/DagRep.1.3.1},
  annote =	{Keywords: Game Theory, Logic, Mechanism Design, Security, Cooperation, Model Checking, Rationality, Knowledge}
}
Document
08461 Abstracts Collection – Planning in Multiagent Systems

Authors: Jürgen Dix, Edmund H. Durfee, and Cees Witteveen

Published in: Dagstuhl Seminar Proceedings, Volume 8461, Planning in Multiagent Systems (2009)


Abstract
From the 9th of November to the 14th of November 2008 the Dagstuhl Seminar 08461 '`Planning in Multiagent Systems'' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Jürgen Dix, Edmund H. Durfee, and Cees Witteveen. 08461 Abstracts Collection – Planning in Multiagent Systems. In Planning in Multiagent Systems. Dagstuhl Seminar Proceedings, Volume 8461, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{dix_et_al:DagSemProc.08461.1,
  author =	{Dix, J\"{u}rgen and Durfee, Edmund H. and Witteveen, Cees},
  title =	{{08461 Abstracts Collection – Planning in Multiagent Systems}},
  booktitle =	{Planning in Multiagent Systems},
  pages =	{1--9},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{8461},
  editor =	{J\"{u}rgen Dix and Edmund H. Durfee and Cees Witteveen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08461.1},
  URN =		{urn:nbn:de:0030-drops-18740},
  doi =		{10.4230/DagSemProc.08461.1},
  annote =	{Keywords: Multi-agent systems, AI-planning, coordination, robustness, temporal planning}
}
Document
08461 Executive Summary – Planning in Multi-Agent Systems

Authors: Jürgen Dix, Edmund H. Durfee, and Cees Witteveen

Published in: Dagstuhl Seminar Proceedings, Volume 8461, Planning in Multiagent Systems (2009)


Abstract
Planning in Multiagent Systems, or Multiagent Planning (MAP for short), considers the planning problem in the context of multiagent systems. It extends traditional AI planning to domains where multiple agents are involved in a plan and need to act together. Research in multiagent planning is promising for real-world problems: on one hand, AI planning techniques provide powerful tools for solving problems in single agent settings; on the other hand, multiagent systems, which have made significant progress over the past few years, are recognized as a key technology for tackling complex problems in realistic application domains. The motivation for this seminar is thus to bring together researchers working on these different fields in AI planning and multiagent systems to discuss the central topics mentioned above, to identify potential opportunities for coordination, and to develop benchmarks for future research in multiagent planning.

Cite as

Jürgen Dix, Edmund H. Durfee, and Cees Witteveen. 08461 Executive Summary – Planning in Multi-Agent Systems. In Planning in Multiagent Systems. Dagstuhl Seminar Proceedings, Volume 8461, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{dix_et_al:DagSemProc.08461.2,
  author =	{Dix, J\"{u}rgen and Durfee, Edmund H. and Witteveen, Cees},
  title =	{{08461 Executive Summary – Planning in Multi-Agent Systems }},
  booktitle =	{Planning in Multiagent Systems},
  pages =	{1--3},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{8461},
  editor =	{J\"{u}rgen Dix and Edmund H. Durfee and Cees Witteveen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08461.2},
  URN =		{urn:nbn:de:0030-drops-18739},
  doi =		{10.4230/DagSemProc.08461.2},
  annote =	{Keywords: Multi-agent systems, AI-planning, coordination, robustness, temporal planning}
}
Document
08361 Abstracts Collection – Programming Multi-Agent Systems

Authors: Rafael Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah-Seghrouchni

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
From 31th August to 5th September, the Dagstuhl Seminar 08361 ``Programming Multi-Agent Systems'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Rafael Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah-Seghrouchni. 08361 Abstracts Collection – Programming Multi-Agent Systems. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{bordini_et_al:DagSemProc.08361.1,
  author =	{Bordini, Rafael and Dastani, Mehdi and Dix, J\"{u}rgen and El Fallah-Seghrouchni, Amal},
  title =	{{08361 Abstracts Collection – Programming Multi-Agent Systems}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--20},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.1},
  URN =		{urn:nbn:de:0030-drops-16470},
  doi =		{10.4230/DagSemProc.08361.1},
  annote =	{Keywords: Agency, agent-oriented programming, programming multi-agent systems}
}
Document
08361 Executive Summary – Programming Multi-Agent Systems

Authors: Rafael Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah-Seghrouchni

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
Intelligent agents and multi-agent systems (MAS) play an important role in today’s software development. In fact, they constitute a new and interesting paradigm to implement complex systems, by offering relevant abstractions for the engineering of such intricate type of software. Several application domains, some at industrial level, take benefit from MAS technology. For almost two decades, the MAS community has developed and offers a large and rich set of concepts, architectures, interaction techniques, and general approaches to the analysis and the specification of MAS.

Cite as

Rafael Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah-Seghrouchni. 08361 Executive Summary – Programming Multi-Agent Systems. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{bordini_et_al:DagSemProc.08361.2,
  author =	{Bordini, Rafael and Dastani, Mehdi and Dix, J\"{u}rgen and El Fallah-Seghrouchni, Amal},
  title =	{{08361 Executive Summary – Programming Multi-Agent Systems}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.2},
  URN =		{urn:nbn:de:0030-drops-16463},
  doi =		{10.4230/DagSemProc.08361.2},
  annote =	{Keywords: Multi-agent systems programming}
}
Document
Research Challenges for Argumentation

Authors: Jürgen Dix, Simon Parsons, Henry Prakken, and Guillermo Simari

Published in: Dagstuhl Seminar Proceedings, Volume 8042, Perspectives Workshop: Theory and Practice of Argumentation Systems (2008)


Abstract
The first articles on argumentation in computer science appeared circa 20 years ago. Since then we have seen great advances, establishing a solid theoretical basis, a broad canvas of applications, and, most recently, some realistic implementations. The field has gone from infancy to maturity, and the initial questions that researchers posed – "how do we do this?", "what is it good for?" and "how do we implement it – are mostly answered.

Cite as

Jürgen Dix, Simon Parsons, Henry Prakken, and Guillermo Simari. Research Challenges for Argumentation. In Perspectives Workshop: Theory and Practice of Argumentation Systems. Dagstuhl Seminar Proceedings, Volume 8042, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{dix_et_al:DagSemProc.08042.1,
  author =	{Dix, J\"{u}rgen and Parsons, Simon and Prakken, Henry and Simari, Guillermo},
  title =	{{Research Challenges for Argumentation}},
  booktitle =	{Perspectives Workshop: Theory and Practice of Argumentation Systems},
  pages =	{1--13},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8042},
  editor =	{J\"{u}rgen Dix and Simon Parsons and Henry Prakken and Guillermo Simari},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08042.1},
  URN =		{urn:nbn:de:0030-drops-15770},
  doi =		{10.4230/DagSemProc.08042.1},
  annote =	{Keywords: Argumentation, reasoning, agent systems}
}
Document
04171 Abstracts Collection – Logic Based Information Agents

Authors: Jürgen Dix, Thomas Eiter, and Enrico Franconi

Published in: Dagstuhl Seminar Proceedings, Volume 4171, Logic Based Information Agents (2006)


Abstract
From 18.04.04 to 23.04.04, the Dagstuhl Seminar 04171 ``Logic Based Information Agents'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Jürgen Dix, Thomas Eiter, and Enrico Franconi. 04171 Abstracts Collection – Logic Based Information Agents. In Logic Based Information Agents. Dagstuhl Seminar Proceedings, Volume 4171, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)


Copy BibTex To Clipboard

@InProceedings{dix_et_al:DagSemProc.04171.1,
  author =	{Dix, J\"{u}rgen and Eiter, Thomas and Franconi, Enrico},
  title =	{{04171 Abstracts Collection – Logic Based Information Agents}},
  booktitle =	{Logic Based Information Agents},
  pages =	{1--9},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{4171},
  editor =	{J\"{u}rgen Dix and Thomas Eiter and Enrico Franconi},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04171.1},
  URN =		{urn:nbn:de:0030-drops-4689},
  doi =		{10.4230/DagSemProc.04171.1},
  annote =	{Keywords: }
}
Document
Programming Multi Agent Systems based on Logic (Dagstuhl Seminar 02481)

Authors: Jürgen Dix and Michael Fischer

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Jürgen Dix and Michael Fischer. Programming Multi Agent Systems based on Logic (Dagstuhl Seminar 02481). Dagstuhl Seminar Report 361, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2002)


Copy BibTex To Clipboard

@TechReport{dix_et_al:DagSemRep.361,
  author =	{Dix, J\"{u}rgen and Fischer, Michael},
  title =	{{Programming Multi Agent Systems based on Logic (Dagstuhl Seminar 02481)}},
  pages =	{1--18},
  ISSN =	{1619-0203},
  year =	{2002},
  type = 	{Dagstuhl Seminar Report},
  number =	{361},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.361},
  URN =		{urn:nbn:de:0030-drops-152415},
  doi =		{10.4230/DagSemRep.361},
}
Document
Disjunctive Logic Programming and Databases: Nonmonotonic Aspects (Dagstuhl Seminar 9627)

Authors: Jürgen Dix, Don Loveland, Jack Minker, and David Warren

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Jürgen Dix, Don Loveland, Jack Minker, and David Warren. Disjunctive Logic Programming and Databases: Nonmonotonic Aspects (Dagstuhl Seminar 9627). Dagstuhl Seminar Report 150, pp. 1-27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{dix_et_al:DagSemRep.150,
  author =	{Dix, J\"{u}rgen and Loveland, Don and Minker, Jack and Warren, David},
  title =	{{Disjunctive Logic Programming and Databases: Nonmonotonic Aspects (Dagstuhl Seminar 9627)}},
  pages =	{1--27},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{150},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.150},
  URN =		{urn:nbn:de:0030-drops-150376},
  doi =		{10.4230/DagSemRep.150},
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail