HTML Export for Dagstuhl Seminar Proceedings, Volume 7351

Copy to Clipboard Download

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

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