Dagstuhl Seminar Proceedings 07351

Formal Models of Belief Change in Rational Agents

G. Bonanno, J. Delgrande, J. Lang, H. Rott (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 07351, 26.08. - 30.08.2007
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Aucher, Guillaume
  • Bochman, Alexander
  • Bonanno, Giacomo
  • Booth, Richard
  • Brewka, Gerhard
  • Chen, Yin
  • Chopra, Samir
  • Delgrande, James
  • de Lima, Tiago
  • Foo, Norman
  • Gabbay, Dov
  • Herzig, Andreas
  • Hunter, Aaron
  • Kern-Isberner, Gabriele
  • Lang, Jérôme
  • Levi, Isaac
  • Lin, Fangzhen
  • Makinson, David
  • Nayak, Abhaya
  • Nittka, Alexander
  • Peppas, Pavlos
  • Pigozzi, Gabriella
  • Rodrigues, Odinaldo
  • Rott, Hans
  • Segerberg, Krister
  • Shapiro, Steven
  • Spohn, Wolfgang
  • van der Torre, Leendert
  • van Ditmarsch, Hans
  • Weydert, Emil
  • Zhang, Dongmo

  •   
    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
    Published by LZI