( 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.

Uri Gabbay

Dov Gafni

Dov Herskowits

Dov Gafni

Peter Dov

 

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

Temporal, numerical and meta-level dynamics in argumentation networks., , и . Argument Comput., 3 (2-3): 143-202 (2012)A Logical Account of Formal Argumentation, и . Studia Logica, 93 (2--3): 109--145 (2009)Meta-Reasoning in Executable Temporal Logic., , , и . KR, стр. 40-49. Morgan Kaufmann, (1991)Equilibrium States in Numerical Argumentation Networks., и . Logica Universalis, 9 (4): 411-473 (2015)Abduction in Labelled Deductive Systems - A Conceptual Abstract.. ECSQARU, том 548 из Lecture Notes in Computer Science, стр. 3-11. Springer, (1991)Analytic Sequent Calculi for Abelian and ukasiewicz Logics., , и . TABLEAUX, том 2381 из Lecture Notes in Computer Science, стр. 191-205. Springer, (2002)What's on My Mind.... J. Log. Comput., 9 (1): 3-6 (1999)Editorial.. J. Log. Comput., 13 (1): 1 (2003)Present and Future of Formal Argumentation (Dagstuhl Perpectives Workshop 15362)., , , и . Dagstuhl Reports, 5 (8): 74-89 (2015)Making inconsistency respectable: a logical framework for inconsistency in reasoning., и . FAIR, том 535 из Lecture Notes in Computer Science, стр. 19-32. Springer, (1991)