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 | 172 | 2015 |
A non-monotonic description logic for reasoning about typicality L Giordano, V Gliozzi, N Olivetti, GL Pozzato Artificial Intelligence 195, 165-202, 2013 | 163 | 2013 |
ALC+ T: a preferential extension of description logics L Giordano, N Olivetti, V Gliozzic, GL Pozzato Fundamenta Informaticae 96 (3), 341-372, 2009 | 130 | 2009 |
Preferential description logics L Giordano, V Gliozzi, N Olivetti, GL Pozzato Logic for Programming, Artificial Intelligence, and Reasoning: 14th …, 2007 | 112 | 2007 |
Preferential description logics L Giordano, V Gliozzi, N Olivetti, GL Pozzato Logic for Programming, Artificial Intelligence, and Reasoning: 14th …, 2007 | 112 | 2007 |
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 | 69 | 2007 |
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 | 58 | 2008 |
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 | 51 | 2020 |
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 | 50 | 2009 |
Minimal model semantics and rational closure in description logics L Giordano, V Gliozzi, N Olivetti, G Pozzato CEUR WORKSHOP PROCEEDINGS 1014, 168-180, 2013 | 44 | 2013 |
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 | 44 | 2012 |
A description logic of typicality for conceptual combination A Lieto, GL Pozzato Foundations of Intelligent Systems: 24th International Symposium, ISMIS 2018 …, 2018 | 40 | 2018 |
Rational closure in SHIQ L Giordano, V Gliozzi, N Olivetti, GL Pozzato arXiv preprint arXiv:1406.2023, 2014 | 37 | 2014 |
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 | 36 | 2011 |
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 | 33 | 2019 |
Preferential vs rational description logics: which one for reasoning about typicality? L Giordano, V Gliozzi, N Olivetti, GL Pozzato ECAI 2010, 1069-1070, 2010 | 33 | 2010 |
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 | 31 | 2005 |
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 | 27 | 2020 |
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 | 27 | 2009 |
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 | 26 | 2021 |