G. L. Pozzato

Available identifiers

zbMath Open pozzato.gian-lucaMaRDI QIDQ1694456

List of research outcomes

Publication	Date of Publication	Type
A description logic of typicality for conceptual combination	2023-08-02	Paper
HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description)	2022-11-09	Paper
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning	2022-03-09	Paper
A multi-engine theorem prover for a description logic of typicality	2020-02-10	Paper
Reasoning about surprising scenarios in description logics of typicality	2020-02-10	Paper
Typicalities and probabilities of exceptions in nonmotonic description logics	2019-10-18	Paper
Revision of ontologies to accommodate exceptions: a typicality-based approach	2018-10-02	Paper
VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning	2018-02-02	Paper
Hypersequent calculi for Lewis' conditional logics with uniformity and reflexivity	2018-02-02	Paper
Reasoning in description logics with typicalities and probabilities of exceptions	2017-09-05	Paper
A sequent calculus and a theorem prover for standard conditional logics	2017-07-12	Paper
Standard sequent calculi for Lewis' logics of counterfactuals	2016-11-30	Paper
CSL-\textsf{lean}: a theorem-prover for the logic of comparative concept similarity	2016-08-05	Paper
Nested sequent calculi for normal conditional logics	2016-04-28	Paper
Semantic characterization of rational closure: from propositional logic to description logics	2015-12-18	Paper
A standard internal calculus for Lewis' counterfactual logics	2015-12-11	Paper
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning	2015-09-17	Paper
Logics in access control: a conditional approach	2015-01-12	Paper
NESCOND: an implementation of nested sequent calculi for conditional logics	2014-09-26	Paper
A non-monotonic description logic for reasoning about typicality	2013-08-26	Paper
A Minimal Model Semantics for Nonmonotonic Reasoning	2012-09-21	Paper
Nested sequent calculi for conditional logics	2012-09-21	Paper
A conditional constructive logic for access control and its sequent calculus	2011-07-01	Paper
A tableau calculus for a nonmonotonic extension of \(\mathcal{EL}^\bot\)	2011-07-01	Paper
A nonmonotonic extension of KLM preferential logic P	2010-10-12	Paper
Verifying business process compliance by reasoning about actions	2010-08-24	Paper
Conditional and preferential logics. Proof methods and theorem proving.	2010-05-31	Paper
CondLean: a theorem prover for conditional logics	2010-03-09	Paper
\({\mathcal{ALC}}+T\): a preferential extension of description logics	2010-02-05	Paper
Theorem proving for conditional logics: CondLean and GOALDUCK	2009-11-11	Paper
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results	2009-11-10	Paper
Analytic Tableau Calculi for KLM Rational Logic R	2008-10-30	Paper
Reasoning about Typicality in Preferential Description Logics	2008-10-27	Paper
Analytic Tableaux for KLM Preferential and Cumulative Logics	2008-05-27	Paper
Preferential Description Logics	2008-05-15	Paper
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning	2008-01-04	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper

Research outcomes over time

This page was built for person: G. L. Pozzato