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

Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators., , , und . IJCAI, Seite 1688-1694. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Modeling Variations of First-Order Horn Abduction in Answer Set Programming.. Fundam. Informaticae, 149 (1-2): 159-207 (2016)Pushing Efficient Evaluation of HEX Programs by Modular Decomposition., , , , und . LPNMR, Volume 6645 von Lecture Notes in Computer Science, Seite 93-106. Springer, (2011)Semi-supervised Case-based Reasoning Approach to Alarm Flood Analysis., , und . ML4CPS, Seite 53-61. Springer, (2017)Improving Scalability of Inductive Logic Programming via Pruning and Best-Effort Optimisation., , und . CoRR, (2017)Eliminating Unfounded Set Checking for HEX-Programs, , , , und . CoRR, (2013)Finding explanations of inconsistency in multi-context systems., , , und . Artif. Intell., (2014)A model building framework for Answer Set Programming with external computations., , , , , und . CoRR, (2015)Giving hints for logic programming examples without revealing solutions., , und . SIU, Seite 513-516. IEEE, (2016)Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis., , , und . Theory Pract. Log. Program., 17 (5-6): 780-799 (2017)