Negation as Failure in Intuitionistic Logic Programming. - Laura Giordano 001; Nicola Olivetti (JICSLP, 1992)

Tableaux and Sequent Calculus for Minimal Entailment. - Nicola Olivetti (J. Autom. Reason., 1992)

N-Prolog and equivalence of logic programs. - Nicola Olivetti; Lea Terracini (J. Log. Lang. Inf., 1992)

Conditonal Logic Programming. - Dov M. Gabbay; Laura Giordano 001; Alberto Martelli; Nicola Olivetti (ICLP, 1994)

Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. - Dov M. Gabbay; Laura Giordano 001; Alberto Martelli; Nicola Olivetti (LPNMR, 1995)

A Language for Handling Hypothetical Updates and Inconsistency. - Dov M. Gabbay; Laura Giordano 001; Alberto Martelli; Nicola Olivetti (Log. J. IGPL, 1996)

A Sequent Calculus for Circumscription. - Piero A. Bonatti; Nicola Olivetti (CSL, 1997)

A Sequent Calculus for Skeptical Default Logic. - Piero A. Bonatti; Nicola Olivetti (TABLEAUX, 1997)

A Conditional Logic for Belief Revision. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti (JELIA, 1998)

Combining Negation as Failure and Embedded Implications in Logic Programs. - Laura Giordano 001; Nicola Olivetti (J. Log. Program., 1998)

Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication. - Dov M. Gabbay; Nicola Olivetti (Stud Logica, 1998)

Cut-free proof systems for logics of weak excluded middle. - Agata Ciabattoni; Dov M. Gabbay; Nicola Olivetti (Soft Comput., 1998)

Resolution and Model Building in the Infinite-Valued Calculus of Lukasiewicz. - Daniele Mundici; Nicola Olivetti (Theor. Comput. Sci., 1998)

A Conditional Logic for Iterated Belief Revision. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti (ECAI, 2000)

Conditional reasoning in logic programming. - Dov M. Gabbay; Laura Giordano 001; Alberto Martelli; Nicola Olivetti; Maria Luisa Sapino (J. Log. Program., 2000)

Belief Revision and the Ramsey Test: A Solution. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti (AI*IA, 2001)

A Calculus and Complexity Bound for Minimal Conditional Logic. - Nicola Olivetti; Camilla Schwind (ICTCS, 2001)

Analytic Sequent Calculi for Abelian and ukasiewicz Logics. - George Metcalfe; Nicola Olivetti; Dov M. Gabbay (TABLEAUX, 2002)

Iterated Belief Revision and Conditional Logic. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti (Stud Logica, 2002)

Sequent calculi for propositional nonmonotonic logics. - Piero A. Bonatti; Nicola Olivetti (ACM Trans. Comput. Log., 2002)

Goal-Directed Calculli for Gödel-Dummett Logics. - George Metcalfe; Nicola Olivetti; Dov M. Gabbay (CSL, 2003)

Tableau Calculi for Preference-Based Conditional Logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Camilla Schwind (TABLEAUX, 2003)

CondLean: A Theorem Prover for Conditional Logics. - Nicola Olivetti; Gian Luca Pozzato (TABLEAUX, 2003)

Tableaux for Lukasiewicz Infinite-valued Logic. - Nicola Olivetti (Stud Logica, 2003)

Goal-Directed Methods for Lukasiewicz Logic. - George Metcalfe; Nicola Olivetti; Dov M. Gabbay (CSL, 2004)

Analytic Calculi for Product Logics. - George Metcalfe; Nicola Olivetti; Dov M. Gabbay (Arch. Math. Log., 2004)

Goal-Directed Methods for Fuzzy Logics. - George Metcalfe; Nicola Olivetti (We Will Show Them! (2), 2005)

Analytic Tableaux for KLM Preferential and Cumulative Logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (LPAR, 2005)

CondLean 3.0: Improving CondLean for Stronger Conditional Logics. - Nicola Olivetti; Gian Luca Pozzato (TABLEAUX, 2005)

