Portal - Seminar 07351

	Dagstuhl Seminar Proceedings 07351 Formal Models of Belief Change in Rational Agents G. Bonanno, J. Delgrande, J. Lang, H. Rott (Eds.)	published by LZI ISSN 1862 - 4405
	Dagstuhl Seminar 07351, 26.08. - 30.08.2007

Additional Information

Seminar Homepage
Copyright
Search Publication Server

Authors

Kern-Isberner, Gabriele

van der Torre, Leendert

07351 Abstracts Collection -- Formal Models of Belief Change in Rational Agents

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

Abstract | Document (199 KB) | BibTeX

07351 Executive Summary -- Formal Models of Belief Change in Rational Agents

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

Abstract | Document (36 KB) | BibTeX

A blueprint for deontic logic in three (not necessarily easy) steps

Authors: Segerberg, Krister

Abstract | Document (94 KB) | BibTeX

A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning

Authors: Kern-Isberner, Gabriele

Abstract | Document (243 KB) | BibTeX

A logical formalism for the subjective approach in a multi-agent setting

Authors: Aucher, Guillaume

Abstract | Document (318 KB) | BibTeX

A Method for Reasoning about other Agents' Beliefs from Observations

Authors: Nittka, Alexander ; Booth, Richard

Abstract | Document (135 KB) | BibTeX

Belief Change and Cryptographic Protocol Verification

Authors: Hunter, Aaron ; Delgrande, James

Abstract | Document (195 KB) | BibTeX

Common Foundations for belief revision, belief merging and voting

Authors: Gabbay, Dov ; Pigozzi, Gabriella ; Rodrigues, Odinaldo

Abstract | Document (212 KB) | BibTeX

Distance Semantics for Relevance-Sensitive Belief Revision

Authors: Peppas, Pavlos ; Chopra, Samir ; Foo, Norman

Abstract | Document (205 KB) | BibTeX

Dynamic Interactions Between Goals and Beliefs

Authors: Shapiro, Steven ; Brewka, Gerhard

Abstract | Document (205 KB) | BibTeX

Enhanced Contraction and (In)dependence Preliminary report

Authors: Bochman, Alexander

Abstract | Document (109 KB) | BibTeX

Forgetting and Update -- an exploration

Authors: Nayak, Abhaya ; Chen, Yin ; Lin, Fangzhen

Abstract | Document (154 KB) | BibTeX

From belief change to preference change

Authors: Lang, Jérôme ; van der Torre, Leendert

Abstract | Document (256 KB) | BibTeX

Measuring Ranks via the Complete Laws of Iterated Contraction

Authors: Spohn, Wolfgang

Abstract | Document (477 KB) | BibTeX

Optimal Regression for Reasoning about Knowledge and Actions

Authors: van Ditmarsch, Hans ; Herzig, Andreas ; de Lima, Tiago

Abstract | Document (306 KB) | BibTeX

Premise Independence in Judgment Aggregation

Authors: Pigozzi, Gabriella ; van der Torre, Leendert

Abstract | Document (154 KB) | BibTeX

Probability Logic and Logical Probability

Authors: Levi, Isaac

Abstract | Document (111 KB) | BibTeX

Propositional Relevance through Letter-Sharing: Review and Contribution

Authors: Makinson, David

Abstract | Document (87 KB) | BibTeX

Ranking Revision Reloaded

Authors: Weydert, Emil

Abstract | Document (154 KB) | BibTeX

Semantic structures for one-stage and iterated belief revision

Authors: Bonanno, Giacomo

Abstract | Document (189 KB) | BibTeX

The Logic of Bargaining

Authors: Zhang, Dongmo

Abstract | Document (499 KB) | BibTeX

Two-Dimensional Belief Change

Authors: Rott, Hans

Abstract | Document (283 KB) | BibTeX

DROPS-Home | Fulltext Search | Imprint