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.

 

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

RIF Framework for Logic Dialects, и . World Wide Web Consortium, Working Draft WD-rif-fld-20080730, (июля 2008)RIF Basic Logic Dialect, и . World Wide Web Consortium, Working Draft WD-rif-bld-20080730, (июля 2008)Rule Interchange on the Web., , , и . Reasoning Web, том 4636 из Lecture Notes in Computer Science, стр. 269-309. Springer, (2007)On Compile-Time Query Optimization in Deductive Databases by Means of Static Filtering., и . ACM Trans. Database Syst., 15 (3): 385-426 (1990)An Integrated Approach to Logical Design of Relational Database Schemes., и . ACM Trans. Database Syst., 11 (2): 134-158 (1986)Elimination of intersection anomalies from database schemes., и . J. ACM, 33 (3): 423-450 (1986)Applications of Transaction Logic to Knowledge Representation., и . ICTL, том 827 из Lecture Notes in Computer Science, стр. 67-81. Springer, (1994)WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic., , и . ESWC, том 5021 из Lecture Notes in Computer Science, стр. 659-673. Springer, (2008)A Logic Programming with Complex Objects., и . J. Comput. Syst. Sci., 47 (1): 77-120 (1993)Transaction Logic with Defaults and Argumentation Theories., и . ICLP (Technical Communications), том 11 из LIPIcs, стр. 162-174. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)