ResearchTrend.AI
  • Communities
  • Connect sessions
  • AI calendar
  • Organizations
  • Join Slack
  • Contact Sales
Papers
Communities
Social Events
Terms and Conditions
Pricing
Contact Sales
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2026 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1802.08201
  4. Cited By
A Polynomial Time Subsumption Algorithm for Nominal Safe
  $\mathcal{ELO}_\bot$ under Rational Closure
v1v2 (latest)

A Polynomial Time Subsumption Algorithm for Nominal Safe ELO⊥\mathcal{ELO}_\botELO⊥​ under Rational Closure

22 February 2018
Giovanni Casini
U. Straccia
T. Meyer
ArXiv (abs)PDFHTML

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

16 / 16 papers shown
A preferential interpretation of MultiLayer Perceptrons in a conditional
  logic with typicality
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicalityInternational Journal of Approximate Reasoning (IJAR), 2023
Mario Alviano
Francesco Bartoli
Marco Botta
Roberto Esposito
Laura Giordano
Daniele Theseider Dupré
378
12
0
29 Apr 2023
From Weighted Conditionals of Multilayer Perceptrons to Gradual
  Argumentation and Back
From Weighted Conditionals of Multilayer Perceptrons to Gradual Argumentation and Back
Laura Giordano
AI4CE
279
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é
182
7
0
17 Sep 2021
Reasoning on $\textit{DL-Lite}_{\cal R}$ with Defeasibility in ASP
Reasoning on DL-LiteR\textit{DL-Lite}_{\cal R}DL-LiteR​ with Defeasibility in ASPTheory and Practice of Logic Programming (TPLP), 2021
Loris Bozzato
Thomas Eiter
Luciano Serafini
LRM
201
2
0
28 Jun 2021
A Rational Entailment for Expressive Description Logics via Description
  Logic Programs
A Rational Entailment for Expressive Description Logics via Description Logic Programs
Giovanni Casini
U. Straccia
151
2
0
28 Jun 2021
On the KLM properties of a fuzzy DL with Typicality
On the KLM properties of a fuzzy DL with TypicalityEuropean Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU), 2021
Laura Giordano
358
21
0
01 Jun 2021
A conditional, a fuzzy and a probabilistic interpretation of
  self-organising maps
A conditional, a fuzzy and a probabilistic interpretation of self-organising mapsJournal of Logic and Computation (J. Log. Comput.), 2021
Laura Giordano
Valentina Gliozzi
Daniele Theseider Dupré
AI4CE
341
24
0
11 Mar 2021
Weighted defeasible knowledge bases and a multipreference semantics for
  a deep neural network model
Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network modelEuropean Conference on Logics in Artificial Intelligence (JELIA), 2020
Laura Giordano
Daniele Theseider Dupré
288
38
0
24 Dec 2020
Defeasible reasoning in Description Logics: an overview on DL^N
Defeasible reasoning in Description Logics: an overview on DL^NApplications and Practices in Ontology Design, Extraction, and Reasoning (PODER), 2020
P. Bonatti
I. Petrova
L. Sauro
109
3
0
10 Sep 2020
A framework for a modular multi-concept lexicographic closure semantics
A framework for a modular multi-concept lexicographic closure semanticsItalian Conference on Computational Logic (CILC), 2020
Laura Giordano
Daniele Theseider Dupré
KELM
297
8
0
02 Sep 2020
Defeasible RDFS via Rational Closure
Defeasible RDFS via Rational ClosureInformation Sciences (Inf. Sci.), 2020
Giovanni Casini
U. Straccia
AI4CE
146
5
0
15 Jul 2020
An ASP approach for reasoning in a concept-aware multipreferential
  lightweight DL
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
Laura Giordano
Daniele Theseider Dupré
167
39
0
08 Jun 2020
Reasoning about Typicality and Probabilities in Preferential Description
  Logics
Reasoning about Typicality and Probabilities in Preferential Description LogicsApplications and Practices in Ontology Design, Extraction, and Reasoning (PODER), 2020
Laura Giordano
Valentina Gliozzi
Antonio Lieto
Nicola Olivetto
G. Pozzato
180
8
0
20 Apr 2020
Theoretical Foundations of Defeasible Description Logics
Theoretical Foundations of Defeasible Description Logics
K. Britz
Giovanni Casini
T. Meyer
Kodylan Moodley
U. Sattler
I. Varzinczak
AI4CE
146
5
0
16 Apr 2019
On Rational Entailment for Propositional Typicality Logic
On Rational Entailment for Propositional Typicality LogicArtificial Intelligence (AI), 2018
Richard Booth
Giovanni Casini
T. Meyer
I. Varzinczak
132
29
0
28 Sep 2018
Reasoning about exceptions in ontologies: from the lexicographic closure
  to the skeptical closure
Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure
Laura Giordano
Valentina Gliozzi
LRM
139
10
0
08 Jul 2018
1
Page 1 of 1