46 Search Results for "Rott, Hans"

Document
Survey
DOI: 10.4230/TGDK.3.1.3
Uncertainty Management in the Construction of Knowledge Graphs: A Survey

Authors: Lucas Jarnac, Yoan Chabot, and Miguel Couceiro

Published in: TGDK, Volume 3, Issue 1 (2025). Transactions on Graph Data and Knowledge, Volume 3, Issue 1

Abstract
Knowledge Graphs (KGs) are a major asset for companies thanks to their great flexibility in data representation and their numerous applications, e.g., vocabulary sharing, Q&A or recommendation systems. To build a KG, it is a common practice to rely on automatic methods for extracting knowledge from various heterogeneous sources. However, in a noisy and uncertain world, knowledge may not be reliable and conflicts between data sources may occur. Integrating unreliable data would directly impact the use of the KG, therefore such conflicts must be resolved. This could be done manually by selecting the best data to integrate. This first approach is highly accurate, but costly and time-consuming. That is why recent efforts focus on automatic approaches, which represent a challenging task since it requires handling the uncertainty of extracted knowledge throughout its integration into the KG. We survey state-of-the-art approaches in this direction and present constructions of both open and enterprise KGs. We then describe different knowledge extraction methods and discuss downstream tasks after knowledge acquisition, including KG completion using embedding models, knowledge alignment, and knowledge fusion in order to address the problem of knowledge uncertainty in KG construction. We conclude with a discussion on the remaining challenges and perspectives when constructing a KG taking into account uncertainty.
Cite as

Lucas Jarnac, Yoan Chabot, and Miguel Couceiro. Uncertainty Management in the Construction of Knowledge Graphs: A Survey. In Transactions on Graph Data and Knowledge (TGDK), Volume 3, Issue 1, pp. 3:1-3:48, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@Article{jarnac_et_al:TGDK.3.1.3,
  author =	{Jarnac, Lucas and Chabot, Yoan and Couceiro, Miguel},
  title =	{{Uncertainty Management in the Construction of Knowledge Graphs: A Survey}},
  journal =	{Transactions on Graph Data and Knowledge},
  pages =	{3:1--3:48},
  ISSN =	{2942-7517},
  year =	{2025},
  volume =	{3},
  number =	{1},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/TGDK.3.1.3},
  URN =		{urn:nbn:de:0030-drops-233733},
  doi =		{10.4230/TGDK.3.1.3},
  annote =	{Keywords: Knowledge reconciliation, Uncertainty, Heterogeneous sources, Knowledge graph construction}
}
Document
Position
DOI: 10.4230/TGDK.2.1.2
Grounding Stream Reasoning Research

Authors: Pieter Bonte, Jean-Paul Calbimonte, Daniel de Leng, Daniele Dell'Aglio, Emanuele Della Valle, Thomas Eiter, Federico Giannini, Fredrik Heintz, Konstantin Schekotihin, Danh Le-Phuoc, Alessandra Mileo, Patrik Schneider, Riccardo Tommasini, Jacopo Urbani, and Giacomo Ziffer

Published in: TGDK, Volume 2, Issue 1 (2024): Special Issue on Trends in Graph Data and Knowledge - Part 2. Transactions on Graph Data and Knowledge, Volume 2, Issue 1

Abstract
In the last decade, there has been a growing interest in applying AI technologies to implement complex data analytics over data streams. To this end, researchers in various fields have been organising a yearly event called the "Stream Reasoning Workshop" to share perspectives, challenges, and experiences around this topic. In this paper, the previous organisers of the workshops and other community members provide a summary of the main research results that have been discussed during the first six editions of the event. These results can be categorised into four main research areas: The first is concerned with the technological challenges related to handling large data streams. The second area aims at adapting and extending existing semantic technologies to data streams. The third and fourth areas focus on how to implement reasoning techniques, either considering deductive or inductive techniques, to extract new and valuable knowledge from the data in the stream. This summary is written not only to provide a crystallisation of the field, but also to point out distinctive traits of the stream reasoning community. Moreover, it also provides a foundation for future research by enumerating a list of use cases and open challenges, to stimulate others to join this exciting research area.
Cite as

Pieter Bonte, Jean-Paul Calbimonte, Daniel de Leng, Daniele Dell'Aglio, Emanuele Della Valle, Thomas Eiter, Federico Giannini, Fredrik Heintz, Konstantin Schekotihin, Danh Le-Phuoc, Alessandra Mileo, Patrik Schneider, Riccardo Tommasini, Jacopo Urbani, and Giacomo Ziffer. Grounding Stream Reasoning Research. In Special Issue on Trends in Graph Data and Knowledge - Part 2. Transactions on Graph Data and Knowledge (TGDK), Volume 2, Issue 1, pp. 2:1-2:47, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@Article{bonte_et_al:TGDK.2.1.2,
  author =	{Bonte, Pieter and Calbimonte, Jean-Paul and de Leng, Daniel and Dell'Aglio, Daniele and Della Valle, Emanuele and Eiter, Thomas and Giannini, Federico and Heintz, Fredrik and Schekotihin, Konstantin and Le-Phuoc, Danh and Mileo, Alessandra and Schneider, Patrik and Tommasini, Riccardo and Urbani, Jacopo and Ziffer, Giacomo},
  title =	{{Grounding Stream Reasoning Research}},
  journal =	{Transactions on Graph Data and Knowledge},
  pages =	{2:1--2:47},
  ISSN =	{2942-7517},
  year =	{2024},
  volume =	{2},
  number =	{1},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/TGDK.2.1.2},
  URN =		{urn:nbn:de:0030-drops-198597},
  doi =		{10.4230/TGDK.2.1.2},
  annote =	{Keywords: Stream Reasoning, Stream Processing, RDF streams, Streaming Linked Data, Continuous query processing, Temporal Logics, High-performance computing, Databases}
}
Document
DOI: 10.4230/DagSemProc.09351.8
Speech acts as announcements

Authors: Nadine Guiraud, Andreas Herzig, and Emiliano Lorini

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

Abstract
Our aim is to use the logic of public announcements and more generally dynamic epistemic logics as a logic of speech acts. To that end we start from a simple multimodal logic of beliefs and goals (without common belief), and add public announcements. We suppose that announcements do not modify goals. We then consider several variants of speech acts of assertive and directive force and provide a modelling in terms of speech acts.
Cite as

Nadine Guiraud, Andreas Herzig, and Emiliano Lorini. Speech acts as announcements. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{guiraud_et_al:DagSemProc.09351.8,
  author =	{Guiraud, Nadine and Herzig, Andreas and Lorini, Emiliano},
  title =	{{Speech acts as announcements}},
  booktitle =	{Information processing, rational belief change and social interaction},
  pages =	{1--4},
  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.8},
  URN =		{urn:nbn:de:0030-drops-22935},
  doi =		{10.4230/DagSemProc.09351.8},
  annote =	{Keywords: Logic of belief, logic of goals, speech act theory, dynamic epistemic logic, public announcements}
}
Document
DOI: 10.4230/DagSemProc.09351.1
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
DOI: 10.4230/DagSemProc.09351.2
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
DOI: 10.4230/DagSemProc.09351.3
Awareness and forgetting of facts and agents

Authors: Hans Van Ditmarsch and Tim French

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

Abstract
We propose various logical semantics for change of awareness. The setting is that of multiple agents that may become aware of facts or other agents, or forget about them. We model these dynamics by quantifying over propositional variables and agent variables, in a multi-agent epistemic language with awareness operators, employing a notion of bisimulation with a clause for `same awareness'. The quantification is over all different ways in which an agent can become aware (or forget). Logics for change of awareness combine well with logics for informational change, as when a public announcement simultaneously makes you aware of an issue (`a plane just crashed on Schiphol Airport').
Cite as

Hans Van Ditmarsch and Tim French. Awareness and forgetting of facts and agents. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{vanditmarsch_et_al:DagSemProc.09351.3,
  author =	{Van Ditmarsch, Hans and French, Tim},
  title =	{{Awareness and forgetting of facts and agents}},
  booktitle =	{Information processing, rational belief change and social interaction},
  pages =	{1--8},
  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.3},
  URN =		{urn:nbn:de:0030-drops-22286},
  doi =		{10.4230/DagSemProc.09351.3},
  annote =	{Keywords: Awareness, knowledge, multi-agent systems, dynamics}
}
Document
DOI: 10.4230/DagSemProc.09351.4
Deontic Epistemic stit Logic Distinguishing Modes of `Mens Rea'

Authors: Jan M. Broersen

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

Abstract
Most juridical systems contain the principle that an act is only unlaw- ful if the agent conducting the act has a `guilty mind' (`mens rea'). Dif- ferent law systems distinguish different modes of mens rea. For instance, American law distinguishes between `knowingly' performing a criminal act, `recklessness', `strict liability', etc. I will show we can formalize several of these categories. The formalism I use is a complete stit-logic featuring operators for stit-actions taking effect in `next' states, S5-knowledge op- erators and SDL-type obligation operators. The different modes of `mens rea' correspond to the violation conditions of different types of obligation definable in the logic.
Cite as

