Author of the publication

An Efficient Indefiniteness Inference Scheme in Indefinite Deductive Databases.

, , and . IEEE Trans. Knowl. Data Eng., 6 (5): 713-722 (1994)

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

A New Hyperparamodulation Strategy for the Equality Relation., and . IJCAI, page 1138-1145. Morgan Kaufmann, (1985)Discovering and Resolving User Intent in Heterogeneous Databases., and . ISMIS, volume 1932 of Lecture Notes in Computer Science, page 389-399. Springer, (2000)Human-Computer Interfaces for Sensor/Actuator Networks., and . HCI (2), volume 9732 of Lecture Notes in Computer Science, page 379-387. Springer, (2016)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)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)On the Integration of Multiple Modeling Methodologies into a Single User Interface., and . HCI (23), volume 12203 of Lecture Notes in Computer Science, page 193-206. Springer, (2020)A Broad Platform for Smart City Projects Idea Contribution and Interaction., and . HCI (24), volume 13325 of Lecture Notes in Computer Science, page 158-168. Springer, (2022)User Interface for Vehicle Theft Recovery System., and . HCI (30), volume 12791 of Lecture Notes in Computer Science, page 56-72. Springer, (2021)