( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction.

, , и . 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.

Harm Henschen

Stephan Henschen

Tobias Henschen

Erwin Henschen

Ursula Henschen

 

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

Assumption analysis in compiled logic-based decision support systems (LDSSs) (abstract only)., и . ACM Conference on Computer Science, стр. 429. ACM, (1985)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)An efficient database transitive closure algorithm., , и . Appl. Intell., 4 (2): 205-218 (1994)Recursive Query Answering with Non-Horn Clauses., и . CADE, том 310 из Lecture Notes in Computer Science, стр. 294-312. Springer, (1988)Substitution-based Compilation of Extended Rules in Deductive Databases., и . CADE, том 449 из Lecture Notes in Computer Science, стр. 57-71. Springer, (1990)Multi-Dimensional Heuristic Searching., и . IJCAI, стр. 316-321. Morgan Kaufmann, (1989)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)A Graph Proof Procedure for Real Time Logic., и . SEKE, стр. 300-306. IEEE Computer Society, (1992)