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

The Expressive Power of Higher-Order Datalog., , und . Theory Pract. Log. Program., 19 (5-6): 925-940 (2019)Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation., , und . Theory Pract. Log. Program., 14 (4-5): 725-737 (2014)KOBE: Cloud-Native Open Benchmarking Engine for Federated Query Processors., , , , , und . ESWC, Volume 12731 von Lecture Notes in Computer Science, Seite 664-679. Springer, (2021)Higher-order logic programming: An expressive language for representing qualitative preferences., , und . Sci. Comput. Program., (2018)Workload-Aware Self-Tuning Histograms of String Data., , , , und . DEXA (1), Volume 9261 von Lecture Notes in Computer Science, Seite 285-299. Springer, (2015)Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs., , und . FICS, Volume 191 von EPTCS, Seite 18-32. (2015)Efficient Intensional Implementation for Lazy Functional Languages., , , und . Math. Comput. Sci., 2 (1): 123-141 (2008)Lexicographic Logic: a Many-valued Logic for Preference Representation., , , und . CoRR, (2020)Dataset Descriptions for Optimizing Federated Querying., , und . WWW (Companion Volume), Seite 17-18. ACM, (2015)Extensional Higher-Order Logic Programming, , , und . CoRR, (2011)