Author of the publication

Answer Set Solving in Practice

, , , and . Synthesis Lectures on Artificial Intelligence and Machine Learning Morgan & Claypool Publishers, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Solver Scheduling via Answer Set Programming., , , and . CoRR, (2014)How to Build Your Own ASP-based System?!, , , and . Theory Pract. Log. Program., 23 (1): 299-361 (2023)Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report., , , , and . CoRR, (2024)Multi-shot ASP solving with clingo., , , and . Theory Pract. Log. Program., 19 (1): 27-82 (2019)Which Objective Function is Solved Faster in Multi-Agent Pathfinding? It Depends., , , , and . ICAART (3), page 23-33. SCITEPRESS, (2024)On the Foundations of Grounding in Answer Set Programming., and . Theory Pract. Log. Program., 23 (6): 1138-1197 (November 2023)aspeed: ASP-based Solver Scheduling., , , and . ICLP (Technical Communications), volume 17 of LIPIcs, page 176-187. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Multi-Agent Pathfinding with Predefined Paths: To Wait, or Not to Wait, That Is the Question Extended Abstract., , , , , and . SOCS, page 185-186. AAAI Press, (2023)telingo = ASP + Time., , , and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 256-269. Springer, (2019)How to build your own ASP-based system?!, , , and . CoRR, (2020)