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.

 

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

On the use and internal structure of logic-based decision support systems., и . Decis. Support Syst., 1 (3): 205-219 (1985)Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction., , и . J. Autom. Reason., 10 (3): 345-370 (1993)Using Semantic-Level Tags in HTML/XML Documents., и . HCI (7), том 5616 из Lecture Notes in Computer Science, стр. 683-692. Springer, (2009)Theorem Proving by Covering Expressions.. J. ACM, 26 (3): 385-400 (1979)Assumption analysis in compiled logic-based decision support systems (LDSSs) (abstract only)., и . ACM Conference on Computer Science, стр. 429. ACM, (1985)An efficient database transitive closure algorithm., , и . Appl. Intell., 4 (2): 205-218 (1994)A Graph Proof Procedure for Real Time Logic., и . SEKE, стр. 300-306. IEEE Computer Society, (1992)Multi-Dimensional Heuristic Searching., и . IJCAI, стр. 316-321. Morgan Kaufmann, (1989)Substitution-based Compilation of Extended Rules in Deductive Databases., и . CADE, том 449 из Lecture Notes in Computer Science, стр. 57-71. Springer, (1990)Recursive Query Answering with Non-Horn Clauses., и . CADE, том 310 из Lecture Notes in Computer Science, стр. 294-312. Springer, (1988)