38 citations · 49 across the 3 of their papers we have counts for
4 papers
Defeasible Reasoning in SROEL: from Rational Entailment to Rational Closure
Laura Giordano, Daniele Theseider Dupré
In this work we study a rational extension of the low complexity description logic SROEL, which underlies the OWL EL ontology language. The extension involves a typical…
ASP for Minimal Entailment in a Rational Extension of SROEL
Laura Giordano, Daniele Theseider Dupré
In this paper we exploit Answer Set Programming (ASP) for reasoning in a rational extension SROEL-R-T of the low complexity description logic SROEL, which underlies the OWL EL onto…
Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board
L. Console, C. Picardi, D. Theseider Duprè
The automatic generation of decision trees based on off-line reasoning on models of a domain is a reasonable compromise between the advantages of using a model-based approach in te…
Abductive and Consistency-Based Diagnosis Revisited: a Modeling Perspective
Daniele Theseider Dupre'
Diagnostic reasoning has been characterized logically as consistency-based reasoning or abductive reasoning. Previous analyses in the literature have shown, on the one hand, that c…