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

Understanding Rulelog Computations in Silk., , , , , , , , und . CoRR, (2013)ETL Workflow Analysis and Verification Using Backwards Constraint Propagation., , , , und . CAiSE, Volume 5565 von Lecture Notes in Computer Science, Seite 455-469. Springer, (2009)Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs., und . PADL, Volume 7752 von Lecture Notes in Computer Science, Seite 173-189. Springer, (2013)Deriving predicate statistics in datalog., und . PPDP, Seite 45-56. ACM, (2010)Deriving Predicate Statistics for Logic Rules., und . RR, Volume 7497 von Lecture Notes in Computer Science, Seite 139-155. Springer, (2012)Advanced Knowledge Base Debugging for Rulelog., , , , , , , , und . RuleML (2), Volume 1004 von CEUR Workshop Proceedings, CEUR-WS.org, (2013)OpenRuleBench: an analysis of the performance of rule engines., , , und . WWW, Seite 601-610. ACM, (2009)Logic Programming with Defaults and Argumentation Theories., , , , und . ICLP, Volume 5649 von Lecture Notes in Computer Science, Seite 432-448. Springer, (2009)A practical analysis of non-termination in large logic programs., und . Theory Pract. Log. Program., 13 (4-5): 705-719 (2013)Non-termination Analysis and Cost-Based Query Optimization of Logic Programs.. RR, Volume 7497 von Lecture Notes in Computer Science, Seite 284-290. Springer, (2012)