Jan M. Broersen. Deontic Epistemic stit Logic Distinguishing Modes of `Mens Rea'. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{broersen:DagSemProc.09351.4,
  author =	{Broersen, Jan M.},
  title =	{{Deontic Epistemic stit Logic Distinguishing Modes of `Mens Rea'}},
  booktitle =	{Information processing, rational belief change and social interaction},
  pages =	{1--22},
  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.4},
  URN =		{urn:nbn:de:0030-drops-22296},
  doi =		{10.4230/DagSemProc.09351.4},
  annote =	{Keywords: Product update, agency, stit theory, knowingly doing}
}
Document
DOI: 10.4230/DagSemProc.09351.5
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together

Authors: Emiliano Lorini, François Schwarzentruber, and Andreas Herzig

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

Abstract
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and enabling to reason about epistemic games in strategic form. We provide complexity results for EDLA. In the second part of the paper, we study in EDLA the epistemic and rationality conditions of some classical solution concepts like Nash equilibrium and Iterated Deletion of Strictly Dominated Strategies (IDSDS). In the last part of the paper we combine EDLA with Dynamic Epistemic Logic (DEL) in order to model epistemic game dynamics.
Cite as

Emiliano Lorini, François Schwarzentruber, and Andreas Herzig. Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{lorini_et_al:DagSemProc.09351.5,
  author =	{Lorini, Emiliano and Schwarzentruber, Fran\c{c}ois and Herzig, Andreas},
  title =	{{Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together}},
  booktitle =	{Information processing, rational belief change and social interaction},
  pages =	{1--20},
  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.5},
  URN =		{urn:nbn:de:0030-drops-22313},
  doi =		{10.4230/DagSemProc.09351.5},
  annote =	{Keywords: Modal logic, game theory, epistemic games}
}
Document
DOI: 10.4230/DagSemProc.09351.6
Interpreting Product Update as Reasoning about Observations and Meta-Observations

Authors: Jan M. Broersen

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

Abstract
In this brief note, I would like to suggest that it makes sense to reinterpret product update, as introduced by Baltag, Moss and Solecki, as a system to account for observations and metaobservations, where a meta-observation is an observation of an observation. Under this interpretation we also take products of action models with meta-action models. I deliberate on some possible consequences of this extension to the interpretation of product update.
Cite as

Jan M. Broersen. Interpreting Product Update as Reasoning about Observations and Meta-Observations. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{broersen:DagSemProc.09351.6,
  author =	{Broersen, Jan M.},
  title =	{{Interpreting Product Update as Reasoning about Observations and Meta-Observations}},
  booktitle =	{Information processing, rational belief change and social interaction},
  pages =	{1--3},
  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.6},
  URN =		{urn:nbn:de:0030-drops-22333},
  doi =		{10.4230/DagSemProc.09351.6},
  annote =	{Keywords: Product update, agency, stit theory, knowingly doing}
}
Document
DOI: 10.4230/DagSemProc.09351.7
Revealed preference, iterated belief revision and dynamic games

Authors: Giacomo Bonanno

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

Abstract
In previous work (G. Bonanno, Rational choice and AGM belief revision, Artificial Intelligence, 2009) a semantics for AGM belief revision was proposed based on choice frames, borrowed from the rational choice literature. In this paper we discuss how to use choice frames to analyze extensive-form games. Given an extensive form with perfect recall, a choice frame can be used to represent a player's initial beliefs and her disposition to change those beliefs when she is informed that it is her turn to move. When some players move more than once along some play of the game, the issue of iterated belief revision arises. We provide a semantics for iterated belief revision in terms of choice frames and provide an outline of how to use choice frames to analyze solution concepts for extensive-form games.
Cite as

Giacomo Bonanno. Revealed preference, iterated belief revision and dynamic games. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{bonanno:DagSemProc.09351.7,
  author =	{Bonanno, Giacomo},
  title =	{{Revealed preference, iterated belief revision and dynamic games}},
  booktitle =	{Information processing, rational belief change and social interaction},
  pages =	{1--10},
  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.7},
  URN =		{urn:nbn:de:0030-drops-22326},
  doi =		{10.4230/DagSemProc.09351.7},
  annote =	{Keywords: Choice function, AGM belief revision, extensive-form game, iterated belief revision}
}
Document
DOI: 10.4230/DagSemProc.09351.9
Systematic judgment aggregators: An algebraic connection between social and logical structure

Authors: Daniel Eckert and Frederik Herzberg

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

Abstract
We present several results that show that systematic (complete) judgment aggregators can be viewed as both (2-valued) Boolean homomorphisms and as syntatic versions of reduced (ultra)products. Thereby, Arrovian judgment aggregators link the Boolean algebraic structures of (i) the set of coalitions (ii) the agenda, and (iii) the set of truth values of collective judgments. Since filters arise naturally in the context of Boolean algebras, these findings provide an explanation for the extraordinary effectiveness of the filter method in abstract aggregation theory.
Cite as

