Autor der Publikation

A Case for Query-driven Predicate Answer Set Programming.

, , , , und . ARCADE@CADE, Volume 51 von EPiC Series in Computing, Seite 64-68. EasyChair, (2017)

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

The Temporal Precedence Problem., , , und . Algorithmica, 28 (3): 288-306 (2000)Extended Dynamic Dependent And-Parallelism in ACE., und . J. Funct. Log. Program., (1999)FOLD-SE: Scalable Explainable AI., und . CoRR, (2022)A virtual sleep laboratory., , , und . mHealthSys@SenSys, Seite 10:1-10:2. ACM, (2011)HygeiaTel: an intelligent telemedicine system with cognitive support., , , und . mHealthSys@SenSys, Seite 9:1-9:2. ACM, (2011)ACE: And/Or-parallel Copying-based Execution of Logic Programs., und . ICLP Workshop on Parallel Execution of Logic Programs, Volume 569 von Lecture Notes in Computer Science, Seite 146-158. Springer, (1991)Modelling and Verification of Timed Systems with the Event Calculus and s(CASP)., , , , , , , und . ICLP Workshops, Volume 2970 von CEUR Workshop Proceedings, CEUR-WS.org, (2021)Cumulative Scoring-Based Induction of Default Theories., und . ICLP (Technical Communications), Volume 64 von OASIcs, Seite 2:1-2:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Towards a Universal Maths Conversion Library., , , , , und . ICCHP, Volume 3118 von Lecture Notes in Computer Science, Seite 664-669. Springer, (2004)PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures., , , und . ICLP, Volume 2237 von Lecture Notes in Computer Science, Seite 27-42. Springer, (2001)