Nicola Olivetti

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 38

Top Venues

CoRR

TABLEAUX

J. Log. Comput.

Advances in Modal Logic

Publications

Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
Proof theory for the logics of bringing-it-about: Ability, coalitions and means-end relationship. J. Log. Comput. 34 (4) (2024)
Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti
Local Intuitionistic Modal Logics and Their Calculi. CoRR (2024)
Agata Ciabattoni, Nicola Olivetti, Xavier Parent
Dyadic obligations: proofs and countermodels via hypersequents. CoRR (2024)
Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus. CSL (2024)
Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti
Local Intuitionistic Modal Logics and Their Calculi. IJCAR (2) (2024)
Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus. CoRR (2023)
Agata Ciabattoni, Nicola Olivetti, Xavier Parent, Revantha Ramanayake, Dmitry Rozplokhas
Analytic Proof Theory for Åqvist's System F. DEON (2023)
Dirk Pattinson, Nicola Olivetti, Cláudia Nalon
Resolution Calculi for Non-normal Modal Logics. TABLEAUX (2023)
Tim S. Lyon, Agata Ciabattoni, Didier Galmiche, Dominique Larchey-Wendling, Daniel Méry, Nicola Olivetti, Revantha Ramanayake
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations. CoRR (2023)
Nicola Olivetti, Nikola Panic, Gian Luca Pozzato
Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens Finally Together. AI*IA (2022)
Marianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning. J. Log. Comput. 32 (2) (2022)
Agata Ciabattoni, Nicola Olivetti, Xavier Parent
Dyadic Obligations: Proofs and Countermodels via Hypersequents. PRIMA (2022)
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations. WoLLIC (2022)
Marianna Girlando, Sara Negri, Nicola Olivetti
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics. J. Log. Comput. 31 (3) (2021)
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
Proof Systems for the Logics of Bringing-It-About. DEON (2021)
Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel
Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity. J. Log. Comput. 31 (1) (2021)
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
Terminating Calculi and Countermodels for Constructive Modal Logics. TABLEAUX (2021)
Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato
Reasoning about Typicality and Probabilities in Preferential Description Logics. CoRR (2020)
Marianna Girlando, Sara Negri, Nicola Olivetti
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics. CoRR (2020)
Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel
Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity. CoRR (2020)
Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel
Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics. LFCS (2020)
Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato
Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM. Intelligenza Artificiale 14 (2) (2020)
Tiziano Dalmonte, Nicola Olivetti, Gian Luca Pozzato
HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description). IJCAR (2) (2020)
Marianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato
Theorem Proving for Lewis Logics of Counterfactual Reasoning. CILC (2020)
Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato
Theorem Proving for Non-normal Modal Logics. OVERLAY (2020)
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
Intuitionistic Non-normal Modal Logics: A General Framework. J. Philos. Log. 49 (5) (2020)
Marianna Girlando, Björn Lellmann, Nicola Olivetti
Nested Sequents for the Logic of Conditional Belief. JELIA (2019)
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
Intuitionistic Non-Normal Modal Logics: A general framework. CoRR (2019)
Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato
PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics. AI*IA (2019)
Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch
Conditional Beliefs: from neighbourhood Semantics to Sequent Calculus. Rev. Symb. Log. 11 (4) (2018)
Tiziano Dalmonte, Nicola Olivetti, Sara Negri
Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled Calculi. Advances in Modal Logic (2018)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti
Towards a Rational Closure for Expressive Description Logics: the Case of 풮풽풾퓆. Fundam. Informaticae 159 (1-2) (2018)
Marianna Girlando, Nicola Olivetti, Sara Negri
Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin?. Advances in Modal Logic (2018)
Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis
VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning. TABLEAUX (2017)
Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato
Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity. TABLEAUX (2017)
Régis Alenda, Nicola Olivetti, Gian Luca Pozzato
Nested sequent calculi for normal conditional logics. J. Log. Comput. 26 (1) (2016)
Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato
Standard Sequent Calculi for Lewis' Logics of Counterfactuals. JELIA (2016)
Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch
The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus. Advances in Modal Logic (2016)
Nicola Olivetti, Gian Luca Pozzato
A Standard Internal Calculus for Lewis' Counterfactual Logics. TABLEAUX (2015)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti
DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics. Description Logics (2015)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Semantic characterization of rational closure: From propositional logic to description logics. Artif. Intell. 226 (2015)
Nicola Olivetti, Gian Luca Pozzato
Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND. Intelligenza Artificiale 9 (2) (2015)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti
A Multi-engine Theorem Prover for a Description Logic of Typicality. AI*IA (2015)
Nicola Olivetti, Gian Luca Pozzato
A natural sequent calculus for Lewis' logic of counterfactuals. CILC (2015)
Sara Negri, Nicola Olivetti
A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics. TABLEAUX (2015)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Rational Closure in SHIQ. CoRR (2014)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Rational Closure in SHIQ. Description Logics (2014)
Nicola Olivetti, Gian Luca Pozzato
NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics. IJCAR (2014)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Minimal models for rational closure in SHIQ. ICTCS (2014)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
A Semantics for Rational Closure: Preliminary Results. CILC (2013)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Minimal Model Semantics and Rational Closure in Description Logics. Description Logics (2013)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
On Rational Closure in Description Logics of Typicality CoRR (2013)
Nicola Olivetti, Gian Luca Pozzato
Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics. CILC (2013)
Laura Giordano, Valentina Gliozzi, Adam Jalal, Nicola Olivetti, Gian Luca Pozzato
PreDeLo 1.0: A Theorem Prover for Preferential Description Logics. AI*IA (2013)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
A non-monotonic Description Logic for reasoning about typicality. Artif. Intell. 195 (2013)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
A Minimal Model Semantics for Nonmonotonic Reasoning. JELIA (2012)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
A Modal Reconstruction of Rational Closure. CILC (2012)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. Description Logics (2012)
Régis Alenda, Nicola Olivetti
Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models. JELIA (2012)
Régis Alenda, Nicola Olivetti, Gian Luca Pozzato
Nested Sequent Calculi for Conditional Logics. JELIA (2012)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
\mathcal{EL}^\bot. TABLEAUX (2011)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
Non-classical logics for knowledge representation and reasoning. Intelligenza Artificiale 5 (1) (2011)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods. CILC (2011)
George Metcalfe, Nicola Olivetti
Towards a Proof Theory of Gödel Modal Logics Log. Methods Comput. Sci. 7 (2) (2011)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
. IJCAI (2011)
Régis Alenda, Nicola Olivetti
CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces. TABLEAUX (2011)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $\mbox{\em DL-Lite}_{\mathit{core}}$. AI*IA (2011)
Régis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky
\mathcal{CSL} over minspaces. CSL (2010)
Nicola Olivetti
Preface. J. Log. Comput. 20 (1) (2010)
Régis Alenda, Nicola Olivetti, Gian Luca Pozzato
CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity. Electron. Notes Theor. Comput. Sci. 262 (2010)
Régis Alenda, Nicola Olivetti
Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces. LPAR (Yogyakarta) (2010)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment. CILC (2010)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
A Nonmonotonic Extension of KLM Preferential Logic P. LPAR (Yogyakarta) (2010)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. ECAI (2010)
George Metcalfe, Nicola Olivetti
Proof Systems for a Gödel Modal Logic. TABLEAUX (2009)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. LPNMR (2009)
Régis Alenda, Nicola Olivetti, Camilla Schwind
Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus. TABLEAUX (2009)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
T. AI*IA (2009)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind
Tableau calculus for preference-based conditional logics: PCL and its extensions. ACM Trans. Comput. Log. 10 (3) (2009)
Régis Alenda, Nicola Olivetti, Camilla Schwind
Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus CoRR (2009)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. ACM Trans. Comput. Log. 10 (3) (2009)
Laura Giordano, Nicola Olivetti, Valentina Gliozzi, Gian Luca Pozzato
ALC + T: a Preferential Extension of Description Logics. Fundam. Informaticae 96 (3) (2009)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Reasoning About Typicality in ALC and EL. Description Logics (2009)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
Non-Classical Logics for Knowledge Representation and Reasoning. Il Milione (2008)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Reasoning about Typicality in Preferential Description Logics. JELIA (2008)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0. AI*IA (2007)
Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
A sequent calculus and a theorem prover for standard conditional logics. ACM Trans. Comput. Log. 8 (4) (2007)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Preferential Description Logics. LPAR (2007)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Analytic Tableau Calculi for KLM Rational Logic R. JELIA (2006)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Automated Deduction for Logics of Default Reasoning. ECAI (2006)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning CoRR (2006)
George Metcalfe, Nicola Olivetti, Dov M. Gabbay
Sequent and hypersequent calculi for abelian and Łukasiewicz logics. ACM Trans. Comput. Log. 6 (3) (2005)
George Metcalfe, Nicola Olivetti
Goal-Directed Methods for Fuzzy Logics. We Will Show Them! (2) (2005)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Analytic Tableaux for KLM Preferential and Cumulative Logics. LPAR (2005)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti
Weak AGM postulates and strong Ramsey Test: A logical formalization. Artif. Intell. 168 (1-2) (2005)
George Metcalfe, Nicola Olivetti, Dov M. Gabbay
Lukasiewicz Logic: From Proof Systems To Logic Programming. Log. J. IGPL 13 (5) (2005)
Nicola Olivetti, Gian Luca Pozzato
CondLean 3.0: Improving CondLean for Stronger Conditional Logics. TABLEAUX (2005)
George Metcalfe, Nicola Olivetti, Dov M. Gabbay
Analytic Calculi for Product Logics. Arch. Math. Log. 43 (7) (2004)
Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
A Sequent Calculus and a Theorem Prover for Standard Conditional Logics CoRR (2004)
George Metcalfe, Nicola Olivetti, Dov M. Gabbay
Goal-Directed Methods for Lukasiewicz Logic. CSL (2004)

Nicola Olivetti.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nicola Olivetti