Segui
Gian Luca Pozzato
Gian Luca Pozzato
Ricercatore di Informatica, Università di Torino
Email verificata su di.unito.it - Home page
Titolo
Citata da
Citata da
Anno
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
1882015
A non-monotonic description logic for reasoning about typicality
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
Artificial Intelligence 195, 165-202, 2013
1702013
ALC+ T: a preferential extension of description logics
L Giordano, N Olivetti, V Gliozzic, GL Pozzato
Fundamenta Informaticae 96 (3), 341-372, 2009
1412009
Preferential description logics
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
International Conference on Logic for Programming Artificial Intelligence …, 2007
1142007
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
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
622020
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
442018
Minimal model semantics and rational closure in description logics
L Giordano, V Gliozzi, N Olivetti, G Pozzato
CEUR Workshop Proceedings 1014, 168-180, 2013
422013
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
372011
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
362021
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
352019
Preferential vs rational description logics: which one for reasoning about typicality?
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
ECAI 2010, 1069-1070, 2010
352010
Rational closure in SHIQ
L Giordano, V Gliozzi, N Olivetti, GL Pozzato
arXiv preprint arXiv:1406.2023, 2014
342014
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
332005
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 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
282020
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
272016
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20