A Conditional Constructive Logic for Access Control and Its Sequent Calculus

A Minimal Model Semantics for Nonmonotonic Reasoning

A Multi-engine Theorem Prover for a Description Logic of Typicality

article published in 2015

A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$

A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $\mbox{\em DL-Lite}_{\mathit{core}}$

Analytic Tableaux for KLM Preferential and Cumulative Logics

Analytic tableaux calculi for KLM logics of nonmonotonic reasoning

Encoding a Preferential Extension of the Description Logic SROIQ into SROIQ

Infant categorization as a dynamic process linked to memory

artículo científico publicado en 2020

Labels as features (not names) for infant categorization: a neurocomputational approach.

artículo científico publicado en 2009

PreDeLo 1.0: A Theorem Prover for Preferential Description Logics

Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results

Reasoning about Typicality in Preferential Description Logics

Reasoning about Typicality with Low Complexity Description Logics: The Logic $\mathcal{EL}^{+^\bot}{\bf T}$

Tableau calculus for preference-based conditional logics

Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract) ⬇️

artículo científico publicado en 2022

Verifying Business Process Compliance by Reasoning about Actions

Weak AGM postulates and strong Ramsey Test: A logical formalization

article