( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Conditonal Logic Programming.

, , , и . ICLP, стр. 272-289. MIT Press, (1994)

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.

Nicola Galabaroff

Rudolf Nicola

Nicola Gess

Ernesto Nicola

Nicola Neuvians

 

Другие публикации лиц с тем же именем

Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models., и . JELIA, том 7519 из Lecture Notes in Computer Science, стр. 1-13. Springer, (2012)A Sequent Calculus for Skeptical Default Logic., и . TABLEAUX, том 1227 из Lecture Notes in Computer Science, стр. 107-121. Springer, (1997)Weak AGM postulates and strong Ramsey Test: A logical formalization., , и . Artif. Intell., 168 (1-2): 1-37 (2005)Belief Revision and the Ramsey Test: A Solution., , и . AI*IA, том 2175 из Lecture Notes in Computer Science, стр. 165-175. Springer, (2001)PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics., , , и . AI*IA, том 11946 из Lecture Notes in Computer Science, стр. 165-179. Springer, (2019)Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics., , , и . LFCS, том 11972 из Lecture Notes in Computer Science, стр. 27-46. Springer, (2020)Tableaux and Sequent Calculus for Minimal Entailment.. J. Autom. Reason., 9 (1): 99-139 (1992)Theorem Proving for Lewis Logics of Counterfactual Reasoning., , , , и . CILC, том 2710 из CEUR Workshop Proceedings, стр. 199-213. CEUR-WS.org, (2020)Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment., , , и . CILC, том 598 из CEUR Workshop Proceedings, CEUR-WS.org, (2010)Minimal Model Semantics and Rational Closure in Description Logics., , , и . Description Logics, том 1014 из CEUR Workshop Proceedings, стр. 168-180. CEUR-WS.org, (2013)