Weak AGM postulates and strong Ramsey Test: A logical formalization. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti (Artif. Intell., 2005)

Lukasiewicz Logic: From Proof Systems To Logic Programming. - George Metcalfe; Nicola Olivetti; Dov M. Gabbay (Log. J. IGPL, 2005)

Sequent and hypersequent calculi for abelian and Łukasiewicz logics. - George Metcalfe; Nicola Olivetti; Dov M. Gabbay (ACM Trans. Comput. Log., 2005)

Automated Deduction for Logics of Default Reasoning. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (ECAI, 2006)

Analytic Tableau Calculi for KLM Rational Logic R. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (JELIA, 2006)

An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (AI*IA, 2007)

Preferential Description Logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (LPAR, 2007)

A sequent calculus and a theorem prover for standard conditional logics. - Nicola Olivetti; Gian Luca Pozzato; Camilla Schwind (ACM Trans. Comput. Log., 2007)

Reasoning about Typicality in Preferential Description Logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (JELIA, 2008)

Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (AI*IA, 2009)

Reasoning About Typicality in ALC and EL. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (Description Logics, 2009)

Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (LPNMR, 2009)

Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus. - Régis Alenda; Nicola Olivetti; Camilla Schwind (TABLEAUX, 2009)

Proof Systems for a Gödel Modal Logic. - George Metcalfe; Nicola Olivetti (TABLEAUX, 2009)

CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity. - Régis Alenda; Nicola Olivetti; Gian Luca Pozzato (M4M, 2009)

ALC + T: a Preferential Extension of Description Logics. - Laura Giordano 001; Nicola Olivetti; Valentina Gliozzi; Gian Luca Pozzato (Fundam. Informaticae, 2009)

Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (ACM Trans. Comput. Log., 2009)

Tableau calculus for preference-based conditional logics: PCL and its extensions. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Camilla Schwind (ACM Trans. Comput. Log., 2009)

Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (CILC, 2010)

Tableau Calculi for CSL mathcal{CSL} over minspaces. - Régis Alenda; Nicola Olivetti; Camilla Schwind; Dmitry Tishkovsky (CSL, 2010)

Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (ECAI, 2010)

Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces. - Régis Alenda; Nicola Olivetti (LPAR (Yogyakarta), 2010)

A Nonmonotonic Extension of KLM Preferential Logic P. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (LPAR (Yogyakarta), 2010)

Preface. - Nicola Olivetti (J. Log. Comput., 2010)

A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $ mbox{ em DL-Lite}_{ mathit{core}}$. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (AI*IA, 2011)

Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (CILC, 2011)

Reasoning about Typicality in Low Complexity DLs: The Logics EL⊥Tmin and DL-Litec Tmin. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (IJCAI, 2011)

CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces. - Régis Alenda; Nicola Olivetti (TABLEAUX, 2011)

A Tableau Calculus for a Nonmonotonic Extension of EL^ mathcal{EL}^ bot. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (TABLEAUX, 2011)

Towards a Proof Theory of Gödel Modal Logics - George Metcalfe; Nicola Olivetti (Log. Methods Comput. Sci., 2011)

Non-classical logics for knowledge representation and reasoning. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato; Camilla Schwind (Intelligenza Artificiale, 2011)

A Modal Reconstruction of Rational Closure. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (CILC, 2012)

Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (Description Logics, 2012)

Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models. - Régis Alenda; Nicola Olivetti (JELIA, 2012)

Nested Sequent Calculi for Conditional Logics. - Régis Alenda; Nicola Olivetti; Gian Luca Pozzato (JELIA, 2012)

A Minimal Model Semantics for Nonmonotonic Reasoning. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (JELIA, 2012)

PreDeLo 1.0: A Theorem Prover for Preferential Description Logics. - Laura Giordano 001; Valentina Gliozzi; Adam Jalal; Nicola Olivetti; Gian Luca Pozzato (AI*IA, 2013)

A Semantics for Rational Closure: Preliminary Results. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (CILC, 2013)

Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics. - Nicola Olivetti; Gian Luca Pozzato (CILC, 2013)

Minimal Model Semantics and Rational Closure in Description Logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (Description Logics, 2013)

A non-monotonic Description Logic for reasoning about typicality. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (Artif. Intell., 2013)

On Rational Closure in Description Logics of Typicality - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (CoRR, 2013)

NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics. - Nicola Olivetti; Gian Luca Pozzato (IJCAR, 2014)

Rational Closure in SHIQ. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (Description Logics, 2014)

Minimal models for rational closure in SHIQ. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (ICTCS, 2014)

A Multi-engine Theorem Prover for a Description Logic of Typicality. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato; Luca Violanti (AI*IA, 2015)

A natural sequent calculus for Lewis' logic of counterfactuals. - Nicola Olivetti; Gian Luca Pozzato (CILC, 2015)

DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato; Luca Violanti (Description Logics, 2015)

A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics. - Sara Negri; Nicola Olivetti (TABLEAUX, 2015)

A Standard Internal Calculus for Lewis' Counterfactual Logics. - Nicola Olivetti; Gian Luca Pozzato (TABLEAUX, 2015)

Semantic characterization of rational closure: From propositional logic to description logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (Artif. Intell., 2015)

Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND. - Nicola Olivetti; Gian Luca Pozzato (Intelligenza Artificiale, 2015)

The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus. - Marianna Girlando; Sara Negri; Nicola Olivetti; Vincent Risch (Advances in Modal Logic, 2016)

Standard Sequent Calculi for Lewis' Logics of Counterfactuals. - Marianna Girlando; Björn Lellmann; Nicola Olivetti; Gian Luca Pozzato (JELIA, 2016)

Nested sequent calculi for normal conditional logics. - Régis Alenda; Nicola Olivetti; Gian Luca Pozzato (J. Log. Comput., 2016)

Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity. - Marianna Girlando; Björn Lellmann; Nicola Olivetti; Gian Luca Pozzato (TABLEAUX, 2017)

VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning. - Marianna Girlando; Björn Lellmann; Nicola Olivetti; Gian Luca Pozzato; Quentin Vitalis (TABLEAUX, 2017)

Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled Calculi. - Tiziano Dalmonte; Nicola Olivetti; Sara Negri (Advances in Modal Logic, 2018)

Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin?. - Marianna Girlando; Nicola Olivetti; Sara Negri (Advances in Modal Logic, 2018)

Towards a Rational Closure for Expressive Description Logics: the Case of 풮풽풾퓆. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti (Fundam. Informaticae, 2018)

Conditional Beliefs: from neighbourhood Semantics to Sequent Calculus. - Marianna Girlando; Sara Negri; Nicola Olivetti; Vincent Risch (Rev. Symb. Log., 2018)

PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics. - Tiziano Dalmonte; Sara Negri; Nicola Olivetti; Gian Luca Pozzato (AI*IA, 2019)

Nested Sequents for the Logic of Conditional Belief. - Marianna Girlando; Björn Lellmann; Nicola Olivetti (JELIA, 2019)

Automated Deduction. - Thierry Boy de la Tour; Ricardo Caferra; Nicola Olivetti; Nicolas Peltier; Camilla Schwind (A Guided Tour of Artificial Intelligence Research (2) (II), 2020)

HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description). - Tiziano Dalmonte; Nicola Olivetti; Gian Luca Pozzato (IJCAR (2), 2020)

Theorem Proving for Lewis Logics of Counterfactual Reasoning. - Marianna Girlando; Björn Lellmann; Nicola Olivetti; Stefano Pesce; Gian Luca Pozzato (CILC, 2020)

Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics. - Tiziano Dalmonte; Björn Lellmann; Nicola Olivetti; Elaine Pimentel (LFCS, 2020)