Daniel Eckert and Frederik Herzberg. Systematic judgment aggregators: An algebraic connection between social and logical structure. In Information processing, rational belief change and social interaction. Dagstuhl Seminar Proceedings, Volume 9351, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{eckert_et_al:DagSemProc.09351.9,
  author =	{Eckert, Daniel and Herzberg, Frederik},
  title =	{{Systematic judgment aggregators: An algebraic connection between social and logical structure}},
  booktitle =	{Information processing, rational belief change and social interaction},
  pages =	{1--12},
  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.9},
  URN =		{urn:nbn:de:0030-drops-22302},
  doi =		{10.4230/DagSemProc.09351.9},
  annote =	{Keywords: Judgment aggregation; social structure; Boolean homorphism; ultraproduct}
}
Document
DOI: 10.4230/DagSemProc.07351.1
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
DOI: 10.4230/DagSemProc.07351.14
Measuring Ranks via the Complete Laws of Iterated Contraction

Authors: Wolfgang Spohn

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

Abstract
Ranking theory delivers an account of iterated contraction; each ranking function induces a specific iterated contraction behavior. The paper gives a complete axiomatization of that behavior, i.e., a complete set of laws of iterated contraction. It does so by showing how to reconstruct a ranking function from its iterated contraction behavior uniquely up to multi-plicative constant and thus how to measure ranks on a ratio scale.
Cite as

Wolfgang Spohn. Measuring Ranks via the Complete Laws of Iterated Contraction. In Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, Volume 7351, pp. 1-19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{spohn:DagSemProc.07351.14,
  author =	{Spohn, Wolfgang},
  title =	{{Measuring Ranks via the Complete Laws of Iterated Contraction}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--19},
  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.14},
  URN =		{urn:nbn:de:0030-drops-12398},
  doi =		{10.4230/DagSemProc.07351.14},
  annote =	{Keywords: Ranking theory, iterated contraction, measurement theory}
}
Document
DOI: 10.4230/DagSemProc.07351.22
Two-Dimensional Belief Change

Authors: Hans Rott

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

Abstract
The idea of two-dimensional belief change operators is that a belief state is transformed by an input sentence $A$ in such a way that $A$ gets accepted with at least the strength or certainty of a sentence $B$ (the reference sentence). The input of such a transformation may alternatively be conceived as `$B leq A$' [`$B$ less-than-or-equal-to $A$']. This notation makes explicit that the process induced is basically one of doxastic preference change. The principal case of two-dimensional belief change obtains when $B$ is a prior belief which is more strongly accepted than both $A$ and $ eg A$, but the non-principal cases are interesting in their own right. Various two-dimensional revision operators were studied by Cantwell (1997, `raising' and `lowering'), Fermé and Rott (2003, `revision by comparison'), and Rott (2007, `bounded revision'). Special choices of a fixed input sentence $A$ or a fixed reference sentence $B$ lead to some well-known unary oparators of belief change: `irrevocable' (aka `radical') revision, `severe withdrawal' (aka `mild contraction'), `natural' (aka `conservative') and `lexicographic' (aka `moderate') revision. The talk gives a survey of several variants of two-dimensional belief change and their representations. I argue that two-dimensional belief change operators offer an interesting qualitative model with an expressive power between (all too poor) unary operators and (all too demanding) quantitative models of belief change.
Cite as

Hans Rott. Two-Dimensional Belief Change. In Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, Volume 7351, pp. 1-27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{rott:DagSemProc.07351.22,
  author =	{Rott, Hans},
  title =	{{Two-Dimensional Belief Change}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--27},
  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.22},
  URN =		{urn:nbn:de:0030-drops-12404},
  doi =		{10.4230/DagSemProc.07351.22},
  annote =	{Keywords: Belief revision, radical revision, conservative revision, moderate revision, severe withdrawal, preference change, qualitative vs. quantitative change}
}
Document
DOI: 10.4230/DagSemProc.07351.2
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}
}
  • Refine by Type
  • 46 Document/PDF
  • 2 Document/HTML

  • Refine by Publication Year
  • 1 2025
  • 1 2024
  • 9 2009
  • 22 2007
  • 1 2006
  • Show More...

  • Refine by Author
  • 8 Bonanno, Giacomo
  • 8 Delgrande, James
  • 8 Rott, Hans
  • 6 Lang, Jérôme
  • 4 Herzig, Andreas
  • Show More...

  • Refine by Series/Journal
  • 2 TGDK
  • 44 DagSemProc

  • Refine by Classification
  • 2 Information systems → Graph-based database models
  • 1 Computing methodologies → Description logics
  • 1 Computing methodologies → Temporal reasoning
  • 1 Information systems → Data streams
  • 1 Information systems → Information integration
  • Show More...

  • Refine by Keyword
  • 11 Belief revision
  • 6 conditionals
  • 6 iterated belief revision
  • 6 social choice
  • 6 update
  • Show More...

Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact