Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Protected Completions of First-Order General Logic Programs., und . J. Autom. Reason., 6 (2): 147-172 (1990)Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation., , , und . CADE, Volume 449 von Lecture Notes in Computer Science, Seite 72-86. Springer, (1990)Education - Human computing skills: rethinking the K-12 experience., und . Commun. ACM, 52 (2): 23-25 (2009)Deduction and Search Strategies for Regular Multiple-Valued Logics., , und . J. Multiple Valued Log. Soft Comput., 11 (3-4): 375-406 (2005)XML Evolution: A Two-phase XML Processing Model Using XML Prefiltering Techniques., , , und . VLDB, Seite 1215-1218. ACM, (2006)The Completeness of GP-Resolution for Annotated Logics., und . Inf. Process. Lett., 44 (3): 135-140 (1992)LinkIT: privacy preserving record linkage and integration via transformations., , und . SIGMOD Conference, Seite 1029-1032. ACM, (2013)Enabling ontology based semantic queries in biomedical database systems., , , und . CIKM, Seite 2651-2654. ACM, (2012)Classification of Resting State fMRI Datasets Using Dynamic Network Clusters., , , und . AAAI Workshop: Modern Artificial Intelligence for Health Analytics, Volume WS-14-08 von AAAI Workshops, AAAI, (2014)Intrinsic Support for Metadata Integration in Relation Federations., , , und . EFIS, Seite 117-. aka / IOS Press / infix, (2003)