( en | de | ru )

 

Disambiguation of "Henschen, Lawrence J."

Author of the publication

copydeleteadd this publication to your clipboard
The Completeness of GP-Resolution for Annotated Logics.

, and . Inf. Process. Lett., 44 (3): 135-140 (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.

Harm Henschen

Tobias Henschen

Stephan Henschen

Ursula Henschen

Erwin Henschen

 

Other publications of authors with the same name

Evaluation of Recursive Queries with Extended Rules in Deductive Databases., and . IEEE Trans. Knowl. Data Eng., 7 (2): 328-331 (1995)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)Human-Computer Interfaces for Sensor/Actuator Networks., and . HCI (2), volume 9732 of Lecture Notes in Computer Science, page 379-387. Springer, (2016)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)On Exclusive Disjunctions in Deductive Database., and . DASFAA, volume 4 of Advanced Database Research and Development Series, page 353-359. World Scientific, (1993)An Efficient Indefiniteness Inference Scheme in Indefinite Deductive Databases., , and . IEEE Trans. Knowl. Data Eng., 6 (5): 713-722 (1994)A Top-Down Inference Procedure for Template Dependencies., and . Comput. J., 31 (1): 51-55 (1988)User Interface for Vehicle Theft Recovery System., and . HCI (30), volume 12791 of Lecture Notes in Computer Science, page 56-72. Springer, (2021)