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

Mining data from intensive care patients., , , , , , und . Adv. Eng. Informatics, 21 (3): 243-256 (2007)Translation of Aggregate Programs to Normal Logic Programs., , und . Answer Set Programming, Volume 78 von CEUR Workshop Proceedings, CEUR-WS.org, (2003)A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs., , und . ILPS, Seite 336-350. MIT Press, (1995)Constructive Induction by Analogy., und . ML, Seite 476-477. Morgan Kaufmann, (1989)A Practical Technique for Detecting Non-terminating Queries for a Restricted Class of Horn Clauses, Using Directed, Weighted Graphs., , und . ICLP, Seite 649-663. MIT Press, (1990)The Derivation of an Algorithm for Program Specialisation., und . ICLP, Seite 732-746. MIT Press, (1990)Interactive Concept-Learning and Constructive Induction by Analogy, und . Machine Learning, 8 (2): 107--150 (1992)A Practical Framework for the Abstract Interpretation of Logic Programs.. J. Log. Program., 10 (2): 91-124 (1991)Polymorphic algebraic data type reconstruction., und . PPDP, Seite 85-96. ACM, (2006)Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog., und . LPAR, Volume 1705 von Lecture Notes in Computer Science, Seite 358-375. Springer, (1999)