@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}
}
@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}
}
@InProceedings{segerberg:DagSemProc.07351.3,
  author =	{Segerberg, Krister},
  title =	{{A blueprint for deontic logic in three (not necessarily easy) steps}},
  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.3},
  URN =		{urn:nbn:de:0030-drops-12187},
  doi =		{10.4230/DagSemProc.07351.3},
  annote =	{Keywords: Belief change, norm change, Dynamic Doxastic Logic, Dynamic Deontic Logic}
}
@InProceedings{kernisberner:DagSemProc.07351.4,
  author =	{Kern-Isberner, Gabriele},
  title =	{{A conceptual framework for (iterated) revision, update, and nonmonotonic reasoning}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  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.4},
  URN =		{urn:nbn:de:0030-drops-12082},
  doi =		{10.4230/DagSemProc.07351.4},
  annote =	{Keywords: Belief revision, belief update, nonmonotonic inference, epistemic states, conditionals}
}
@InProceedings{aucher:DagSemProc.07351.5,
  author =	{Aucher, Guillaume},
  title =	{{A logical formalism for the subjective approach in a multi-agent setting}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  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.5},
  URN =		{urn:nbn:de:0030-drops-12002},
  doi =		{10.4230/DagSemProc.07351.5},
  annote =	{Keywords: Epistemic logic, multi-agent system}
}
@InProceedings{nittka_et_al:DagSemProc.07351.6,
  author =	{Nittka, Alexander and Booth, Richard},
  title =	{{A Method for Reasoning about other Agents' Beliefs from Observations}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--5},
  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.6},
  URN =		{urn:nbn:de:0030-drops-12148},
  doi =		{10.4230/DagSemProc.07351.6},
  annote =	{Keywords: Belief revision, iterated revision, non-prioritised revision, non-monotonic reasoning, rational closure, rational explanation}
}
@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}
}
@InProceedings{gabbay_et_al:DagSemProc.07351.8,
  author =	{Gabbay, Dov and Pigozzi, Gabriella and Rodrigues, Odinaldo},
  title =	{{Common Foundations for belief revision, belief merging and voting}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--16},
  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.8},
  URN =		{urn:nbn:de:0030-drops-12172},
  doi =		{10.4230/DagSemProc.07351.8},
  annote =	{Keywords: Belief revision, belief merging, voting, social choice theory}
}
@InProceedings{peppas_et_al:DagSemProc.07351.9,
  author =	{Peppas, Pavlos and Chopra, Samir and Foo, Norman},
  title =	{{Distance Semantics for Relevance-Sensitive Belief Revision}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--9},
  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.9},
  URN =		{urn:nbn:de:0030-drops-12159},
  doi =		{10.4230/DagSemProc.07351.9},
  annote =	{Keywords: Belief Revision, System of Spheres.}
}
@InProceedings{shapiro_et_al:DagSemProc.07351.10,
  author =	{Shapiro, Steven and Brewka, Gerhard},
  title =	{{Dynamic Interactions Between Goals and Beliefs}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--9},
  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.10},
  URN =		{urn:nbn:de:0030-drops-11995},
  doi =		{10.4230/DagSemProc.07351.10},
  annote =	{Keywords: Goal Change, Belief Change, Situation Calculus}
}
@InProceedings{bochman:DagSemProc.07351.11,
  author =	{Bochman, Alexander},
  title =	{{Enhanced Contraction and (In)dependence Preliminary report}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--4},
  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.11},
  URN =		{urn:nbn:de:0030-drops-12049},
  doi =		{10.4230/DagSemProc.07351.11},
  annote =	{Keywords: Contractions, dependence}
}
@InProceedings{nayak_et_al:DagSemProc.07351.12,
  author =	{Nayak, Abhaya and Chen, Yin and Lin, Fangzhen},
  title =	{{Forgetting and Update – an exploration}},
  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.12},
  URN =		{urn:nbn:de:0030-drops-12131},
  doi =		{10.4230/DagSemProc.07351.12},
  annote =	{Keywords: Knowledge Update, Erasure, Forgetting, Dalal Distance, Winslett Distance.}
}
@InProceedings{lang_et_al:DagSemProc.07351.13,
  author =	{Lang, J\'{e}r\^{o}me and van der Torre, Leendert},
  title =	{{From belief change to preference change}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--8},
  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.13},
  URN =		{urn:nbn:de:0030-drops-12099},
  doi =		{10.4230/DagSemProc.07351.13},
  annote =	{Keywords: Beliefs, preferences, decision making, agents, preference revision}
}
@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}
}
@InProceedings{vanditmarsch_et_al:DagSemProc.07351.15,
  author =	{van Ditmarsch, Hans and Herzig, Andreas and de Lima, Tiago},
  title =	{{Optimal Regression for Reasoning about Knowledge and Actions}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--22},
  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.15},
  URN =		{urn:nbn:de:0030-drops-12077},
  doi =		{10.4230/DagSemProc.07351.15},
  annote =	{Keywords: Reasoning about action and change, reasoning about knowledge, situation calculus, frame problem, dynamic epistemic logic}
}
@InProceedings{pigozzi_et_al:DagSemProc.07351.16,
  author =	{Pigozzi, Gabriella and van der Torre, Leendert},
  title =	{{Premise Independence in Judgment Aggregation}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--8},
  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.16},
  URN =		{urn:nbn:de:0030-drops-12161},
  doi =		{10.4230/DagSemProc.07351.16},
  annote =	{Keywords: Judgment aggregation, social choice theory}
}
@InProceedings{levi:DagSemProc.07351.17,
  author =	{Levi, Isaac},
  title =	{{Probability Logic and Logical Probability}},
  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.17},
  URN =		{urn:nbn:de:0030-drops-12105},
  doi =		{10.4230/DagSemProc.07351.17},
  annote =	{Keywords: Probability, full belief, logic, evidence}
}
@InProceedings{makinson:DagSemProc.07351.18,
  author =	{Makinson, David},
  title =	{{Propositional Relevance through Letter-Sharing: Review and Contribution}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--13},
  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.18},
  URN =		{urn:nbn:de:0030-drops-12124},
  doi =		{10.4230/DagSemProc.07351.18},
  annote =	{Keywords: Belief change, relevance, letter-sharing, splitting}
}
@InProceedings{weydert:DagSemProc.07351.19,
  author =	{Weydert, Emil},
  title =	{{Ranking Revision Reloaded}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--7},
  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.19},
  URN =		{urn:nbn:de:0030-drops-12020},
  doi =		{10.4230/DagSemProc.07351.19},
  annote =	{Keywords: Ranking measures, iterated belief revision}
}
@InProceedings{bonanno:DagSemProc.07351.20,
  author =	{Bonanno, Giacomo},
  title =	{{Semantic structures for one-stage and iterated belief revision}},
  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.20},
  URN =		{urn:nbn:de:0030-drops-12052},
  doi =		{10.4230/DagSemProc.07351.20},
  annote =	{Keywords: Iterated belief revision, choice functions, Kripke semantics, branching time, modal logic}
}
@InProceedings{zhang:DagSemProc.07351.21,
  author =	{Zhang, Dongmo},
  title =	{{The Logic of Bargaining}},
  booktitle =	{Formal Models of Belief Change in Rational Agents},
  pages =	{1--34},
  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.21},
  URN =		{urn:nbn:de:0030-drops-12031},
  doi =		{10.4230/DagSemProc.07351.21},
  annote =	{Keywords: Bargaining theory, belief revision, game theory}
}
@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}
}