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

Browsing by Author "Casini, G"

Sort by: Order: Results:

  • Casini, G; Straccia, U (Association for the Advancement of Artificial Intelligence, 2013)
    Defeasible 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. ...
  • Casini, G; Meyer, T; Moodley, K; Sattler, U; Varzinczak, I (Springer International Publishing, 2015-10)
    In recent years, various approaches have been developed for representing and reasoning with exceptions in OWL. The price one pays for such capabilities, in terms of practical performance, is an important factor that is yet ...
  • Casini, G; Mosca, A (Springer, 2013-06)
    The Object Role Modeling language (ORM2) is nowadays the most widespread fact-based conceptual modeling language in the business world. Recently, it has been proposed an encoding of the core fragment of ORM2 (called ORM2zero) ...
  • Casini, G; Meyer, T; Moodley, K; Varzinczak, I (CAIR (Centre for Artificial Intelligence Research), 2013-07)
    The introduction of defeasible reasoning in Description Logics has been a main research topic in the field in the last years. Despite the fact that various interesting formalizations of nonmonotonic reasoning for the TBox ...
  • Casini, G; Gerber, A; Meyer, T (ACM, 2012-10)
    Conceptual modeling is nowadays mostly done using languages such as Entity-Relationship (ER) Models, Unified Modeling Language (UML), and Object-Role Modeling (ORM). These models are used to depict the ontological organization ...
  • Rens, G; Meyer, T; Casini, G (IOS Press, 2016-08)
    We 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 ...
  • 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 ...
  • Casini, G (2012-06)
    In recent years disciplines such as psychology, cognitive sciences and philosophy of mind have proposed alternative models to the classical view of conceptualization, that is traditionally centered on the role of definitions. ...
  • Britz, K; Casini, G; Meyer, T; Varzinczak, I (CAIR (Centre for Artificial Intelligence Research), 2013-07)
    We extend the Description Logic ALC with preferential role restrictions as class constructs, and argue that preferential universal restriction represents a defeasible version of standard universal restriction. The resulting ...
  • Casini, G; Meyer, T; Moodley, K; Nortjé, R (Springer International Publishing, 2014-09)
    Among the various proposals for defeasible reasoning for description logics, Rational Closure, a procedure originally defined for propositional logic, turns out to have a number of desirable properties. Not only it is ...
  • Rens, G; Meyer, T; Casini, G (Association for the Advancement of Artificial Intelligence, 2016-04)
    We 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 ...
  • Casini, G; Meyer, T; Moodley, K; Varzinczak, I (Centre for Artificial Intelligence Research, 2013-07)
    The formalisation of defeasible reasoning in automated systems is becoming increasingly important. Description Logics (DLs) are nowadays the main logical formalism in the field of formal ontologies. Our focus in this paper ...
  • Casini, G; Straccia, U (Springer Verlag, 2013-12)
    In the field of non-monotonic logics, the notion of rational closure is acknowledged as a landmark and we are going to see whether such a construction can be adopted in the context of mathematical fuzzy logic, a so far ...
  • 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 ...