Searching for authors named Nicola Olivetti – sorted by Relevance.
-
Tableaux-Based Theorem Proving for Common-Sense Reasoning
- Tableaux-Based Theorem Proving for Common-Sense Reasoning Nicol`a Olivetti and Camilla Schwind
- Add To MetaCart
-
A Conditional Logic for Iterated Belief Revision
- Orientale "A. Avogadro" Corso Borsalino 54 - 15100 Alessandria, ITALY. Valentina Gliozzi and Nicola Olivetti
- Cited by 1 (1 self) – Add To MetaCart
-
N.: Belief revision and the Ramsey test: A solution
- , and Nicola Olivetti 2 1 DISTA, Università del Piemonte Orientale “A. Avogadro” Corso Borsalino 54 - 15100
- Cited by 1 (0 self) – Add To MetaCart
-
Sequent and Hypersequent Calculi for Abelian and Łukasiewicz Logics
- and ̷Lukasiewicz Logics George Metcalfe 1 , Nicola Olivetti 2 and Dov Gabbay 1 1 Department of Computer Science
- Cited by 15 (6 self) – Add To MetaCart
-
KLMLean 1.0: a Theorem Prover for Logics of Default Reasoning
- KLMLean 1.0: a Theorem Prover for Logics of Default Reasoning Nicola Olivetti ⋆ and Gian Luca
- Cited by 2 (2 self) – Add To MetaCart
-
ALC + T: Reasoning About Typicality in Description Logics
- , Nicola Olivetti 3 , and Gian Luca Pozzato 2 1 Dipartimento di Informatica - Università del Piemonte
- Add To MetaCart
-
A Sequent Calculus and a Theorem Prover for Standard Conditional Logics
- A Sequent Calculus and a Theorem Prover for Standard Conditional Logics NICOLA OLIVETTI and GIAN
- Cited by 3 (1 self) – Add To MetaCart

