44 citations · 132 across the 13 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.AI2018★ 15 cited
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…
cs.AI2018★ 32 cited
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…