Nicola Olivetti

Dominique Larchey-Wendling

J. Log. Comput., 2024

Local Intuitionistic Modal Logics and Their Calculi.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus.

[BibT_eX]

[DOI]

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations.

[BibT_eX]

[DOI]

Tim S. Lyon

Agata Ciabattoni

Didier Galmiche

Daniel Méry

Revantha Ramanayake

CoRR, 2023

Resolution Calculi for Non-normal Modal Logics.

[BibT_eX]

[DOI]

Dirk Pattinson

Cláudia Nalon

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Analytic Proof Theory for Åqvist's System F.

[BibT_eX]

Proceedings of the Deontic Logic and Normative Systems - 16th International Conference, 2023

2022

Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning.

[BibT_eX]

[DOI]

J. Log. Comput., 2022

Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2022

Dyadic Obligations: Proofs and Countermodels via Hypersequents.

[BibT_eX]

[DOI]

Agata Ciabattoni

Xavier Parent

Proceedings of the PRIMA 2022: Principles and Practice of Multi-Agent Systems, 2022

Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens Finally Together.

[BibT_eX]

[DOI]

Nikola Panic

Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022

2021

Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics.

[BibT_eX]

[DOI]

Marianna Girlando

J. Log. Comput., 2021

Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity.

[BibT_eX]

[DOI]

J. Log. Comput., 2021

Terminating Calculi and Countermodels for Constructive Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

Proof Systems for the Logics of Bringing-It-About.

[BibT_eX]

Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

2020

Reasoning About Typicality and Probabilities in Preferential Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Applications and Practices in Ontology Design, 2020

Intuitionistic Non-normal Modal Logics: A General Framework.

[BibT_eX]

[DOI]

J. Philos. Log., 2020

Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2020

Reasoning about Typicality and Probabilities in Preferential Description Logics.

[BibT_eX]

[DOI]

CoRR, 2020

Theorem Proving for Non-normal Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2020

Theorem Proving for Lewis Logics of Counterfactual Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 35th Italian Conference on Computational Logic, 2020

HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description).

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

Automated Deduction.

[BibT_eX]

[DOI]

Thierry Boy de la Tour

Proceedings of the A Guided Tour of Artificial Intelligence Research: Volume II: AI Algorithms, 2020

2019

Nested Sequents for the Logic of Conditional Belief.

[BibT_eX]

[DOI]

Marianna Girlando

Björn Lellmann

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

2018

Conditional Beliefs: from neighbourhood Semantics to Sequent Calculus.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2018

Towards a Rational Closure for Expressive Description Logics: the Case of 풮풽풾퓆.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin?.

[BibT_eX]

[DOI]

Marianna Girlando

Proceedings of the Advances in Modal Logic 12, 2018

Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled Calculi.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 12, 2018

2017

VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

2016

Nested sequent calculi for normal conditional logics.

[BibT_eX]

[DOI]

J. Log. Comput., 2016

Standard Sequent Calculi for Lewis' Logics of Counterfactuals.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 11, 2016

2015

Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2015

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

[BibT_eX]

[DOI]

Artif. Intell., 2015

A Standard Internal Calculus for Lewis' Counterfactual Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

A natural sequent calculus for Lewis' logic of counterfactuals.

[BibT_eX]

[DOI]

Proceedings of the 30th Italian Conference on Computational Logic, 2015

A Multi-engine Theorem Prover for a Description Logic of Typicality.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

2014

Minimal models for rational closure in SHIQ.

[BibT_eX]

[DOI]

Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014

Rational Closure in SHIQ.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

On Rational Closure in Description Logics of Typicality

[BibT_eX]

[DOI]

CoRR, 2013

A non-monotonic Description Logic for reasoning about typicality.

[BibT_eX]

[DOI]

Artif. Intell., 2013

Minimal Model Semantics and Rational Closure in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics.

[BibT_eX]

[DOI]

Proceedings of the 28th Italian Conference on Computational Logic, 2013

A Semantics for Rational Closure: Preliminary Results.

[BibT_eX]

[DOI]

Proceedings of the 28th Italian Conference on Computational Logic, 2013

PreDeLo 1.0: A Theorem Prover for Preferential Description Logics.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

2012

A Minimal Model Semantics for Nonmonotonic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Nested Sequent Calculi for Conditional Logics.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Preferential Low Complexity Description Logics: Complexity Results and Proof Methods.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

A Modal Reconstruction of Rational Closure.

[BibT_eX]

[DOI]

Proceedings of the 9th Italian Convention on Computational Logic, 2012

2011

Non-classical logics for knowledge representation and reasoning.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2011

Towards a Proof Theory of Gödel Modal Logics

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2011

A Tableau Calculus for a Nonmonotonic Extension of EL^\mathcal{EL}^\bot.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

Reasoning about Typicality in Low Complexity DLs: The Logics EL⊥Tmin and DL-Litec Tmin.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods.

[BibT_eX]

