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.

 

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

ServLog: A unifying logical framework for service modeling and contracting., и . Semantic Web, 9 (2): 257-290 (2018)Transaction Logic with Defaults and Argumentation Theories., и . ICLP (Technical Communications), том 11 из LIPIcs, стр. 162-174. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs., , и . NACLP, стр. 1090-1114. MIT Press, (1989)Introduction to Operating System Design and Implementation - The OSP 2 Approach., и . Undergraduate Topics in Computer Science Springer, (2007)Can We Implement Logic as a Database System?, и . XP7.52 Workshop on Database Theory, (1986)Comprehensive Approach to the Design of Relational Database Schemes., и . VLDB, стр. 196-207. Morgan Kaufmann, (1984)Rule Interchange on the Web., , , и . Reasoning Web, том 4636 из Lecture Notes in Computer Science, стр. 269-309. Springer, (2007)Transaction Logic: An Introduction (Abstract).. ILPS, стр. 47-48. MIT Press, (1997)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)