Author of the publication

Compiling Rules and Queries in Knowledge Base Systems: A Substitution-Based Approach.

, and . SEKE, page 109-115. IEEE Computer Society, (1992)

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

On Exclusive Disjunctions in Deductive Database., and . DASFAA, volume 4 of Advanced Database Research and Development Series, page 353-359. World Scientific, (1993)Evaluation of Recursive Queries with Extended Rules in Deductive Databases., and . IEEE Trans. Knowl. Data Eng., 7 (2): 328-331 (1995)Human-Computer Interfaces for Sensor/Actuator Networks., and . HCI (2), volume 9732 of Lecture Notes in Computer Science, page 379-387. Springer, (2016)Discovering and Resolving User Intent in Heterogeneous Databases., and . ISMIS, volume 1932 of Lecture Notes in Computer Science, page 389-399. Springer, (2000)Hyper Resolution and Equality Axioms without Function Substitutions., and . CADE, volume 449 of Lecture Notes in Computer Science, page 456-469. Springer, (1990)The Level-Cycle Merging Method., and . DOOD, page 65-81. North-Holland/Elsevier Science Publishers, (1989)A New Hyperparamodulation Strategy for the Equality Relation., and . IJCAI, page 1138-1145. Morgan Kaufmann, (1985)An Efficient Indefiniteness Inference Scheme in Indefinite Deductive Databases., , and . IEEE Trans. Knowl. Data Eng., 6 (5): 713-722 (1994)User Interface for Vehicle Theft Recovery System., and . HCI (30), volume 12791 of Lecture Notes in Computer Science, page 56-72. Springer, (2021)A Top-Down Inference Procedure for Template Dependencies., and . Comput. J., 31 (1): 51-55 (1988)