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: AIPS '02 Workshop on Knowledge Engineering Tools and Techniques for A.I. Planning, 2002-04-23 - 2002-04-27.

Preview

Text. Filename: 10.1.1.20.5761_1_.pdf Accepted Author Manuscript License: Strathprints license 1.0 Download (159kB)| Preview

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 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.

• Share and Export
  

  RDF+N-TriplesHTML CitationMPEG-21 DIDLEP3 XMLJSONOpenURL ContextObjectRefWorksDublin CoreSimple MetadataRIOXX2 XMLASCII CitationRIS (EndNote Online, Zotero, Ref manager, etc)METSReferMultiline CSVRDF+XMLEndNoteOpenURL ContextObject in SpanAtomRDF+N3MODSBibTeXData Cite XML
• Item metadata

  Item type:	Conference or Workshop Item(Paper)
  ID code:	1950
  Dates:	Date Event April 2002 Published
  Subjects:	Science > Mathematics > Electronic computers. Computer science
  Department:	Faculty of Science > Computer and Information Sciences
  Depositing user:	Strathprints Administrator
  Date deposited:	02 Nov 2006
  Last modified:	29 Jan 2025 14:43
  URI:	https://strathprints.strath.ac.uk/id/eprint/1950