( en | de | ru )

 

Disambiguierung von "Olivetti, Nicola"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Sequent Calculus for Skeptical Default Logic.

, und . TABLEAUX, Volume 1227 von Lecture Notes in Computer Science, Seite 107-121. Springer, (1997)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Rudolf Nicola

Nicola Galabaroff

Nicola Damianoff

Nicola Degen

Nicola Damrich

 

Weitere Publikationen von Autoren mit dem selben Namen

Tableaux and Sequent Calculus for Minimal Entailment.. J. Autom. Reason., 9 (1): 99-139 (1992)PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics., , , und . AI*IA, Volume 11946 von Lecture Notes in Computer Science, Seite 165-179. Springer, (2019)Preface.. J. Log. Comput., 20 (1): 1-3 (2010)Weak AGM postulates and strong Ramsey Test: A logical formalization., , und . Artif. Intell., 168 (1-2): 1-37 (2005)Tableau calculus for preference-based conditional logics: PCL and its extensions., , , und . ACM Trans. Comput. Log., 10 (3): 21:1-21:50 (2009)Belief Revision and the Ramsey Test: A Solution., , und . AI*IA, Volume 2175 von Lecture Notes in Computer Science, Seite 165-175. Springer, (2001)A Sequent Calculus for Skeptical Default Logic., und . TABLEAUX, Volume 1227 von Lecture Notes in Computer Science, Seite 107-121. Springer, (1997)Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models., und . JELIA, Volume 7519 von Lecture Notes in Computer Science, Seite 1-13. Springer, (2012)Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics., , , und . LFCS, Volume 11972 von Lecture Notes in Computer Science, Seite 27-46. Springer, (2020)Tableaux for Lukasiewicz Infinite-valued Logic.. Stud Logica, 73 (1): 81-111 (2003)