GENERAL ENQUIRIES: Tel: + 27 12 841 2911 | Email: callcentre@csir.co.za

Browsing by Author "Booth, R"

Sort by: Order: Results:

  • Booth, R; Meyer, T (2008-09)
    In studies of multi-agent interaction, especially in game theory, the notion of equilibrium often plays a prominent role. A typical scenario for the belief merging problem is one in which several agents pool their beliefs ...
  • Booth, R; Meyer, T (Springer Verlag (Germany), 2010-08)
    In studies of multi-agent interaction, especially in game theory, the notion of equilibrium often plays a prominent role. A typical scenario for the belief merging problem is one in which several agents pool their beliefs ...
  • Booth, R; Meyer, T; Sombattheera, C (Springer, 2012-05)
    Most belief change operators in the AGM tradition assume an underlying plausibility ordering over the possible worlds which is transitive and complete. A unifying structure for these operators, based on supplementing the ...
  • Booth, R; Meyer, T; Sombattheera, C (2009-07)
    Most belief change operators in the AGM tradition assume an underlying plausibility ordering over the possible worlds which is transitive and complete. A unifying structure for these operators, based on supplementing the ...
  • Booth, R; Meyer, T; Sombattheera, C (Springer Berlin, 2009-09)
    Most belief change operators in the AGM tradition assume an underlying plausibility ordering over the possible worlds which is transitive and complete. A unifying structure for these operators, based on supplementing the ...
  • Booth, R; Meyer, T; Varzinczak, I; Wassermann, R (2010-08)
    The authors show that Booth et al.’s Horn contraction based on infra-remainder sets corresponds exactly to kernel contraction for belief sets. This result is obtained via a detour through Horn contraction for belief bases, ...
  • Booth, R; Meyer, T (Springer, 2011-02)
    Most approaches to iterated belief revision are accompanied by some motivation for the use of the proposed revision operator (or family of operators), and typically encode enough information in the epistemic state of an ...
  • Booth, R; Meyer, T; Varzinczak, IJ (2009-06)
    Standard belief contraction assumes an underlying logic containing full classical propositional logic, but there are good reasons for considering contraction in less expressive logics. In this paper, researchers focus on ...
  • Booth, R; Casini, G; Meyer, T; Varzinczak, I (AAAI Press, 2015-07)
    Propositional Typicality Logic (PTL) is a recently proposed logic, obtained by enriching classical propositional logic with a typicality operator. In spite of the non-monotonic features introduced by the semantics adopted ...
  • Booth, R; Meyer, T; Varzinczak, I; Wassermann, R (Association for the Advancement of Artificial Intelligence, 2011-09)
    Standard belief change assumes an underlying logic containing full classical propositional logic. However, there are good reasons for considering belief change in less expressive logics as well. In this paper the authors ...
  • Booth, R; Meyer, T; Varzinczak, I (King's College Publications, 2013-08)
    We introduce Propositional Typicality Logic (PTL), a logic for reasoning about typicality. We do so by enriching classical propositional logic with a typicality operator of which the intuition is to capture the most typical ...
  • Booth, R; Meyer, T; Varzinczak, I (Springer, 2012-09)
    We introduce Propositional Typicality Logic (PTL), a logic for reasoning about typicality. We do so by enriching classical propositional logic with a typicality operator of which the intuition is to capture the most typical ...
  • Booth, R; Casini, G; Meyer, T; Varzinczak, I (Commonsense Reasoning, 2015-03)
    We continue recent investigations into the problem of reasoning about typicality. We do so in the framework of Propositional Typicality Logic (PTL), which is obtained by enriching classical propositional logic with a ...