| From Weighted Conditionals of Multilayer Perceptrons to a Gradual Argumentation Semantics. | 0 | 0.34 | 2021 |
| Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract). | 0 | 0.34 | 2021 |
| A Framework for a Modular Multi-Concept Lexicographic Closure Semantics (an abridged report). | 0 | 0.34 | 2021 |
| Reasoning About Exceptions in Ontologies - An Approximation of the Multipreference Semantics. | 0 | 0.34 | 2019 |
| ASP and Ontologies for Reasoning on Business Processes. | 0 | 0.34 | 2019 |
| Rational Closure in SHIQ. | 6 | 0.46 | 2014 |
| A Semantics for Rational Closure: Preliminary Results. | 0 | 0.34 | 2013 |
| Minimal Model Semantics and Rational Closure in Description Logics. | 13 | 0.66 | 2013 |
| On Rational Closure in Description Logics of Typicality | 0 | 0.34 | 2013 |
| PreDeLo 1.0: A Theorem Prover for Preferential Description Logics. | 3 | 0.39 | 2013 |
| A Modal Reconstruction of Rational Closure. | 0 | 0.34 | 2012 |
| Verifying Compliance of Business Processes with Temporal Answer Sets. | 1 | 0.38 | 2011 |
| A Tableau Calculus for a Nonmonotonic Extension of EL^\mathcal{EL}^\bot. | 0 | 0.34 | 2011 |
| Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods. | 0 | 0.34 | 2011 |
| A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $\mbox{\em DL-Lite}_{\mathit{core}}$. | 5 | 0.47 | 2011 |
| A Constructive Conditional Logic for Access Control. | 0 | 0.34 | 2010 |
| Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment. | 1 | 0.37 | 2010 |
| Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T | 1 | 0.37 | 2009 |
| A Temporal Approach to the Specification and Verification of Interaction Protocols | 1 | 0.38 | 2005 |
| Reasoning about Actions in a Multiagent Domain | 1 | 0.36 | 2001 |
| Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases | 0 | 0.34 | 1997 |
| Extending negation as failure by abduction: A three-valued stable model semantics | 6 | 0.43 | 1996 |
| An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming | 13 | 0.70 | 1996 |
| An Abductive Proof Procedure for Conditional Logic Programming | 2 | 0.38 | 1996 |
| Translating a Modal Language with Embedded Implication into Horn Clause Logic | 8 | 0.55 | 1996 |
| Three-Valued Semantics for Extended Logic Programs | 0 | 0.34 | 1995 |
| Structured Prolog: A Language for Structured Logic Programming | 5 | 0.94 | 1994 |
| Defining Variants of Default Logic: a Modal Approach | 2 | 0.48 | 1993 |
| A Semantics for Eshghi and Kowalski's Procedure | 0 | 0.34 | 1993 |
| A Modal Framework for Structured Logic Programs | 0 | 0.34 | 1992 |
| A Modal Reconstruction Of Blocks And Modules In Logic Programming | 17 | 0.91 | 1991 |
| Generalized stable models, truth maintenance and conflict resolution | 19 | 1.43 | 1990 |
| Local Definitions with Static Scope Rules in Logic Programming | 11 | 1.91 | 1988 |
