팔로우
Gian Luca Pozzato
Gian Luca Pozzato
Ricercatore di Informatica, Università di Torino
di.unito.it의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
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
2112015
A non-monotonic description logic for reasoning about typicality
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
Artificial Intelligence 195, 165-202, 2013
1802013
ALC+ T: a preferential extension of description logics
L Giordano, N Olivetti, V Gliozzic, GL Pozzato
Fundamenta Informaticae 96 (3), 341-372, 2009
1492009
Preferential description logics
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
International Conference on Logic for Programming Artificial Intelligence …, 2007
1192007
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
752007
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
702020
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
592008
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
542009
A description logic of typicality for conceptual combination
A Lieto, GL Pozzato
International Symposium on Methodologies for Intelligent Systems, 189-199, 2018
492018
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
432019
Minimal model semantics and rational closure in description logics
L Giordano, V Gliozzi, N Olivetti, G Pozzato
CEUR Workshop Proceedings 1014, 168-180, 2013
432013
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
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
402021
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
372011
Preferential vs rational description logics: which one for reasoning about typicality?
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
ECAI 2010, 1069-1070, 2010
372010
Rational closure in SHIQ
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
arXiv preprint arXiv:1406.2023, 2014
352014
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
352005
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
312020
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
302009
Standard sequent calculi for Lewis’ logics of counterfactuals
M Girlando, B Lellmann, N Olivetti, GL Pozzato
European Conference on Logics in Artificial Intelligence, 272-287, 2016
282016
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20