Dagstuhl Seminar Proceedings, Volume 7351,
-
Giacomo Bonanno, James Delgrande, Jérôme Lang, and Hans Rott
07351 Abstracts Collection – Formal Models of Belief Change in Rational Agents
10.4230/DagSemProc.07351.1
-
Giacomo Bonanno, James Delgrande, Jérôme Lang, and Hans Rott
07351 Executive Summary – Formal Models of Belief Change in Rational Agents
10.4230/DagSemProc.07351.2
-
Krister Segerberg
A blueprint for deontic logic in three (not necessarily easy) steps
10.4230/DagSemProc.07351.3
-
Gabriele Kern-Isberner
A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning
10.4230/DagSemProc.07351.4
-
Guillaume Aucher
A logical formalism for the subjective approach in a multi-agent setting
10.4230/DagSemProc.07351.5
-
Alexander Nittka and Richard Booth
A Method for Reasoning about other Agents' Beliefs from Observations
10.4230/DagSemProc.07351.6
-
Aaron Hunter and James Delgrande
Belief Change and Cryptographic Protocol Verification
10.4230/DagSemProc.07351.7
-
Dov Gabbay, Gabriella Pigozzi, and Odinaldo Rodrigues
Common Foundations for belief revision, belief merging and voting
10.4230/DagSemProc.07351.8
-
Pavlos Peppas, Samir Chopra, and Norman Foo
Distance Semantics for Relevance-Sensitive Belief Revision
10.4230/DagSemProc.07351.9
-
Steven Shapiro and Gerhard Brewka
Dynamic Interactions Between Goals and Beliefs
10.4230/DagSemProc.07351.10
-
Alexander Bochman
Enhanced Contraction and (In)dependence Preliminary report
10.4230/DagSemProc.07351.11
-
Abhaya Nayak, Yin Chen, and Fangzhen Lin
Forgetting and Update – an exploration
10.4230/DagSemProc.07351.12
-
Jérôme Lang and Leendert van der Torre
From belief change to preference change
10.4230/DagSemProc.07351.13
-
Wolfgang Spohn
Measuring Ranks via the Complete Laws of Iterated Contraction
10.4230/DagSemProc.07351.14
-
Hans van Ditmarsch, Andreas Herzig, and Tiago de Lima
Optimal Regression for Reasoning about Knowledge and Actions
10.4230/DagSemProc.07351.15
-
Gabriella Pigozzi and Leendert van der Torre
Premise Independence in Judgment Aggregation
10.4230/DagSemProc.07351.16
-
Isaac Levi
Probability Logic and Logical Probability
10.4230/DagSemProc.07351.17
-
David Makinson
Propositional Relevance through Letter-Sharing: Review and Contribution
10.4230/DagSemProc.07351.18
-
Emil Weydert
Ranking Revision Reloaded
10.4230/DagSemProc.07351.19
-
Giacomo Bonanno
Semantic structures for one-stage and iterated belief revision
10.4230/DagSemProc.07351.20
-
Dongmo Zhang
The Logic of Bargaining
10.4230/DagSemProc.07351.21
-
Hans Rott
Two-Dimensional Belief Change
10.4230/DagSemProc.07351.22