$A Polynomial Time Subsumption Algorithm for Nominal Safe $\mathcal{ELO}_\bot$ under Rational Closure$

v1v2 (latest)

A Polynomial Time Subsumption Algorithm for Nominal Safe $\mathcal{ELO}_\bot$ under Rational Closure

22 February 2018

Giovanni Casini

ArXiv (abs)PDF HTML

Papers citing "A Polynomial Time Subsumption Algorithm for Nominal Safe $\mathcal{ELO}_\bot$ under Rational Closure"

16 / 16 papers shown

Title
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality Mario Alviano Francesco Bartoli Marco Botta Roberto Esposito Laura Giordano Daniele Theseider Dupré 85 8 0 29 Apr 2023
From Weighted Conditionals of Multilayer Perceptrons to Gradual Argumentation and Back Laura Giordano AI4CE 94 2 0 07 Oct 2021
$Weighted Conditional EL{^}bot Knowledge Bases with Integer Weights: an ASP Approach$ Weighted Conditional EL{^}bot Knowledge Bases with Integer Weights: an ASP Approach Laura Giordano Daniele Theseider Dupré 59 7 0 17 Sep 2021
$Reasoning on $\textit{DL-Lite}_{\cal R}$ with Defeasibility in ASP$ Reasoning on $\textit{DL-Lite}_{\cal R}$ with Defeasibility in ASP Loris Bozzato Thomas Eiter Luciano Serafini LRM 24 2 0 28 Jun 2021
A Rational Entailment for Expressive Description Logics via Description Logic Programs Giovanni Casini U. Straccia 21 1 0 28 Jun 2021
On the KLM properties of a fuzzy DL with Typicality Laura Giordano 84 20 0 01 Jun 2021
A conditional, a fuzzy and a probabilistic interpretation of self-organising maps Laura Giordano Valentina Gliozzi Daniele Theseider Dupré AI4CE 70 23 0 11 Mar 2021
Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model Laura Giordano Daniele Theseider Dupré 73 35 0 24 Dec 2020
Defeasible reasoning in Description Logics: an overview on DL^N P. Bonatti I. Petrova L. Sauro 28 3 0 10 Sep 2020
A framework for a modular multi-concept lexicographic closure semantics Laura Giordano Daniele Theseider Dupré KELM 61 7 0 02 Sep 2020
Defeasible RDFS via Rational Closure Giovanni Casini U. Straccia AI4CE 6 4 0 15 Jul 2020
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL Laura Giordano Daniele Theseider Dupré 28 35 0 08 Jun 2020
Reasoning about Typicality and Probabilities in Preferential Description Logics Laura Giordano Valentina Gliozzi Antonio Lieto Nicola Olivetto G. Pozzato 16 7 0 20 Apr 2020
Theoretical Foundations of Defeasible Description Logics K. Britz Giovanni Casini T. Meyer Kodylan Moodley U. Sattler I. Varzinczak AI4CE 21 5 0 16 Apr 2019
On Rational Entailment for Propositional Typicality Logic Richard Booth Giovanni Casini T. Meyer I. Varzinczak 31 25 0 28 Sep 2018
Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure Laura Giordano Valentina Gliozzi LRM 25 8 0 08 Jul 2018