( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Interpolable Formulas in Equilibrium Logic and Answer Set Programming.

, , и . J. Artif. Intell. Res., (2011)

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

 

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

Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics., и . J. Symb. Log., 57 (4): 1319-1365 (1992)Degrees of "in", öut" and ündecided" in Argumentation Networks., и . COMMA, том 287 из Frontiers in Artificial Intelligence and Applications, стр. 319-326. IOS Press, (2016)Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language., , , и . LPNMR, том 928 из Lecture Notes in Computer Science, стр. 203-216. Springer, (1995)Reactivity and Grammars: An Exploration., , и . Language, Culture, Computation (1), том 8001 из Lecture Notes in Computer Science, стр. 103-155. Springer, (2014)Theoretical Foundations for Non-Monotonic Reasoning Part 2: Structured Non-Monotonic Theories.. SCAI, том 12 из Frontiers in Artificial Intelligence and Applications, стр. 19-39. IOS Press, (1991)Reactive Preferential Structures and Nonmonotonic Consequence., и . Rev. Symb. Log., 2 (2): 414-450 (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)Argumentation as Information Input: A Position Paper., и . COMMA, том 287 из Frontiers in Artificial Intelligence and Applications, стр. 311-318. IOS Press, (2016)