Strathprints logo
Strathprints Home | Open Access | Browse | Search | User area | Copyright | Help | Library Home | SUPrimo

Extending TIM domain analysis to handle ADL constructs

Cresswell, S. and Fox, M. and Long, D. (2002) Extending TIM domain analysis to handle ADL constructs. In: UNSPECIFIED.

Full text not available in this repository. (Request a copy from the Strathclyde author)


Planning 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 de¯nition and initial state. In this paper we describe extensions to the TIM system to allow efficient processing of domains written in a more expressive language with features of ADL: types, conditional efects, universally quantifed effects and negative preconditions.

Item type: Conference or Workshop Item (Paper)
ID code: 31981
Keywords: domain analysis, TIM system, ADL, effcient processing, Chemistry, Electronic computers. Computer science, Computer software
Subjects: Science > Chemistry
Science > Mathematics > Electronic computers. Computer science
Science > Mathematics > Computer software
Department: Faculty of Science > Pure and Applied Chemistry
Faculty of Science > Computer and Information Sciences
Depositing user: Pure Administrator
Date Deposited: 15 Aug 2011 15:44
Last modified: 11 Dec 2015 06:15

Actions (login required)

View Item View Item