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
1492013
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
1212015
ALC+ T: a preferential extension of description logics
L Giordano, N Olivetti, V Gliozzic, GL Pozzato
Fundamenta Informaticae 96 (3), 341-372, 2009
1212009
Preferential description logics
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
International Conference on Logic for Programming Artificial Intelligence …, 2007
862007
Preferential description logics
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
International Conference on Logic for Programming Artificial Intelligence …, 2007
862007
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
652007
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
552008
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
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
442009
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
422012
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
352011
Rational closure in SHIQ
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
arXiv preprint arXiv:1406.2023, 2014
312014
Preferential vs Rational Description Logics: which one for Reasoning About Typicality?.
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
ECAI, 1069-1070, 2010
312010
A description logic of typicality for conceptual combination
A Lieto, GL Pozzato
International Symposium on Methodologies for Intelligent Systems, 189-199, 2018
292018
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
292009
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
282020
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
282005
Verifying business process compliance by reasoning about actions
D D’Aprile, L Giordano, V Gliozzi, A Martelli, GL Pozzato, DT Dupré
International Workshop on Computational Logic in Multi-Agent Systems, 99-116, 2010
262010
Analytic Tableau Calculi for KLM Rational Logic R
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
European Workshop on Logics in Artificial Intelligence, 190-202, 2006
222006
Nested sequent calculi for conditional logics
R Alenda, N Olivetti, GL Pozzato
European Workshop on Logics in Artificial Intelligence, 14-27, 2012
212012
The system can't perform the operation now. Try again later.
Articles 1–20