From post

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.

 

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

The Stable Models of a Predicate Logic Program., , и . JICSLP, стр. 446-460. MIT Press, (1992)Logic for Applications., и . Texts and Monographs in Computer Science Springer, (1993)Computing Definite Logic Programs by Partial Instantiation., , и . Ann. Pure Appl. Log., 67 (1-3): 161-182 (1994)A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems., , и . Ann. Pure Appl. Log., 67 (1-3): 269-323 (1994)On the Complexity of Abduction., , и . LICS, стр. 513-522. IEEE Computer Society, (1996)Polynomially Grade Logic I: A Graded Version of System T, , и . LICS, стр. 375-385. IEEE Computer Society, (1989)Tableaux for Functional Dependencies and Independencies., , , и . TABLEAUX, том 1227 из Lecture Notes in Computer Science, стр. 358-372. Springer, (1997)Performance evaluation of media losses in the Continuous Media Toolkit., , , , и . MSE, стр. 60-67. IEEE Computer Society, (1998)Tableaux for constructive concurrent dynamic logic., и . Ann. Pure Appl. Log., 135 (1-3): 1-72 (2005)The Notion of Rank and Games., и . LFCS, том 813 из Lecture Notes in Computer Science, стр. 204-217. Springer, (1994)