Autor der Publikation

Answer Set Application Programming: a Case Study on Tetris.

, und . ICLP (Technical Communications), Volume 1433 von CEUR Workshop Proceedings, CEUR-WS.org, (2015)

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

Giving hints for logic programming examples without revealing solutions., , und . SIU, Seite 513-516. IEEE, (2016)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..Finding Explanations of Inconsistency in Multi-Context Systems., , , und . KR, AAAI Press, (2010)On Structural Analysis of Non-Ground Answer-Set Programs., , und . ICLP (Technical Communications), Volume 1433 von CEUR Workshop Proceedings, CEUR-WS.org, (2015)Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis., , , und . Theory Pract. Log. Program., 17 (5-6): 780-799 (2017)Towards a Tight Integration of Syntactic Parsing with Semantic Disambiguation by means of Declarative Programming., und . IWCS, Seite 383-389. The Association for Computer Linguistics, (2013)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)Flexible Combinatory Categorial Grammar Parsing Using the CYK Algorithm and Answer Set Programming.. LPNMR, Volume 8148 von Lecture Notes in Computer Science, Seite 499-511. Springer, (2013)Semantic Reasoning with SPARQL in Heterogeneous Multi-context Systems., und . CAiSE Workshops, Volume 83 von Lecture Notes in Business Information Processing, Seite 575-585. Springer, (2011)