2 papers
cs.AI2019
Mutex Graphs and Multicliques: Reducing Grounding Size for Planning
David Spies, Jia-Huai You, Ryan Hayward
We present an approach to representing large sets of mutual exclusions, also known as mutexes or mutex constraints. These are the types of constraints that specify the exclusion of…
cs.AI2019
Domain-Independent Cost-Optimal Planning in ASP
David Spies, Jia-Huai You, Ryan Hayward
We investigate the problem of cost-optimal planning in ASP. Current ASP planners can be trivially extended to a cost-optimal one by adding weak constraints, but only for a given ma…