Gian Luca 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
Reasoning About Surprising Scenarios in Description Logics of Typicality	2020-02-10	Paper
A Multi-engine Theorem Prover for a Description Logic 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
Hypersequent calculi for Lewis' conditional logics with uniformity and reflexivity	2018-02-02	Paper
VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning	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-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
Nested Sequent Calculi for Conditional Logics	2012-09-21	Paper
A Minimal Model Semantics for Nonmonotonic Reasoning	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
https://portal.mardi4nfdi.de/entity/Q3563381	2010-05-31	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2010-03-09	Paper
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gian Luca Pozzato