Author of the publication

Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction.

, , and . J. Autom. Reason., 10 (3): 345-370 (1993)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Using Semantic-Level Tags in HTML/XML Documents., and . HCI (7), volume 5616 of Lecture Notes in Computer Science, page 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)., and . ACM Conference on Computer Science, page 429. ACM, (1985)On the use and internal structure of logic-based decision support systems., and . Decis. Support Syst., 1 (3): 205-219 (1985)Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction., , and . J. Autom. Reason., 10 (3): 345-370 (1993)Multi-Dimensional Heuristic Searching., and . IJCAI, page 316-321. Morgan Kaufmann, (1989)Recursive Query Answering with Non-Horn Clauses., and . CADE, volume 310 of Lecture Notes in Computer Science, page 294-312. Springer, (1988)Substitution-based Compilation of Extended Rules in Deductive Databases., and . CADE, volume 449 of Lecture Notes in Computer Science, page 57-71. Springer, (1990)A Graph Proof Procedure for Real Time Logic., and . SEKE, page 300-306. IEEE Computer Society, (1992)An efficient database transitive closure algorithm., , and . Appl. Intell., 4 (2): 205-218 (1994)