Searching for authors named Nicola Olivetti – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

7 documents found, showing 1 through 7.

Tableaux-Based Theorem Proving for Common-Sense Reasoning
by Nicolà Olivetti, Camilla Schwind
…Tableaux-Based Theorem Proving for Common-Sense Reasoning Nicol`a Olivetti and Camilla Schwind…
Add To MetaCart

A Conditional Logic for Iterated Belief Revision
by Laura Giordano, Valentina Gliozzi, Nicola Olivetti — 2000 — in ECAI2000, Proc. 14th European Conference on Artificial Intelligence
… 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
by Laura Giordano, Valentina Gliozzi, Nicola Olivetti — In: AI*IA 2001: Advances in Artificial Intelligence : 7th Congress of the Italian Association for Artificial Intelligence. Number 2175 in LNAI, Berlin/Heidelberg, Springer-Verlag (2001) 165–175 Maintenance and the Ramsey Test 15
… , 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
by George Metcalfe, Nicola Olivetti, Dov Gabbay — 2005 — ACM Transactions on Computational Logic
… 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
by Nicola Olivetti, Gian Luca Pozzato — 2005 — In Proceedings of M4M-4
…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
by Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
… , 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
by Nicola Olivetti, Gian Luca Pozzato, Università Di Torino, Camilla B. Schwind — 2007 — ACM Transactions on Computational Logics (TOCL
…A Sequent Calculus and a Theorem Prover for Standard Conditional Logics NICOLA OLIVETTI and GIAN…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 7.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB