Follow
Gian Luca Pozzato
Gian Luca Pozzato
Ricercatore di Informatica, Universitą di Torino
Verified email at di.unito.it - Homepage
Title
Cited by
Cited by
Year
Semantic characterization of rational closure: From propositional logic to description logics
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
Artificial Intelligence 226, 1-33, 2015
1722015
A non-monotonic description logic for reasoning about typicality
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
Artificial Intelligence 195, 165-202, 2013
1632013
ALC+ T: a preferential extension of description logics
L Giordano, N Olivetti, V Gliozzic, GL Pozzato
Fundamenta Informaticae 96 (3), 341-372, 2009
1302009
Preferential description logics
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
Logic for Programming, Artificial Intelligence, and Reasoning: 14th …, 2007
1122007
Preferential description logics
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
Logic for Programming, Artificial Intelligence, and Reasoning: 14th …, 2007
1122007
A sequent calculus and a theorem prover for standard conditional logics
N Olivetti, GL Pozzato, CB Schwind
ACM Transactions on Computational Logic (ToCL) 8 (4), 22-es, 2007
692007
Reasoning about typicality in preferential description logics
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
Logics in Artificial Intelligence: 11th European Conference, JELIA 2008 …, 2008
582008
A description logic framework for commonsense conceptual combination integrating typicality, probabilities and cognitive heuristics
A Lieto, GL Pozzato
Journal of Experimental & Theoretical Artificial Intelligence 32 (5), 769-804, 2020
512020
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
ACM Transactions on Computational Logic (ToCL) 10 (3), 1-47, 2009
502009
Minimal model semantics and rational closure in description logics
L Giordano, V Gliozzi, N Olivetti, G Pozzato
CEUR WORKSHOP PROCEEDINGS 1014, 168-180, 2013
442013
A minimal model semantics for nonmonotonic reasoning
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
Logics in Artificial Intelligence: 13th European Conference, JELIA 2012 …, 2012
442012
A description logic of typicality for conceptual combination
A Lieto, GL Pozzato
Foundations of Intelligent Systems: 24th International Symposium, ISMIS 2018 …, 2018
402018
Rational closure in SHIQ
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
arXiv preprint arXiv:1406.2023, 2014
372014
Reasoning about typicality in low complexity DLs: the logics EL⊥ Tmin and DL-LitecTmin
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
362011
Beyond subgoaling: A dynamic knowledge generation framework for creative problem solving in cognitive architectures
A Lieto, F Perrone, GL Pozzato, E Chiodino
Cognitive Systems Research 58, 305-316, 2019
332019
Preferential vs rational description logics: which one for reasoning about typicality?
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
ECAI 2010, 1069-1070, 2010
332010
Analytic tableaux for KLM preferential and cumulative logics
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
Logic for Programming, Artificial Intelligence, and Reasoning: 12th …, 2005
312005
A knowledge-based system for the dynamic generation and classification of novel contents in multimedia broadcasting
E Chiodino, D Di Luccio, A Lieto, A Messina, GL Pozzato, D Rubinetti
ECAI 2020, 680-687, 2020
272020
Prototypical reasoning with low complexity description logics: Preliminary results
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
Logic Programming and Nonmonotonic Reasoning: 10th International Conference …, 2009
272009
A commonsense reasoning framework for explanatory emotion attribution, generation and re-classification
A Lieto, GL Pozzato, S Zoia, V Patti, R Damiano
Knowledge-Based Systems 227, 107166, 2021
262021
The system can't perform the operation now. Try again later.
Articles 1–20