Author of the publication

Exploiting Type Analysis for Unification in a Distributed Environment.

, , , and . Comput. Artif. Intell., 18 (5): 447-465 (1999)

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

Multi-level Copying For Unification In Parallel Architectures., , , and . PDP, page 518-525. IEEE, (1994)Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach., , , , and . Theory Pract. Log. Program., 19 (3): 449-476 (2019)Fun&Co: identification of key functional differences in transcriptomes., , , , , , , , and . Bioinform., 23 (20): 2725-2732 (2007)Mapping of Deontic Operators to Abductive Expectations., , , , , and . NORMAS, page 126-136. (2005)A knowledge based system for the anticoagulant oral therapy., , , , , and . Intelligenza Artificiale, 1 (4): 9-15 (2004)An Algorithm for Learning Abductive Rules., , , and . APPIA-GULP-PRODE, page 295-306. (1997)A distributed constraint-based scheduler., , and . Artif. Intell. Eng., 11 (2): 91-105 (1997)Statistical relational learning for workflow mining., , and . Intell. Data Anal., 20 (3): 515-541 (2016)LAILA: a language for coordinating abductive reasoning among logic agents., , , and . Comput. Lang., 27 (4): 137-161 (2001)Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture., , , and . ELP, volume 798 of Lecture Notes in Computer Science, page 62-76. Springer, (1993)