Picture for Gian Luca Pozzato

Gian Luca Pozzato

Proceedings 37th International Conference on Logic Programming (Technical Communications)

Add code
Sep 15, 2021
Viaarxiv icon

A Commonsense Reasoning Framework for Explanatory Emotion Attribution, Generation and Re-classification

Add code
Jan 11, 2021
Figure 1 for A Commonsense Reasoning Framework for Explanatory Emotion Attribution, Generation and Re-classification
Figure 2 for A Commonsense Reasoning Framework for Explanatory Emotion Attribution, Generation and Re-classification
Figure 3 for A Commonsense Reasoning Framework for Explanatory Emotion Attribution, Generation and Re-classification
Figure 4 for A Commonsense Reasoning Framework for Explanatory Emotion Attribution, Generation and Re-classification
Viaarxiv icon

Reasoning about Typicality and Probabilities in Preferential Description Logics

Add code
Apr 23, 2020
Viaarxiv icon

A Description Logic Framework for Commonsense Conceptual Combination Integrating Typicality, Probabilities and Cognitive Heuristics

Add code
Nov 07, 2018
Figure 1 for A Description Logic Framework for Commonsense Conceptual Combination Integrating Typicality, Probabilities and Cognitive Heuristics
Figure 2 for A Description Logic Framework for Commonsense Conceptual Combination Integrating Typicality, Probabilities and Cognitive Heuristics
Viaarxiv icon

Rational Closure in SHIQ

Add code
Jun 08, 2014
Viaarxiv icon

On Rational Closure in Description Logics of Typicality

Add code
May 05, 2013
Viaarxiv icon

Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning

Add code
Nov 10, 2006
Figure 1 for Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning
Figure 2 for Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning
Figure 3 for Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning
Figure 4 for Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning
Viaarxiv icon

A Sequent Calculus and a Theorem Prover for Standard Conditional Logics

Add code
Jul 29, 2004
Figure 1 for A Sequent Calculus and a Theorem Prover for Standard Conditional Logics
Figure 2 for A Sequent Calculus and a Theorem Prover for Standard Conditional Logics
Figure 3 for A Sequent Calculus and a Theorem Prover for Standard Conditional Logics
Figure 4 for A Sequent Calculus and a Theorem Prover for Standard Conditional Logics
Viaarxiv icon