Author of the publication

Theory Solving Made Easy with Clingo 5.

, , , , , and . ICLP (Technical Communications), volume 52 of OASICS, page 2:1-2:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

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

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report., , , , and . CoRR, (2024)Which Objective Function is Solved Faster in Multi-Agent Pathfinding? It Depends., , , , and . ICAART (3), page 23-33. SCITEPRESS, (2024)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)aspeed: ASP-based Solver Scheduling., , , and . ICLP (Technical Communications), volume 17 of LIPIcs, page 176-187. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Routing and Scheduling in different ways: Abridged Preliminary Report., , , , , and . ICLP Workshops, volume 3437 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Improving the Sum-of-Cost Methods for Reduction-Based Multi-Agent Pathfinding Solvers., , , and . ICAART (1), page 264-271. SCITEPRESS, (2024)Complex reasoning with answer set programming.. University of Potsdam, Germany, (2023)The Return of xorro., , , and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 284-297. Springer, (2019)Plingo: A System for Probabilistic Reasoning in Clingo Based on LP MLN ., , , , , and . RuleML+RR, volume 13752 of Lecture Notes in Computer Science, page 54-62. Springer, (2022)telingo = ASP + Time., , , and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 256-269. Springer, (2019)