| Publication | Date of Publication | Type |
|---|
Two semantic interpretations of probabilities in description logics of typicality
Logic Journal of the IGPL | 2026-04-02 | Paper |
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 |
Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics
Journal of Logic and Computation | 2025-04-03 | Paper |
| Learning typicality inclusions in a probabilistic description logic for concept combination | 2025-02-28 | Paper |
A description logic of typicality for conceptual combination
Lecture Notes in Computer Science | 2023-08-02 | Paper |
HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description)
Automated Reasoning | 2022-11-09 | Paper |
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning
Journal Of Logic And Computation | 2022-03-09 | Paper |
Reasoning about surprising scenarios in description logics of typicality
AI*IA 2016 Advances in Artificial Intelligence | 2020-02-10 | Paper |
A multi-engine theorem prover for a description logic of typicality
Lecture Notes in Computer Science | 2020-02-10 | Paper |
Typicalities and probabilities of exceptions in nonmotonic description logics
International Journal of Approximate Reasoning | 2019-10-18 | Paper |
Revision of ontologies to accommodate exceptions: a typicality-based approach
Fundamenta Informaticae | 2018-10-02 | Paper |
| Hypersequent calculi for Lewis' conditional logics with uniformity and reflexivity | 2018-02-02 | Paper |
| VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning | 2018-02-02 | Paper |
| Reasoning in description logics with typicalities and probabilities of exceptions | 2017-09-05 | Paper |
A sequent calculus and a theorem prover for standard conditional logics
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Standard sequent calculi for Lewis' logics of counterfactuals
Logics in Artificial Intelligence | 2016-11-30 | Paper |
CSL-\textsf{lean}: a theorem-prover for the logic of comparative concept similarity
Electronic Notes in Theoretical Computer Science | 2016-08-05 | Paper |
Nested sequent calculi for normal conditional logics
Journal of Logic and Computation | 2016-04-28 | Paper |
Semantic characterization of rational closure: from propositional logic to description logics
Artificial Intelligence | 2015-12-18 | Paper |
A standard internal calculus for Lewis' counterfactual logics
Lecture Notes in Computer Science | 2015-12-11 | Paper |
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
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 |
NESCOND: an implementation of nested sequent calculi for conditional logics
Automated Reasoning | 2014-09-26 | Paper |
A non-monotonic description logic for reasoning about typicality
Artificial Intelligence | 2013-08-26 | Paper |
Nested sequent calculi for conditional logics
Logics in Artificial Intelligence | 2012-09-21 | 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 |
| Conditional and preferential logics. Proof methods and theorem proving. | 2010-05-31 | Paper |
CondLean: a theorem prover for 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 |
Theorem proving for conditional logics: CondLean and GOALD<i>U</i>CK
Journal of Applied Non-Classical Logics | 2009-11-11 | 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 |
Automated Reasoning with Analytic Tableaux and Related Methods
Lecture Notes in Computer Science | 2006-07-07 | Paper |
