A Conditional Constructive Logic for Access Control and Its Sequent Calculus

A Hybrid Approach to the Verification of Computer Interpretable Guidelines

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}}$

Adopting model checking techniques for clinical guidelines verification

scientific article published on 27 October 2009

Advances in the GINSENG Project

Analytic Tableaux for KLM Preferential and Cumulative Logics

Analytic tableaux calculi for KLM logics of nonmonotonic reasoning

Business Process Compliance Verification: An Annotation Based Approach with Commitments

Business process verification with constraint temporal answer set programming

Conditional logic of actions and causation

Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology

Encoding a Preferential Extension of the Description Logic SROIQ into SROIQ

Extending Horn clause logic with implication goals

Extending negation as failure by abduction: A three-valued stable model semantics

From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics and Back ⬇️

scientific paper published in CEUR-WS Volume 3197

Knowledge Representation and Non-monotonic Reasoning

On cumulative default logics

PreDeLo 1.0: A Theorem Prover for Preferential Description Logics

Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results

Reasoning About Web Services in a Temporal Action Logic

Reasoning about Typicality in Preferential Description Logics

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

Reasoning about actions with Temporal Answer Sets

Specialization of Interaction Protocols in a Temporal Action Logic

Specifying and verifying interaction protocols in a temporal action logic

article published in 2007

Structuring logic programs: a modal approach

Tableau calculus for preference-based conditional logics

Tableau-based automata construction for dynamic linear time temporal logic*

Temporal deontic action logic for the verification of compliance to norms in ASP

Verifying Agents’ Conformance with Multiparty Protocols

Verifying Business Process Compliance by Reasoning about Actions

Weak AGM postulates and strong Ramsey Test: A logical formalization

article