( en | de | ru )

 

Disambiguation of "Kaminski, Roland"

Author of the publication

copydeleteadd this publication to your clipboard
Engineering an Incremental ASP Solver.

, , , , , and . ICLP, volume 5366 of Lecture Notes in Computer Science, page 190-205. Springer, (2008)

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.

Hans Kaminski

Astrid Kaminski

Lars Kaminski

Karl Kaminski

Horst Kaminski

 

Other publications of authors with the same name

How to Build Your Own ASP-based System?!, , , and . Theory Pract. Log. Program., 23 (1): 299-361 (2023)Solver Scheduling via Answer Set Programming., , , and . CoRR, (2014)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)On the Foundations of Grounding in Answer Set Programming., and . Theory Pract. Log. Program., 23 (6): 1138-1197 (November 2023)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)How to build your own ASP-based system?!, , , and . CoRR, (2020)telingo = ASP + Time., , , and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 256-269. Springer, (2019)