Author of the publication

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

Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation., , , and . CADE, volume 449 of Lecture Notes in Computer Science, page 72-86. Springer, (1990)XML Evolution: A Two-phase XML Processing Model Using XML Prefiltering Techniques., , , and . VLDB, page 1215-1218. ACM, (2006)The Completeness of GP-Resolution for Annotated Logics., and . Inf. Process. Lett., 44 (3): 135-140 (1992)LinkIT: privacy preserving record linkage and integration via transformations., , and . SIGMOD Conference, page 1029-1032. ACM, (2013)Enabling ontology based semantic queries in biomedical database systems., , , and . CIKM, page 2651-2654. ACM, (2012)A case study in the meta-reasoning procedure ND., , and . J. Exp. Theor. Artif. Intell., 15 (1): 47-71 (2003)Intrinsic Support for Metadata Integration in Relation Federations., , , and . EFIS, page 117-. aka / IOS Press / infix, (2003)Classification of Resting State fMRI Datasets Using Dynamic Network Clusters., , , and . AAAI Workshop: Modern Artificial Intelligence for Health Analytics, volume WS-14-08 of AAAI Workshops, AAAI, (2014)Inference for Annotated Logics over Distributive Lattices., , , , and . ISMIS, volume 2366 of Lecture Notes in Computer Science, page 285-293. Springer, (2002)A Foundation for Hybrid Knowledge Bases., , and . FSTTCS, volume 1738 of Lecture Notes in Computer Science, page 155-167. Springer, (1999)