| Publication | Date of Publication | Type |
|---|
Learning typicality inclusions in a probabilistic description logic for concept combination and an application for recommending musical contents
Journal of Logic and Computation | 2026-03-05 | Paper |
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps
Journal Of Logic And Computation | 2022-03-09 | Paper |
A reconstruction of multipreference closure
Artificial Intelligence | 2021-08-16 | Paper |
Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure
Fundamenta Informaticae | 2021-05-20 | Paper |
| Reasoning about exceptions in ontologies: an approximation of the multipreference semantics | 2020-02-20 | Paper |
A multi-engine theorem prover for a description logic of typicality
Lecture Notes in Computer Science | 2020-02-10 | Paper |
Reasoning about Multiple Aspects in Rational Closure for DLs
AI*IA 2016 Advances in Artificial Intelligence | 2020-02-10 | Paper |
Towards a Rational Closure for Expressive Description Logics: the Case of 𝒮𝒽𝒾𝓆
Fundamenta Informaticae | 2018-05-03 | Paper |
Semantic characterization of rational closure: from propositional logic to description logics
Artificial Intelligence | 2015-12-18 | Paper |
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Tableau calculus for preference-based conditional logics, PCL and its extensions
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Logics in access control: a conditional approach
Journal Of Logic And Computation | 2015-01-12 | Paper |
A non-monotonic description logic for reasoning about typicality
Artificial Intelligence | 2013-08-26 | Paper |
A Minimal Model Semantics for Nonmonotonic Reasoning
Logics in Artificial Intelligence | 2012-09-21 | Paper |
A conditional constructive logic for access control and its sequent calculus
Lecture Notes in Computer Science | 2011-07-01 | Paper |
A tableau calculus for a nonmonotonic extension of \(\mathcal{EL}^\bot\)
Lecture Notes in Computer Science | 2011-07-01 | Paper |
A nonmonotonic extension of KLM preferential logic P
Logic for Programming, Artificial Intelligence, and Reasoning | 2010-10-12 | Paper |
Verifying business process compliance by reasoning about actions
Lecture Notes in Computer Science | 2010-08-24 | Paper |
Tableau calculi for preference-based conditional logics
Lecture Notes in Computer Science | 2010-03-09 | Paper |
\({\mathcal{ALC}}+T\): a preferential extension of description logics
Fundamenta Informaticae | 2010-02-05 | Paper |
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
Analytic Tableau Calculi for KLM Rational Logic R
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Reasoning about Typicality in Preferential Description Logics
Logics in Artificial Intelligence | 2008-10-27 | Paper |
Analytic Tableaux for KLM Preferential and Cumulative Logics
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Preferential Description Logics
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-15 | Paper |
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2008-01-04 | Paper |
Weak AGM postulates and strong Ramsey test: A logical formalization
Artificial Intelligence | 2007-10-23 | Paper |
| scientific article; zbMATH DE number 1884356 (Why is no real title available?) | 2003-03-18 | Paper |
Iterated belief revision and conditional logic
Studia Logica | 2002-06-24 | Paper |
| scientific article; zbMATH DE number 1301760 (Why is no real title available?) | 2000-01-12 | Paper |
