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 | 211 | 2015 |
A non-monotonic description logic for reasoning about typicality L Giordano, V Gliozzi, N Olivetti, GL Pozzato Artificial Intelligence 195, 165-202, 2013 | 180 | 2013 |
ALC+ T: a preferential extension of description logics L Giordano, N Olivetti, V Gliozzic, GL Pozzato Fundamenta Informaticae 96 (3), 341-372, 2009 | 149 | 2009 |
Preferential description logics L Giordano, V Gliozzi, N Olivetti, GL Pozzato International Conference on Logic for Programming Artificial Intelligence …, 2007 | 119 | 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 | 75 | 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 | 70 | 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 | 54 | 2009 |
A description logic of typicality for conceptual combination A Lieto, GL Pozzato International Symposium on Methodologies for Intelligent Systems, 189-199, 2018 | 49 | 2018 |
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 | 43 | 2019 |
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 |
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 |
Preferential vs rational description logics: which one for reasoning about typicality? L Giordano, V Gliozzi, N Olivetti, GL Pozzato ECAI 2010, 1069-1070, 2010 | 37 | 2010 |
Rational closure in SHIQ L Giordano, V Gliozzi, N Olivetti, GL Pozzato arXiv preprint arXiv:1406.2023, 2014 | 35 | 2014 |
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 | 35 | 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 | 30 | 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 |