Nicola Olivetti

136 papers A* 1A 5B 40C 3Misc 1Journal 51Unranked 33

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Bi-nested Calculus for Intuitionistic K: Proofs and Countermodels. CoRR Han Gao, Marianna Girlando, Nicola Olivetti
2025	C	`conf`	Constructive Modal Logics: Bi-nested Calculi and Bi-relational Countermodels. WoLLIC Han Gao, Nicola Olivetti
2025	J	`jnl`	Modular Sequent Calculi for interpretability Logics. Rev. Symb. Log. Cosimo Perini Brogi, Sara Negri, Nicola Olivetti
2025	C	`conf`	Paraconsistent Constructive Modal Logic. WoLLIC Han Gao, Daniil Kozhemiachenko, Nicola Olivetti
2025	J	`jnl`	Paraconsistent Constructive Modal Logic. CoRR Han Gao, Daniil Kozhemiachenko, Nicola Olivetti
2024	B	`conf`	A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus. CSL Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti
2024	B	`conf`	A Proof Calculus for Ethical Reasoning. PRIMA Han Gao, Emiliano Lorini, Nicola Olivetti, Matteo Tesi
2024	J	`jnl`	Dyadic obligations: proofs and countermodels via hypersequents. CoRR Agata Ciabattoni, Nicola Olivetti, Xavier Parent
2024	—	`conf`	Local Intuitionistic Modal Logics and Their Calculi. IJCAR (2) Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti
2024	J	`jnl`	Local Intuitionistic Modal Logics and Their Calculi. CoRR Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti
2024	J	`jnl`	Proof theory for the logics of bringing-it-about: Ability, coalitions and means-end relationship. J. Log. Comput. Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
2023	J	`jnl`	A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus. CoRR Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti
2023	—	`conf`	Analytic Proof Theory for Åqvist's System F. DEON Agata Ciabattoni, Nicola Olivetti, Xavier Parent, Revantha Ramanayake, Dmitry Rozplokhas
2023	J	`jnl`	Internal and External Calculi: Ordering the Jungle without Being Lost in Translations. CoRR Tim S. Lyon, Agata Ciabattoni, Didier Galmiche, Marianna Girlando, Dominique Larchey-Wendling, Daniel Méry, Nicola Olivetti, Revantha Ramanayake
2023	B	`conf`	Resolution Calculi for Non-normal Modal Logics. TABLEAUX Dirk Pattinson, Nicola Olivetti, Cláudia Nalon
2022	J	`jnl`	Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning. J. Log. Comput. Marianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato
2022	B	`conf`	Dyadic Obligations: Proofs and Countermodels via Hypersequents. PRIMA Agata Ciabattoni, Nicola Olivetti, Xavier Parent
2022	—	`conf`	Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens Finally Together. AI*IA Nicola Olivetti, Nikola Panic, Gian Luca Pozzato
2022	C	`conf`	Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations. WoLLIC Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
2021	J	`jnl`	Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity. J. Log. Comput. Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel
2021	—	`conf`	Proof Systems for the Logics of Bringing-It-About. DEON Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
2021	B	`conf`	Terminating Calculi and Countermodels for Constructive Modal Logics. TABLEAUX Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
2021	J	`jnl`	Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics. J. Log. Comput. Marianna Girlando, Sara Negri, Nicola Olivetti
2020	B	`ed.`	13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020. AiML Nicola Olivetti, Rineke Verbrugge, Sara Negri, Gabriel Sandu
2020	—	`ch.`	Automated Deduction. A Guided Tour of Artificial Intelligence Research (2) (II) Thierry Boy de la Tour, Ricardo Caferra, Nicola Olivetti, Nicolas Peltier, Camilla Schwind
2020	Misc	`conf`	Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics. LFCS Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel
2020	—	`conf`	HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description). IJCAR (2) Tiziano Dalmonte, Nicola Olivetti, Gian Luca Pozzato
2020	J	`jnl`	Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity. CoRR Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel
2020	J	`jnl`	Intuitionistic Non-normal Modal Logics: A General Framework. J. Philos. Log. Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
2020	J	`jnl`	Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM. Intelligenza Artificiale Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato
2020	—	`ch.`	Reasoning About Typicality and Probabilities in Preferential Description Logics. Applications and Practices in Ontology Design, Extraction, and Reasoning Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato
2020	J	`jnl`	Reasoning about Typicality and Probabilities in Preferential Description Logics. CoRR Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato
2020	—	`conf`	Theorem Proving for Lewis Logics of Counterfactual Reasoning. CILC Marianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato
2020	—	`conf`	Theorem Proving for Non-normal Modal Logics. OVERLAY Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato
2020	J	`jnl`	Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics. CoRR Marianna Girlando, Sara Negri, Nicola Olivetti
2019	J	`jnl`	Intuitionistic Non-Normal Modal Logics: A general framework. CoRR Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
2019	B	`conf`	Nested Sequents for the Logic of Conditional Belief. JELIA Marianna Girlando, Björn Lellmann, Nicola Olivetti
2019	—	`conf`	PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics. AI*IA Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato
2018	J	`jnl`	Conditional Beliefs: from neighbourhood Semantics to Sequent Calculus. Rev. Symb. Log. Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch
2018	B	`conf`	Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin?. Advances in Modal Logic Marianna Girlando, Nicola Olivetti, Sara Negri
2018	B	`conf`	Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled Calculi. Advances in Modal Logic Tiziano Dalmonte, Nicola Olivetti, Sara Negri
2018	J	`jnl`	Towards a Rational Closure for Expressive Description Logics: the Case of 풮풽풾퓆. Fundam. Informaticae Laura Giordano, Valentina Gliozzi, Nicola Olivetti
2017	B	`conf`	Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity. TABLEAUX Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato
2017	B	`conf`	VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning. TABLEAUX Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis
2016	A	`ed.`	Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings IJCAR Nicola Olivetti, Ashish Tiwari
2016	J	`jnl`	Nested sequent calculi for normal conditional logics. J. Log. Comput. Régis Alenda, Nicola Olivetti, Gian Luca Pozzato
2016	B	`conf`	Standard Sequent Calculi for Lewis' Logics of Counterfactuals. JELIA Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato
2016	B	`conf`	The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus. Advances in Modal Logic Marianna Girlando, Sara Negri, Nicola Olivetti, Vincent Risch
2015	—	`conf`	A Multi-engine Theorem Prover for a Description Logic of Typicality. AI*IA Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti
2015	B	`conf`	A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics. TABLEAUX Sara Negri, Nicola Olivetti
2015	B	`conf`	A Standard Internal Calculus for Lewis' Counterfactual Logics. TABLEAUX Nicola Olivetti, Gian Luca Pozzato
2015	—	`conf`	A natural sequent calculus for Lewis' logic of counterfactuals. CILC Nicola Olivetti, Gian Luca Pozzato
2015	—	`conf`	DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics. Description Logics Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti
2015	J	`jnl`	Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND. Intelligenza Artificiale Nicola Olivetti, Gian Luca Pozzato
2015	J	`jnl`	Semantic characterization of rational closure: From propositional logic to description logics. Artif. Intell. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2014	—	`conf`	Minimal models for rational closure in SHIQ. ICTCS Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2014	A	`conf`	NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics. IJCAR Nicola Olivetti, Gian Luca Pozzato
2014	—	`conf`	Rational Closure in SHIQ. Description Logics Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2014	J	`jnl`	Rational Closure in SHIQ. CoRR Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2013	—	`conf`	A Semantics for Rational Closure: Preliminary Results. CILC Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2013	J	`jnl`	A non-monotonic Description Logic for reasoning about typicality. Artif. Intell. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2013	—	`conf`	Minimal Model Semantics and Rational Closure in Description Logics. Description Logics Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2013	—	`conf`	Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics. CILC Nicola Olivetti, Gian Luca Pozzato
2013	J	`jnl`	On Rational Closure in Description Logics of Typicality CoRR Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2013	—	`conf`	PreDeLo 1.0: A Theorem Prover for Preferential Description Logics. AI*IA Laura Giordano, Valentina Gliozzi, Adam Jalal, Nicola Olivetti, Gian Luca Pozzato
2012	B	`conf`	A Minimal Model Semantics for Nonmonotonic Reasoning. JELIA Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2012	—	`conf`	A Modal Reconstruction of Rational Closure. CILC Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2012	B	`conf`	Nested Sequent Calculi for Conditional Logics. JELIA Régis Alenda, Nicola Olivetti, Gian Luca Pozzato
2012	—	`conf`	Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. Description Logics Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2012	B	`conf`	Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models. JELIA Régis Alenda, Nicola Olivetti
2011	B	`conf`	A Tableau Calculus for a Nonmonotonic Extension of TABLEAUX Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2011	—	`conf`	A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $\mbox{\em DL-Lite}_{\mathit{core}}$. AI*IA Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2011	B	`conf`	CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces. TABLEAUX Régis Alenda, Nicola Olivetti
2011	J	`jnl`	Non-classical logics for knowledge representation and reasoning. Intelligenza Artificiale Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
2011	—	`conf`	Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods. CILC Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2011	A*	`conf`	Reasoning about Typicality in Low Complexity DLs: The Logics EL IJCAI Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2011	J	`jnl`	Towards a Proof Theory of Gödel Modal Logics Log. Methods Comput. Sci. George Metcalfe, Nicola Olivetti
2010	—	`conf`	A Nonmonotonic Extension of KLM Preferential Logic P. LPAR (Yogyakarta) Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2010	J	`jnl`	Preface. J. Log. Comput. Nicola Olivetti
2010	A	`conf`	Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. ECAI Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2010	—	`conf`	Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment. CILC Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2010	B	`conf`	Tableau Calculi for CSL Régis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky
2010	—	`conf`	Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces. LPAR (Yogyakarta) Régis Alenda, Nicola Olivetti
2009	J	`jnl`	ALC + T: a Preferential Extension of Description Logics. Fundam. Informaticae Laura Giordano, Nicola Olivetti, Valentina Gliozzi, Gian Luca Pozzato
2009	J	`jnl`	Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. ACM Trans. Comput. Log. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2009	—	`conf`	CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity. M4M Régis Alenda, Nicola Olivetti, Gian Luca Pozzato
2009	B	`conf`	Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus. TABLEAUX Régis Alenda, Nicola Olivetti, Camilla Schwind
2009	J	`jnl`	Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus CoRR Régis Alenda, Nicola Olivetti, Camilla Schwind
2009	B	`conf`	Proof Systems for a Gödel Modal Logic. TABLEAUX George Metcalfe, Nicola Olivetti
2009	B	`conf`	Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. LPNMR Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2009	—	`conf`	Reasoning About Typicality in ALC and EL. Description Logics Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2009	—	`conf`	Reasoning about Typicality with Low Complexity Description Logics: The Logic AI*IA Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2009	J	`jnl`	Tableau calculus for preference-based conditional logics: PCL and its extensions. ACM Trans. Comput. Log. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind
2008	—	`conf`	Non-Classical Logics for Knowledge Representation and Reasoning. Il Milione Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
2008	B	`conf`	Reasoning about Typicality in Preferential Description Logics. JELIA Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2007	J	`jnl`	A sequent calculus and a theorem prover for standard conditional logics. ACM Trans. Comput. Log. Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
2007	—	`conf`	An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0. AI*IA Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2007	B	`ed.`	Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings TABLEAUX Nicola Olivetti
2007	B	`conf`	Preferential Description Logics. LPAR Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2006	B	`conf`	Analytic Tableau Calculi for KLM Rational Logic R. JELIA Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2006	J	`jnl`	Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning CoRR Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2006	A	`conf`	Automated Deduction for Logics of Default Reasoning. ECAI Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2005	B	`conf`	Analytic Tableaux for KLM Preferential and Cumulative Logics. LPAR Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2005	B	`conf`	CondLean 3.0: Improving CondLean for Stronger Conditional Logics. TABLEAUX Nicola Olivetti, Gian Luca Pozzato
2005	—	`conf`	Goal-Directed Methods for Fuzzy Logics. We Will Show Them! (2) George Metcalfe, Nicola Olivetti
2005	J	`jnl`	Lukasiewicz Logic: From Proof Systems To Logic Programming. Log. J. IGPL George Metcalfe, Nicola Olivetti, Dov M. Gabbay
2005	J	`jnl`	Sequent and hypersequent calculi for abelian and Łukasiewicz logics. ACM Trans. Comput. Log. George Metcalfe, Nicola Olivetti, Dov M. Gabbay
2005	J	`jnl`	Weak AGM postulates and strong Ramsey Test: A logical formalization. Artif. Intell. Laura Giordano, Valentina Gliozzi, Nicola Olivetti
2004	J	`jnl`	A Sequent Calculus and a Theorem Prover for Standard Conditional Logics CoRR Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
2004	J	`jnl`	Analytic Calculi for Product Logics. Arch. Math. Log. George Metcalfe, Nicola Olivetti, Dov M. Gabbay
2004	B	`conf`	Goal-Directed Methods for Lukasiewicz Logic. CSL George Metcalfe, Nicola Olivetti, Dov M. Gabbay
2003	B	`conf`	CondLean: A Theorem Prover for Conditional Logics. TABLEAUX Nicola Olivetti, Gian Luca Pozzato
2003	B	`conf`	Goal-Directed Calculli for Gödel-Dummett Logics. CSL George Metcalfe, Nicola Olivetti, Dov M. Gabbay
2003	B	`conf`	Tableau Calculi for Preference-Based Conditional Logics. TABLEAUX Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind
2003	J	`jnl`	Tableaux for Lukasiewicz Infinite-valued Logic. Stud Logica Nicola Olivetti
2002	B	`conf`	Analytic Sequent Calculi for Abelian and ukasiewicz Logics. TABLEAUX George Metcalfe, Nicola Olivetti, Dov M. Gabbay
2002	J	`jnl`	Iterated Belief Revision and Conditional Logic. Stud Logica Laura Giordano, Valentina Gliozzi, Nicola Olivetti
2002	J	`jnl`	Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics CoRR George Metcalfe, Nicola Olivetti, Dov M. Gabbay
2002	J	`jnl`	Sequent calculi for propositional nonmonotonic logics. ACM Trans. Comput. Log. Piero A. Bonatti, Nicola Olivetti
2001	—	`conf`	A Calculus and Complexity Bound for Minimal Conditional Logic. ICTCS Nicola Olivetti, Camilla Schwind
2001	—	`conf`	Belief Revision and the Ramsey Test: A Solution. AI*IA Laura Giordano, Valentina Gliozzi, Nicola Olivetti
2000	A	`conf`	A Conditional Logic for Iterated Belief Revision. ECAI Laura Giordano, Valentina Gliozzi, Nicola Olivetti
2000	J	`jnl`	Conditional reasoning in logic programming. J. Log. Program. Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti, Maria Luisa Sapino
1998	B	`conf`	A Conditional Logic for Belief Revision. JELIA Laura Giordano, Valentina Gliozzi, Nicola Olivetti
1998	J	`jnl`	Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication. Stud Logica Dov M. Gabbay, Nicola Olivetti
1998	J	`jnl`	Combining Negation as Failure and Embedded Implications in Logic Programs. J. Log. Program. Laura Giordano, Nicola Olivetti
1998	J	`jnl`	Cut-free proof systems for logics of weak excluded middle. Soft Comput. Agata Ciabattoni, Dov M. Gabbay, Nicola Olivetti
1998	J	`jnl`	Resolution and Model Building in the Infinite-Valued Calculus of Lukasiewicz. Theor. Comput. Sci. Daniele Mundici, Nicola Olivetti
1997	B	`conf`	A Sequent Calculus for Circumscription. CSL Piero A. Bonatti, Nicola Olivetti
1997	B	`conf`	A Sequent Calculus for Skeptical Default Logic. TABLEAUX Piero A. Bonatti, Nicola Olivetti
1996	J	`jnl`	A Language for Handling Hypothetical Updates and Inconsistency. Log. J. IGPL Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti
1995	B	`conf`	Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. LPNMR Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti
1994	B	`conf`	Conditonal Logic Programming. ICLP Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti
1992	J	`jnl`	N-Prolog and equivalence of logic programs. J. Log. Lang. Inf. Nicola Olivetti, Lea Terracini
1992	—	`conf`	Negation as Failure in Intuitionistic Logic Programming. JICSLP Laura Giordano, Nicola Olivetti
1992	J	`jnl`	Tableaux and Sequent Calculus for Minimal Entailment. J. Autom. Reason. Nicola Olivetti