Autor der Publikation

Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures

, , , , und (Hrsg.) Volume 4126 von Lecture Notes in Computer Science, Springer, (2006)

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)Query Answering in Information Systems with Integrity Constraints.. IICIS, Volume 109 von IFIP Conference Proceedings, Seite 113-130. Chapman Hall, (1997)Upside-down deduction.. BDA, Seite 91-. INRIA, (1990)In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming.. CoRR, (2018)CodeKoan: A Source Code Pattern Search Engine Extracting Crowd Knowledge., , und . CSI-SE@ICSE, Seite 1-8. ACM, (2018)On the number of 1-factors of locally finite graphs.. J. Comb. Theory B, 34 (1): 48-57 (1983)Anfragesprachen neu erdacht.. Künstliche Intell., 26 (1): 15-25 (2012)Logical Rewritings for Improving the Evaluation of Quantified Queries.. MFDBS, Volume 364 von Lecture Notes in Computer Science, Seite 100-116. Springer, (1989)More than the sum of its parts: designing learning formats from core components., , und . SAC, Seite 2473-2476. ACM, (2019)