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.

 

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

Complete Logic Programs with Domain-Closure Axiom., , и . J. Log. Program., 5 (3): 263-276 (1988)The KGP Model of Agency., , , , и . ECAI, стр. 33-37. IOS Press, (2004)Universal Quantification by Case Analysis., , , и . ECAI, стр. 111-116. (1990)An Abductive Framework for Extended Logic Programming., , , и . LPNMR, том 928 из Lecture Notes in Computer Science, стр. 330-343. Springer, (1995)Knowledge Assimilation and Abduction., и . Truth Maintenance Systems (ECAI Workshop), том 515 из Lecture Notes in Computer Science, стр. 54-70. Springer, (1990)MuTACLP: A Language for Declarative GIS Analysis., , , и . Computational Logic, том 1861 из Lecture Notes in Computer Science, стр. 1002-1016. Springer, (2000)Towards a Logical Semantics for Pure Prolog., , , и . Sci. Comput. Program., 32 (1-3): 145-176 (1998)Intensional Negation of Logic Programs: Examples and Implementation Techniques., , , и . TAPSOFT, Vol.2, том 250 из Lecture Notes in Computer Science, стр. 96-110. Springer, (1987)Web Sites Verification: An Abductive Logic Programming Tool., , и . ICLP, том 4670 из Lecture Notes in Computer Science, стр. 434-435. Springer, (2007)Database Updates through Abduction., и . VLDB, стр. 650-661. Morgan Kaufmann, (1990)