Theorem Proving for Non-normal Modal Logics. - Tiziano Dalmonte; Sara Negri; Nicola Olivetti; Gian Luca Pozzato (OVERLAY, 2020)

Reasoning about Typicality and Probabilities in Preferential Description Logics. - Laura Giordano 001; Valentina Gliozzi; Antonio Lieto; Nicola Olivetti; Gian Luca Pozzato (CoRR, 2020)

Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM. - Tiziano Dalmonte; Sara Negri; Nicola Olivetti; Gian Luca Pozzato (Intelligenza Artificiale, 2020)

Intuitionistic Non-normal Modal Logics: A General Framework. - Tiziano Dalmonte; Charles Grellois; Nicola Olivetti (J. Philos. Log., 2020)

Reasoning About Typicality and Probabilities in Preferential Description Logics. - Laura Giordano 001; Valentina Gliozzi; Antonio Lieto; Nicola Olivetti; Gian Luca Pozzato (Applications and Practices in Ontology Design, Extraction, and Reasoning, 2020)

Proof Systems for the Logics of Bringing-It-About. - Tiziano Dalmonte; Charles Grellois; Nicola Olivetti (DEON, 2021)

Terminating Calculi and Countermodels for Constructive Modal Logics. - Tiziano Dalmonte; Charles Grellois; Nicola Olivetti (TABLEAUX, 2021)

Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity. - Tiziano Dalmonte; Björn Lellmann; Nicola Olivetti; Elaine Pimentel (J. Log. Comput., 2021)

Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics. - Marianna Girlando; Sara Negri; Nicola Olivetti (J. Log. Comput., 2021)

Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens Finally Together. - Nicola Olivetti; Nikola Panic; Gian Luca Pozzato (AI*IA, 2022)

Dyadic Obligations: Proofs and Countermodels via Hypersequents. - Agata Ciabattoni; Nicola Olivetti; Xavier Parent 001 (PRIMA, 2022)

Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations. - Tiziano Dalmonte; Charles Grellois; Nicola Olivetti (WoLLIC, 2022)

Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning. - Marianna Girlando; Björn Lellmann; Nicola Olivetti; Stefano Pesce; Gian Luca Pozzato (J. Log. Comput., 2022)

Analytic Proof Theory for Åqvist's System F. - Agata Ciabattoni; Nicola Olivetti; Xavier Parent 001; Revantha Ramanayake; Dmitry Rozplokhas (DEON, 2023)

Resolution Calculi for Non-normal Modal Logics. - Dirk Pattinson; Nicola Olivetti; Cláudia Nalon (TABLEAUX, 2023)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations. - Tim S. Lyon; Agata Ciabattoni; Didier Galmiche; Marianna Girlando; Dominique Larchey-Wendling; Daniel Méry; Nicola Olivetti; Revantha Ramanayake (CoRR, 2023)

A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus. - Philippe Balbiani; Han Gao; Çigdem Gencer; Nicola Olivetti (CSL, 2024)

Local Intuitionistic Modal Logics and Their Calculi. - Philippe Balbiani; Han Gao; Çigdem Gencer; Nicola Olivetti (IJCAR (2), 2024)

A Proof Calculus for Ethical Reasoning. - Han Gao; Emiliano Lorini; Nicola Olivetti; Matteo Tesi (PRIMA, 2024)

Proof theory for the logics of bringing-it-about: Ability, coalitions and means-end relationship. - Tiziano Dalmonte; Charles Grellois; Nicola Olivetti (J. Log. Comput., 2024)

Paraconsistent Constructive Modal Logic. - Han Gao; Daniil Kozhemiachenko; Nicola Olivetti (WoLLIC, 2025)

Constructive Modal Logics: Bi-nested Calculi and Bi-relational Countermodels. - Han Gao; Nicola Olivetti (WoLLIC, 2025)

A Bi-nested Calculus for Intuitionistic K: Proofs and Countermodels. - Han Gao; Marianna Girlando; Nicola Olivetti (CoRR, 2025)