Autor der Publikation

Degrees of Laziness in Grounding - Effects of Lazy-Grounding Strategies on ASP Solving.

, , und . LPNMR, Volume 11481 von Lecture Notes in Computer Science, Seite 298-311. Springer, (2019)

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

Degrees of Laziness in Grounding - Effects of Lazy-Grounding Strategies on ASP Solving., , und . LPNMR, Volume 11481 von Lecture Notes in Computer Science, Seite 298-311. Springer, (2019)Enabling Integrated Product and Factory Configuration in Smart Production Ecosystems., , , und . SEAA, Seite 266-273. IEEE Computer Society, (2017)Influence of ASP Language Constructs on the Performance of State-of-the-Art Solvers., und . KI, Volume 9904 von Lecture Notes in Computer Science, Seite 88-101. Springer, (2016)Solving Configuration Problems with ASP and Declarative Domain Specific Heuristics., , , und . ConfWS, Volume 2945 von CEUR Workshop Proceedings, Seite 13-20. CEUR-WS.org, (2021)Constraint Solver Requirements for Interactive Configuration., , , , und . ConfWS, Volume 2467 von CEUR Workshop Proceedings, Seite 65-72. CEUR-WS.org, (2019)Integrating Semantic Web Technologies and ASP for Product Configuration., , , und . ConfWS, Volume 2220 von CEUR Workshop Proceedings, Seite 53-60. CEUR-WS.org, (2018)Speeding up Lazy-Grounding Answer Set Solving.. ICLP (Technical Communications), Volume 64 von OASIcs, Seite 20:1-20:9. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming., , , und . CoRR, (2022)Applying incremental answer set solving to product configuration., , und . SPLC (B), Seite 150-155. ACM, (2022)Towards Inductive Learning of Domain-Specific Heuristics for ASP.. HYDRA/RCRA@LPNMR, Volume 3281 von CEUR Workshop Proceedings, Seite 21-33. CEUR-WS.org, (2022)