2 citations · 2 across the 3 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
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★ 2 cited
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…