( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Algorithms in Philosophy, Informatics and Logic. A Position Manifesto 2017.

, и . FLAP, (2017)

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

 

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

Defeasible inheritance systems and reactive diagrams., и . Logic Journal of the IGPL, 17 (1): 1-54 (2009)An equational approach to the merging of argumentation networks., и . J. Log. Comput., 24 (6): 1253-1277 (2014)Fibred Semantics and the Weaving of Logics, Part 1: Modal and Intuitionistic Logics.. J. Symb. Log., 61 (4): 1057-1120 (1996)Sufficient Conditions for the Undecidability of Intuitionistic Theories with Applications.. J. Symb. Log., 37 (2): 375-384 (1972)A Language for Handling Hypothetical Updates and Inconsistency., , , и . Logic Journal of the IGPL, 4 (3): 385-416 (1996)Conditonal Logic Programming., , , и . ICLP, стр. 272-289. MIT Press, (1994)Completeness theorems for reactive modal logics.. Ann. Math. Artif. Intell., 66 (1-4): 81-129 (2012)Logical Tools for Handling Change in Agent-Based Systems., и . Cognitive Technologies Springer, (2010)Argumentation as Information Input: A Position Paper., и . COMMA, том 287 из Frontiers in Artificial Intelligence and Applications, стр. 311-318. IOS Press, (2016)What is a Classical Connective?. Math. Log. Q., 24 (1-6): 37-44 (1978)