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

Negation in Logic Programming: A Formalization in Constructive Logic.. IS/KI, Volume 474 von Lecture Notes in Computer Science, Seite 30-46. Springer, (1990)Discerning Actuality in Backstage - Comprehensible Contextual Aging., , und . EC-TEL, Volume 7563 von Lecture Notes in Computer Science, Seite 126-139. Springer, (2012)Upside-down deduction.. BDA, Seite 91-. INRIA, (1990)Query Answering in Information Systems with Integrity Constraints.. IICIS, Volume 109 von IFIP Conference Proceedings, Seite 113-130. Chapman Hall, (1997)CodeKoan: A Source Code Pattern Search Engine Extracting Crowd Knowledge., , und . CSI-SE@ICSE, Seite 1-8. ACM, (2018)Model Theory and Entailment Rules for RDF Containers, Collections and Reification, , und . (2009)Disjunctive Logic Programming: What Applications Developers Need.. GI Jahrestagung, Seite 74. Springer, (1994)Intensional Updates: Abduction via Deduction.. ICLP, Seite 561-575. MIT Press, (1990)In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming.. Theory Pract. Log. Program., 20 (1): 99-146 (2020)More than the sum of its parts: designing learning formats from core components., , und . SAC, Seite 2473-2476. ACM, (2019)