| 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 | 201 | 2015 |
| A non-monotonic description logic for reasoning about typicality L Giordano, V Gliozzi, N Olivetti, GL Pozzato Artificial Intelligence 195, 165-202, 2013 | 173 | 2013 |
| ALC+ T: a preferential extension of description logics L Giordano, N Olivetti, V Gliozzic, GL Pozzato Fundamenta Informaticae 96 (3), 341-372, 2009 | 145 | 2009 |
| Preferential description logics L Giordano, V Gliozzi, N Olivetti, GL Pozzato International Conference on Logic for Programming Artificial Intelligence …, 2007 | 114 | 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 | 73 | 2007 |
| 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 | 67 | 2020 |
| 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 | 59 | 2008 |
| 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 | 53 | 2009 |
| A description logic of typicality for conceptual combination A Lieto, GL Pozzato International Symposium on Methodologies for Intelligent Systems, 189-199, 2018 | 46 | 2018 |
| Minimal model semantics and rational closure in description logics L Giordano, V Gliozzi, N Olivetti, G Pozzato CEUR Workshop Proceedings 1014, 168-180, 2013 | 43 | 2013 |
| 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 | 42 | 2012 |
| 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 | 40 | 2021 |
| 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 | 39 | 2019 |
| 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 | 37 | 2011 |
| Rational closure in SHIQ L Giordano, V Gliozzi, N Olivetti, GL Pozzato arXiv preprint arXiv:1406.2023, 2014 | 35 | 2014 |
| Preferential vs rational description logics: which one for reasoning about typicality? L Giordano, V Gliozzi, N Olivetti, GL Pozzato ECAI 2010, 1069-1070, 2010 | 35 | 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 | 34 | 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 | 31 | 2020 |
| 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 | 29 | 2009 |
| 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 | 28 | 2016 |
