Add to ORKGPlanning domain analysis provides information which is useful to the domain designer, and which can also be exploited by a planner to reduce search. The TIM domain analysis tool infers types and invariants from an input domain definition and initial state. In this paper we describe extensions to the TIM system to al- low efficient processing of domains written in a more expressive language with features of ADL: types, con- ditional effects, universally quantified effects and neg- ative preconditions
This paper described an automated pattern generator to generate various synthetic data sets for clas...
As planning systems grow in sophistication and capabilities, planning domains with matching complexi...
The Planning Domain Definition Language (PDDL) is the state-of-the-art language for specifying plann...
Planning domain analysis provides information which is useful to the domain designer, and which can ...
As planning is applied to larger and richer domains the eort involved in constructing domain descrip...
A number of current planners make use of automatic domain analysis techniques to extract informatio...
This work is concerned with the automatic inference of generic types from STRIPS planning domain des...
Domain-independent, or knowledge-sparse, planning has limited practical appli-cation because of the ...
In this paper we investigate the use of ‘Generic Types’ as design patterns to assist in the specific...
The planning domain language PDDL2.1, used in the 3rd International Planning Competition, has sparke...
This paper formalises an analysis of finite domain programs and the resultant program transformation...
Planning domain descriptions contain many structural features, not made explicit by the domain desig...
We describe some new preprocessing techniques that enable faster domain-independent planning. The fi...
When attempting to perform a domain analysis, practi tioners face a difficult choice. Which of the e...
PDDL is a language for specifying deterministic planning domains and problems. We describe the basic...
This paper described an automated pattern generator to generate various synthetic data sets for clas...
As planning systems grow in sophistication and capabilities, planning domains with matching complexi...
The Planning Domain Definition Language (PDDL) is the state-of-the-art language for specifying plann...
Planning domain analysis provides information which is useful to the domain designer, and which can ...
As planning is applied to larger and richer domains the eort involved in constructing domain descrip...
A number of current planners make use of automatic domain analysis techniques to extract informatio...
This work is concerned with the automatic inference of generic types from STRIPS planning domain des...
Domain-independent, or knowledge-sparse, planning has limited practical appli-cation because of the ...
In this paper we investigate the use of ‘Generic Types’ as design patterns to assist in the specific...
The planning domain language PDDL2.1, used in the 3rd International Planning Competition, has sparke...
This paper formalises an analysis of finite domain programs and the resultant program transformation...
Planning domain descriptions contain many structural features, not made explicit by the domain desig...
We describe some new preprocessing techniques that enable faster domain-independent planning. The fi...
When attempting to perform a domain analysis, practi tioners face a difficult choice. Which of the e...
PDDL is a language for specifying deterministic planning domains and problems. We describe the basic...
This paper described an automated pattern generator to generate various synthetic data sets for clas...
As planning systems grow in sophistication and capabilities, planning domains with matching complexi...
The Planning Domain Definition Language (PDDL) is the state-of-the-art language for specifying plann...