Extending TIM domain analysis to handle ADL constructs

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

Abstract

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.

• Share and Export
  

  MPEG-21 DIDLASCII CitationHTML CitationRefWorksMETSSimple MetadataRDF+XMLMultiline CSVEndNoteEP3 XMLBibTeXRDF+N3AtomData Cite XMLMODSJSONOpenURL ContextObject in SpanRDF+N-TriplesDublin CoreReferOpenURL ContextObjectRIOXX2 XMLRIS (EndNote Online, Zotero, Ref manager, etc)
• Item metadata

  Item type:	Conference or Workshop Item(Paper)
  ID code:	31981
  Dates:	Date Event 2002 Published
  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 Nov 2024 16:29
  URI:	https://strathprints.strath.ac.uk/id/eprint/31981