[DOI]

Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $\mbox{\em DL-Lite}_{\mathit{core}}$.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011

2010

Preface.

[BibT_eX]

[DOI]

J. Log. Comput., 2010

A Nonmonotonic Extension of KLM Preferential Logic P.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Preferential vs Rational Description Logics: which one for Reasoning About Typicality?.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Tableau Calculi for CSL\mathcal{CSL} over minspaces.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 24th International Workshop, 2010

Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment.

[BibT_eX]

[DOI]

Proceedings of the 25th Italian Conference on Computational Logic, 2010

2009

Tableau calculus for preference-based conditional logics: PCL and its extensions.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2009

Analytic tableaux calculi for KLM logics of nonmonotonic reasoning.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2009

ALC + T: a Preferential Extension of Description Logics.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Methods for Modalities, 2009

Proof Systems for a Gödel Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus.

[BibT_eX]

[DOI]

Camilla Schwind

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Reasoning About Typicality in ALC and EL.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2009: Emergent Perspectives in Artificial Intelligence, 2009

2008

Reasoning about Typicality in Preferential Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

2007

A sequent calculus and a theorem prover for standard conditional logics.

[BibT_eX]

[DOI]

Camilla Schwind

ACM Trans. Comput. Log., 2007

Preferential Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2007

An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007

2006

Analytic Tableau Calculi for KLM Rational Logic R.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Automated Deduction for Logics of Default Reasoning.

[BibT_eX]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

Sequent and hypersequent calculi for abelian and Łukasiewicz logics.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2005

Lukasiewicz Logic: From Proof Systems To Logic Programming.

[BibT_eX]

[DOI]

Log. J. IGPL, 2005

Weak AGM postulates and strong Ramsey Test: A logical formalization.

[BibT_eX]

[DOI]

Artif. Intell., 2005

CondLean 3.0: Improving CondLean for Stronger Conditional Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

Analytic Tableaux for KLM Preferential and Cumulative Logics.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2005

Goal-Directed Methods for Fuzzy Logics.

[BibT_eX]

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005

2004

Analytic Calculi for Product Logics.

[BibT_eX]

[DOI]

Arch. Math. Log., 2004

Goal-Directed Methods for Lukasiewicz Logic.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2003

Tableaux for Lukasiewicz Infinite-valued Logic.

[BibT_eX]

[DOI]

Stud Logica, 2003

CondLean: A Theorem Prover for Conditional Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003

Tableau Calculi for Preference-Based Conditional Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003

Goal-Directed Calculli for Gödel-Dummett Logics.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 17th International Workshop, 2003

2002

Sequent calculi for propositional nonmonotonic logics.

[BibT_eX]

[DOI]

Piero A. Bonatti

ACM Trans. Comput. Log., 2002

Iterated Belief Revision and Conditional Logic.

[BibT_eX]

[DOI]

Stud Logica, 2002

Analytic Sequent Calculi for Abelian and ukasiewicz Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

2001

A Calculus and Complexity Bound for Minimal Conditional Logic.

[BibT_eX]

[DOI]

Camilla Schwind

Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

Belief Revision and the Ramsey Test: A Solution.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2001: Advances in Artificial Intelligence, 2001

2000

Conditional reasoning in logic programming.

[BibT_eX]

[DOI]

J. Log. Program., 2000

A Conditional Logic for Iterated Belief Revision.

[BibT_eX]

Proceedings of the ECAI 2000, 2000

1998

Resolution and Model Building in the Infinite-Valued Calculus of Lukasiewicz.

[BibT_eX]

[DOI]

Daniele Mundici

Theor. Comput. Sci., 1998

Cut-free proof systems for logics of weak excluded middle.

[BibT_eX]

[DOI]

Agata Ciabattoni

Soft Comput., 1998

Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication.

[BibT_eX]

[DOI]

Stud Logica, 1998

Combining Negation as Failure and Embedded Implications in Logic Programs.

[BibT_eX]

[DOI]

J. Log. Program., 1998

A Conditional Logic for Belief Revision.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

1997

A Sequent Calculus for Skeptical Default Logic.

[BibT_eX]

[DOI]

Piero A. Bonatti

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

A Sequent Calculus for Circumscription.

[BibT_eX]

[DOI]

Piero A. Bonatti

Proceedings of the Computer Science Logic, 11th International Workshop, 1997

1996

A Language for Handling Hypothetical Updates and Inconsistency.

[BibT_eX]

[DOI]

Log. J. IGPL, 1996

1995

Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

1994

Conditonal Logic Programming.

[BibT_eX]

Proceedings of the Logic Programming, 1994

1992

N-Prolog and equivalence of logic programs.

[BibT_eX]

[DOI]

Lea Terracini

J. Log. Lang. Inf., 1992

Tableaux and Sequent Calculus for Minimal Entailment.

[BibT_eX]

[DOI]

J. Autom. Reason., 1992

Negation as Failure in Intuitionistic Logic Programming.

[BibT_eX]