The following pages link to Laura Giordano (Q596474):
Displayed 17 items.
- (Q4799257) (← links)
- (Q4799264) (← links)
- (Q4893673) (← links)
- A Nonmonotonic Extension of KLM Preferential Logic P (Q4933314) (← links)
- Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure (Q4988945) (← links)
- An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases (Q5038463) (← links)
- Hypothetical updates, priority and inconsistency in a logic programming language (Q5101451) (← links)
- An ASP approach for reasoning in a concept-aware multipreferential lightweight DL (Q5140012) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5187861) (← links)
- A Multi-engine Theorem Prover for a Description Logic of Typicality (Q5215376) (← links)
- Reasoning about actions with Temporal Answer Sets (Q5299584) (← links)
- Analytic Tableaux for KLM Preferential and Cumulative Logics (Q5387873) (← links)
- Logics in Artificial Intelligence (Q5394113) (← links)
- Business process verification with constraint temporal answer set programming (Q5398302) (← links)
- KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning (Q5434493) (← links)
- A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps (Q5862466) (← links)
- AI*IA 2003: Advances in Artificial Intelligence (Q5897330) (← links)