2 papers
cs.AI2024
The Universal PDDL Domain
Patrik Haslum, Augusto B. Corrêa
In AI planning, it is common to distinguish between planning domains and problem instances, where a "domain" is generally understood as a set of related problem instances. This dis…
cs.AI2023
A More General Theory of Diagnosis from First Principles
Alban Grastien, Patrik Haslum, Sylvie Thiébaux
Model-based diagnosis has been an active research topic in different communities including artificial intelligence, formal methods, and control. This has led to a set of disparate…