( en | de | ru )

 

Disambiguation of "Olivetti, Nicola"

Author of the publication

copydeleteadd this publication to your clipboard
Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models.

, and . JELIA, volume 7519 of Lecture Notes in Computer Science, page 1-13. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nicola Ettlin

Nicola Mößner

Nicola Brocca

Nicola Breugst

Nicola Wedde

 

Other publications of authors with the same name

Tableau Calculi for CSL over minspaces, , , and . CSL, page 52-66. (2010)A Semantics for Rational Closure: Preliminary Results., , , and . CILC, volume 1068 of CEUR Workshop Proceedings, page 99-113. CEUR-WS.org, (2013)A natural sequent calculus for Lewis' logic of counterfactuals., and . CILC, volume 1459 of CEUR Workshop Proceedings, page 13-18. CEUR-WS.org, (2015)Conditional reasoning in logic programming., , , , and . J. Log. Program., 44 (1-3): 37-74 (2000)A sequent calculus and a theorem prover for standard conditional logics., , and . ACM Trans. Comput. Log., 8 (4): 22 (2007)Sequent calculi for propositional nonmonotonic logics., and . ACM Trans. Comput. Log., 3 (2): 226-278 (2002)A non-monotonic Description Logic for reasoning about typicality., , , and . Artif. Intell., (2013)CondLean: A Theorem Prover for Conditional Logics., and . TABLEAUX, volume 2796 of Lecture Notes in Computer Science, page 264-270. Springer, (2003)Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces., and . LPAR (Yogyakarta), volume 6397 of Lecture Notes in Computer Science, page 52-66. Springer, (2010)Nested Sequents for the Logic of Conditional Belief., , and . JELIA, volume 11468 of Lecture Notes in Computer Science, page 709-725. Springer, (2019)