The automatic validation tool for PDDL2.1

R. Howey, D. Long

Research output: Contribution to conferencePaper

LanguageEnglish
Pages37-38
Number of pages1
Publication statusPublished - Apr 2003
Event10th Workshop on Automated Reasoning - Liverpool, United Kingdom
Duration: 15 Apr 200316 Apr 2003

Conference

Conference10th Workshop on Automated Reasoning
Abbreviated titleARW'03
CountryUnited Kingdom
CityLiverpool
Period15/04/0316/04/03

Cite this

Howey, R., & Long, D. (2003). The automatic validation tool for PDDL2.1. 37-38. Paper presented at 10th Workshop on Automated Reasoning, Liverpool, United Kingdom.
Howey, R. ; Long, D. / The automatic validation tool for PDDL2.1. Paper presented at 10th Workshop on Automated Reasoning, Liverpool, United Kingdom.1 p.
@conference{1b252540d95a4580b50728b3c50683ac,
title = "The automatic validation tool for PDDL2.1",
author = "R. Howey and D. Long",
year = "2003",
month = "4",
language = "English",
pages = "37--38",
note = "10th Workshop on Automated Reasoning, ARW'03 ; Conference date: 15-04-2003 Through 16-04-2003",

}

Howey, R & Long, D 2003, 'The automatic validation tool for PDDL2.1' Paper presented at 10th Workshop on Automated Reasoning, Liverpool, United Kingdom, 15/04/03 - 16/04/03, pp. 37-38.

The automatic validation tool for PDDL2.1. / Howey, R.; Long, D.

2003. 37-38 Paper presented at 10th Workshop on Automated Reasoning, Liverpool, United Kingdom.

Research output: Contribution to conferencePaper

TY - CONF

T1 - The automatic validation tool for PDDL2.1

AU - Howey, R.

AU - Long, D.

PY - 2003/4

Y1 - 2003/4

UR - http://www.cis.strath.ac.uk/research/publications/papers/strath_cis_publication_991.pdf

M3 - Paper

SP - 37

EP - 38

ER -

Howey R, Long D. The automatic validation tool for PDDL2.1. 2003. Paper presented at 10th Workshop on Automated Reasoning, Liverpool, United Kingdom.