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

The automatic validation tool for PDDL2.1

Howey, R. and Long, D. (2003) The automatic validation tool for PDDL2.1. In: 10th Workshop on Automated Reasoning, 2003-04-15 - 2003-04-16, Liverpool.

[img]
Preview
PDF (strathprints002719.pdf)
Download (26Kb) | Preview
    Item type: Conference or Workshop Item (Paper)
    ID code: 2719
    Keywords: Electronic computers. Computer science
    Subjects: Science > Mathematics > Electronic computers. Computer science
    Department: Faculty of Science > Computer and Information Sciences
    Related URLs:
      Depositing user: Strathprints Administrator
      Date Deposited: 23 Mar 2007
      Last modified: 12 Jan 2014 17:38
      URI: http://strathprints.strath.ac.uk/id/eprint/2719

      Actions (login required)

      View Item

      Fulltext Downloads: