Search Results

Documents authored by Delgrande, James


Document
Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441)

Authors: James Delgrande, Thomas Meyer, and Ulrike Sattler

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


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 12441 "Foundations and Challenges of Change and Evolution in Ontologies", held from 28 October to 2 November 2012. The aim of the workshop was to bring together researchers working in the areas of logic-based ontologies, belief change, and database systems, along with researchers working in relevant areas in nonmonotonic reasoning, commonsense reasoning, and paraconsistent reasoning. The workshop provided a forum for discussions on the application of existing work in belief change, nonmonotonic reasoning, commonsense reasoning, and databases to logic-based ontologies. Overall the intent was to provide an interdisciplinary (with respect to computer science and mathematics) workshop for addressing both theoretical and computational issues in managing change and evolution in formal ontologies.

Cite as

James Delgrande, Thomas Meyer, and Ulrike Sattler. Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441). In Dagstuhl Reports, Volume 2, Issue 10, pp. 105-116, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@Article{delgrande_et_al:DagRep.2.10.105,
  author =	{Delgrande, James and Meyer, Thomas and Sattler, Ulrike},
  title =	{{Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441)}},
  pages =	{105--116},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{2},
  number =	{10},
  editor =	{Delgrande, James and Meyer, Thomas and Sattler, Ulrike},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.10.105},
  URN =		{urn:nbn:de:0030-drops-39079},
  doi =		{10.4230/DagRep.2.10.105},
  annote =	{Keywords: Artificial intelligence, Belief change, Ontologies, Description logics}
}
Document
09351 Abstracts Collection – Information processing, rational belief change and social interaction

Authors: Giacomo Bonanno, James Delgrande, and Hans Rott

Published in: Dagstuhl Seminar Proceedings, Volume 9351, Information processing, rational belief change and social interaction (2009)


Abstract
From 23.08. to 27.08.2009, the Dagstuhl Seminar 09351 ``Information processing, rational belief change and social interaction '' 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

Giacomo Bonanno, James Delgrande, and Hans Rott. 09351 Abstracts Collection – Information processing, rational belief change and social interaction. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{bonanno_et_al:DagSemProc.09351.1,
  author =	{Bonanno, Giacomo and Delgrande, James and Rott, Hans},
  title =	{{09351 Abstracts Collection – Information processing, rational belief change and social interaction}},
  booktitle =	{Information processing, rational belief change and social interaction},
  pages =	{1--14},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9351},
  editor =	{Giacomo Bonanno and James Delgrande and Hans Rott},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09351.1},
  URN =		{urn:nbn:de:0030-drops-22343},
  doi =		{10.4230/DagSemProc.09351.1},
  annote =	{Keywords: Social software, belief revision, conditionals, social choice, game theory, contraction, update, argumentation, preference aggregation, agency, inform}
}
Document
09351 Executive Summary – Information processing, rational belief change and social interaction

Authors: Giacomo Bonanno, James Delgrande, and Hans Rott

Published in: Dagstuhl Seminar Proceedings, Volume 9351, Information processing, rational belief change and social interaction (2009)


Abstract
From August 23, 2009 to August 27, 2009, the Dagstuhl Seminar 09351 "Information processing, rational belief change and social interaction" was held at 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 these Proceedings. The Executive Summary describes the seminar topics and goals in general and contains the program of the workshop. Links to extended abstracts or full papers are provided, if available.

Cite as

Giacomo Bonanno, James Delgrande, and Hans Rott. 09351 Executive Summary – Information processing, rational belief change and social interaction. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-6, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{bonanno_et_al:DagSemProc.09351.2,
  author =	{Bonanno, Giacomo and Delgrande, James and Rott, Hans},
  title =	{{09351 Executive Summary – Information processing, rational belief change and social interaction}},
  booktitle =	{Information processing, rational belief change and social interaction},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9351},
  editor =	{Giacomo Bonanno and James Delgrande and Hans Rott},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09351.2},
  URN =		{urn:nbn:de:0030-drops-22273},
  doi =		{10.4230/DagSemProc.09351.2},
  annote =	{Keywords: Social software, belief revision, conditionals, social choice, game theory, contraction, update, argumentation, preference aggregation, agency, inform}
}
Document
07351 Abstracts Collection – Formal Models of Belief Change in Rational Agents

Authors: Giacomo Bonanno, James Delgrande, Jérôme Lang, and Hans Rott

Published in: Dagstuhl Seminar Proceedings, Volume 7351, Formal Models of Belief Change in Rational Agents (2007)


Abstract
From 26.08. to 30.08.2007, the Dagstuhl Seminar 07351 ``Formal Models of Belief Change in Rational 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

Giacomo Bonanno, James Delgrande, Jérôme Lang, and Hans Rott. 07351 Abstracts Collection – Formal Models of Belief Change in Rational Agents. In Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, Volume 7351, pp. 1-18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{bonanno_et_al:DagSemProc.07351.1,
  author =	{Bonanno, Giacomo and Delgrande, James and Lang, J\'{e}r\^{o}me and Rott, Hans},
  title =	{{07351 Abstracts Collection – Formal Models of Belief Change in Rational Agents}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--18},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7351},
  editor =	{Giacomo Bonanno and James Delgrande and J\'{e}r\^{o}me Lang and Hans Rott},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07351.1},
  URN =		{urn:nbn:de:0030-drops-12414},
  doi =		{10.4230/DagSemProc.07351.1},
  annote =	{Keywords: Belief change, rational agents, information economy, information processing}
}
Document
07351 Executive Summary – Formal Models of Belief Change in Rational Agents

Authors: Giacomo Bonanno, James Delgrande, Jérôme Lang, and Hans Rott

Published in: Dagstuhl Seminar Proceedings, Volume 7351, Formal Models of Belief Change in Rational Agents (2007)


Abstract
From August 26, 2007 to August 30, 2007, the Dagstuhl Seminar 07351 "Formal Models of Belief Change in Rational Agents" was held at 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. The Executive Summary describes the seminar topics and goals in general. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in the Proceedings. Links to extended abstracts or full papers are provided, if available.

Cite as

Giacomo Bonanno, James Delgrande, Jérôme Lang, and Hans Rott. 07351 Executive Summary – Formal Models of Belief Change in Rational Agents. In Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, Volume 7351, pp. 1-6, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{bonanno_et_al:DagSemProc.07351.2,
  author =	{Bonanno, Giacomo and Delgrande, James and Lang, J\'{e}r\^{o}me and Rott, Hans},
  title =	{{07351 Executive Summary – Formal Models of Belief Change in Rational Agents}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7351},
  editor =	{Giacomo Bonanno and James Delgrande and J\'{e}r\^{o}me Lang and Hans Rott},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07351.2},
  URN =		{urn:nbn:de:0030-drops-12018},
  doi =		{10.4230/DagSemProc.07351.2},
  annote =	{Keywords: Belief revision, iterated belief revision, update, merging, dynamic logic, epistemic logic,conditionals, social choice, game theory}
}
Document
Belief Change and Cryptographic Protocol Verification

Authors: Aaron Hunter and James Delgrande

Published in: Dagstuhl Seminar Proceedings, Volume 7351, Formal Models of Belief Change in Rational Agents (2007)


Abstract
Cryptographic protocols are structured sequences of messages that are used for exchanging information in a hostile environment. Many protocols have epistemic goals: a successful run of the protocol is intended to cause a participant to hold certain beliefs. As such, epistemic logics have been employed for the verification of cryptographic protocols. Although this approach to verification is explicitly concerned with changing beliefs, formal belief change operators have not been incorporated in previous work. In this paper, we introduce a new approach to protocol verification by combining a monotonic logic with a non-monotonic belief change operator. In this context, a protocol participant is able to retract beliefs in response to new information and a protocol participant is able to postulate the most plausible event explaining new information. We illustrate that this kind of reasoning is particularly important when protocol participants have incorrect beliefs.

Cite as

Aaron Hunter and James Delgrande. Belief Change and Cryptographic Protocol Verification. In Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, Volume 7351, pp. 1-14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{hunter_et_al:DagSemProc.07351.7,
  author =	{Hunter, Aaron and Delgrande, James},
  title =	{{Belief Change and Cryptographic Protocol Verification}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--14},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7351},
  editor =	{Giacomo Bonanno and James Delgrande and J\'{e}r\^{o}me Lang and Hans Rott},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07351.7},
  URN =		{urn:nbn:de:0030-drops-12065},
  doi =		{10.4230/DagSemProc.07351.7},
  annote =	{Keywords: Belief change, belief evolution, cryptographic protocol verification}
}
Document
05321 Abstracts Collection – Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics

Authors: James Delgrande, Jérôme Lang, Hans Rott, and Jean-Marc Tallon

Published in: Dagstuhl Seminar Proceedings, Volume 5321, Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics (2005)


Abstract
From 07.08.05 to 12.08.05, the Dagstuhl Seminar 05321 ``Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics'' 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

James Delgrande, Jérôme Lang, Hans Rott, and Jean-Marc Tallon. 05321 Abstracts Collection – Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics. In Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics. Dagstuhl Seminar Proceedings, Volume 5321, pp. 1-16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{delgrande_et_al:DagSemProc.05321.2,
  author =	{Delgrande, James and Lang, J\'{e}r\^{o}me and Rott, Hans and Tallon, Jean-Marc},
  title =	{{05321 Abstracts Collection – Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics}},
  booktitle =	{Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics},
  pages =	{1--16},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{5321},
  editor =	{James Delgrande and Jerome Lang and Hans Rott and Jean-Marc Tallon},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05321.2},
  URN =		{urn:nbn:de:0030-drops-3628},
  doi =		{10.4230/DagSemProc.05321.2},
  annote =	{Keywords: Belief revision, iterated belief revision, update, merging, dynamic logic, possibility theory, conditionals, social choice, distance, complexity}
}
Document
05321 – Panel on belief change

Authors: Isaac Levi, Giacomo Bonanno, Bernard Walliser, Didier Dubois, Hans Rott, James Delgrande, and Jérôme Lang

Published in: Dagstuhl Seminar Proceedings, Volume 5321, Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics (2005)


Abstract
This document gathers the panelists' contribution.

Cite as

Isaac Levi, Giacomo Bonanno, Bernard Walliser, Didier Dubois, Hans Rott, James Delgrande, and Jérôme Lang. 05321 – Panel on belief change. In Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics. Dagstuhl Seminar Proceedings, Volume 5321, pp. 1-12, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{levi_et_al:DagSemProc.05321.1,
  author =	{Levi, Isaac and Bonanno, Giacomo and Walliser, Bernard and Dubois, Didier and Rott, Hans and Delgrande, James and Lang, J\'{e}r\^{o}me},
  title =	{{05321 – Panel on belief change}},
  booktitle =	{Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics},
  pages =	{1--12},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{5321},
  editor =	{James Delgrande and Jerome Lang and Hans Rott and Jean-Marc Tallon},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05321.1},
  URN =		{urn:nbn:de:0030-drops-3580},
  doi =		{10.4230/DagSemProc.05321.1},
  annote =	{Keywords: Belief revision, iterated belief revision, update, merging, dynamic logic, possibility theory, conditionals, social choice, distance, complexity}
}
Document
05321 Executive Summary – Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics

Authors: James Delgrande, Jérôme Lang, Hans Rott, and Jean-Marc Tallon

Published in: Dagstuhl Seminar Proceedings, Volume 5321, Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics (2005)


Abstract
The area of belief change studies how a rational agent may maintain its beliefs when obtaining or perceiving new information about the environment. This new information could include properties of the actual world, occurrences of events, and, in the case of multiple agents, actions performed by other agents, as well as the beliefs and preferences of other agents. Not surprisingly, this area has been of interest to researchers in different communities. The initial research in belief change came from the philosophical community, wherein belief change was studied generally from a normative point of view (that is, providing axiomatic foundations about how rational agents should behave with respect to the information flux). Subsequently, computer scientists, especially in the artificial intelligence (AI) and the database (DB) communities, have been building on these results. Belief change, as studied by computer scientists, not only pays attention to behavioural properties characterising evolving databases or knowledge bases, but must also address computational issues such as how to represent beliefs states in a concise way and how to efficiently compute the revision of a belief state. More recently, the economics and game theory community, in particular the emerging field of cognitive economics, has become active in belief change research, adopting a normative point of view, like philosophers, but paying more attention to the ''cognitive plausibility'' or ''fitness'' of the belief change operators. The goal of the seminar was to bring together researchers from these areas, allowing for the identification and addressing of problems of common interest in this area, as well as providing a means to explore ways in which one area may contribute to another.

Cite as

James Delgrande, Jérôme Lang, Hans Rott, and Jean-Marc Tallon. 05321 Executive Summary – Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics. In Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics. Dagstuhl Seminar Proceedings, Volume 5321, pp. 1-5, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{delgrande_et_al:DagSemProc.05321.3,
  author =	{Delgrande, James and Lang, J\'{e}r\^{o}me and Rott, Hans and Tallon, Jean-Marc},
  title =	{{05321 Executive Summary – Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics}},
  booktitle =	{Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics},
  pages =	{1--5},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{5321},
  editor =	{James Delgrande and Jerome Lang and Hans Rott and Jean-Marc Tallon},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05321.3},
  URN =		{urn:nbn:de:0030-drops-3577},
  doi =		{10.4230/DagSemProc.05321.3},
  annote =	{Keywords: Belief revision, iterated belief revision, update, merging, dynamic logic, possibility theory, conditionals, social choice, distance, complexity}
}
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