@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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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-dev.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}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing