research
∙
02/15/2022
A General Framework for Modelling Conditional Reasoning – Preliminary Report
We introduce and investigate here a formalisation for conditionals that ...
share
research
∙
09/03/2021
Situated Conditional Reasoning
Conditionals are useful for modelling, but are not always sufficiently e...
research
∙
06/28/2021
A Rational Entailment for Expressive Description Logics via Description Logic Programs
Lehmann and Magidor's rational closure is acknowledged as a landmark in ...
research
∙
07/15/2020
Defeasible RDFS via Rational Closure
In the field of non-monotonic logics, the notion of Rational Closure (RC...
research
∙
04/16/2019
Theoretical Foundations of Defeasible Description Logics
We extend description logics (DLs) with non-monotonic reasoning features...
research
∙
09/28/2018
On Rational Entailment for Propositional Typicality Logic
Propositional Typicality Logic (PTL) is a recently proposed logic, obtai...
research
∙
02/22/2018
A Polynomial Time Subsumption Algorithm for Nominal Safe ELO_ under Rational Closure
Description Logics (DLs) under Rational Closure (RC) is a well-known fra...
research
∙
04/07/2016
