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
A non-monotonic description logic for reasoning about typicality
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
Artificial Intelligence 195, 165-202, 2013
1602013
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
1482015
ALC+ T: a preferential extension of description logics
L Giordano, N Olivetti, V Gliozzic, GL Pozzato
Fundamenta Informaticae 96 (3), 341-372, 2009
1272009
Preferential description logics
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
International Conference on Logic for Programming Artificial Intelligence …, 2007
1032007
Preferential description logics
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
International Conference on Logic for Programming Artificial Intelligence …, 2007
1032007
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
702007
Reasoning about typicality in preferential description logics
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
European workshop on logics in artificial intelligence, 192-205, 2008
572008
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
472009
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
442020
Minimal model semantics and rational closure in description logics
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
DL 2013 26th International Workshop on Description Logics 1014, 168-180, 2013
442013
A minimal model semantics for nonmonotonic reasoning
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
European Workshop on Logics in Artificial Intelligence, 228-241, 2012
442012
A description logic of typicality for conceptual combination
A Lieto, GL Pozzato
International Symposium on Methodologies for Intelligent Systems, 189-199, 2018
362018
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
Rational closure in SHIQ
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
arXiv preprint arXiv:1406.2023, 2014
342014
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
International Conference on Logic for Programming Artificial Intelligence …, 2005
302005
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
282019
Prototypical reasoning with low complexity description logics: Preliminary results
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009
272009
Verifying business process compliance by reasoning about actions
D D’Aprile, L Giordano, V Gliozzi, A Martelli, GL Pozzato, ...
International Workshop on Computational Logic in Multi-Agent Systems, 99-116, 2010
262010
Condlean 3.0: Improving condlean for stronger conditional logics
N Olivetti, GL Pozzato
International Conference on Automated Reasoning with Analytic Tableaux and …, 2005
242005
The system can't perform the operation now. Try again later.
Articles 1–20