Gian Luca Pozzato

A non-monotonic Description Logic for reasoning about typicality

Laura Giordano, Valentina Gliozzi, Nicola Olivetti et al. · Artificial Intelligence · 2012 · 141 citations · Full text

Reasoning, Non-classical Logic, Non-monotonic Logic +6

Semantic characterization of rational closure: From propositional logic to description logics

Laura Giordano, Valentina Gliozzi, Nicola Olivetti et al. · Artificial Intelligence · 2015 · 137 citations · Full text

Non-classical Logic, Engineering, Automated Reasoning +13

ALC + T: a Preferential Extension of Description Logics

Laura Giordano, Nicola Olivetti, Valentina Gliozzic et al. · Fundamenta Informaticae · 2009 · 111 citations

A sequent calculus and a theorem prover for standard conditional logics

Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind · ACM Transactions on Computational Logic · 2007 · 58 citations

Theorem Prover, Engineering, Automated Reasoning +15

Analytic tableaux calculi for KLM logics of nonmonotonic reasoning

Laura Giordano, Valentina Gliozzi, Nicola Olivetti et al. · ACM Transactions on Computational Logic · 2009 · 35 citations

Applied Logic, Non-classical Logic, Analytic Tableaux Calculi +13