56 citations · 123 across the 12 of their papers we have counts for
12 papers · 1 filter
Situated Conditional Reasoning
Giovanni Casini, Thomas Meyer, Ivan Varzinczak
Conditionals are useful for modelling, but are not always sufficiently expressive for capturing information accurately. In this paper we make the case for a form of conditional tha…
Theoretical Foundations of Defeasible Description Logics
Katarina Britz, Giovanni Casini, Thomas Meyer +3
We extend description logics (DLs) with non-monotonic reasoning features. We start by investigating a notion of defeasible subsumption in the spirit of defeasible conditionals as s…
On Rational Entailment for Propositional Typicality Logic
Richard Booth, Giovanni Casini, Thomas Meyer +1
Propositional Typicality Logic (PTL) is a recently proposed logic, obtained by enriching classical propositional logic with a typicality operator capturing the most typical (alias…
Maximizing Expected Impact in an Agent Reputation Network -- Technical Report
Gavin Rens, Abhaya Nayak, Thomas Meyer
Many multi-agent systems (MASs) are situated in stochastic environments. Some such systems that are based on the partially observable Markov decision process (POMDP) do not take th…
A Polynomial Time Subsumption Algorithm for Nominal Safe under Rational Closure
Giovanni Casini, Umberto Straccia, Thomas Meyer
Description Logics (DLs) under Rational Closure (RC) is a well-known framework for non-monotonic reasoning in DLs. In this paper, we address the concept subsumption decision proble…
Imagining Probabilistic Belief Change as Imaging (Technical Report)
Gavin Rens, Thomas Meyer
Imaging is a form of probabilistic belief change which could be employed for both revision and update. In this paper, we propose a new framework for probabilistic belief change bas…