Author of the publication

The Seventh Answer Set Programming Competition: Design and Results.

, , and . Theory Pract. Log. Program., 20 (2): 176-204 (2020)

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

Lifting symmetry breaking constraints with inductive logic programming., , and . Mach. Learn., 111 (4): 1303-1326 (2022)Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems., , , and . Theory Pract. Log. Program., 22 (4): 606-622 (2022)Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling., , and . Theory Pract. Log. Program., 22 (4): 623-639 (2022)Aggregate Semantics for Propositional Answer Set Programs., , and . Theory Pract. Log. Program., 23 (1): 157-194 (2023)Reinforcement Learning of Dispatching Strategies for Large-Scale Industrial Scheduling., , , , , and . ICAPS, page 638-646. AAAI Press, (2022)Improving Applicability of Planning in the RoboCup Logistics League Using Macro-actions Refinement., , , and . RoboCup, volume 14140 of Lecture Notes in Computer Science, page 287-298. Springer, (2023)ASP-Core-2 Input Language Format., , , , , , , , , and . Theory Pract. Log. Program., 20 (2): 294-309 (2020)Symbolic Artificial Intelligence Methods for Prescriptive Analytics., , and . Digital Transformation, Springer, (2022)An ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning Problem., , and . ICLP Workshops, volume 2678 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)Lifting Symmetry Breaking Constraints with Inductive Logic Programming., , and . IJCAI, page 2062-2068. ijcai.org, (2021)