Author:Casini, G; Straccia, UDate:2013Defeasible inheritance networks are a non-monotonic framework that deals with hierarchical knowledge. On the other hand, rational closure is acknowledged as a landmark of the preferential approach to non-monotonic reasoning. We will combine ...Read more
Author:Rens, G; Meyer, T; Casini, GDate:Aug 2016We propose a method for an agent to revise its incomplete probabilistic beliefs when a new piece of propositional information is observed. In this work, an agent’s beliefs are represented by a set of probabilistic formulae – a belief base. ...Read more
Author:Casini, G; Straccia, U; Meyer, Thomas ADate:Sep 2018Description 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 problem under RC for nominal safe ELO , a notable and practically ...Read more