[BibTeX] [RIS]
Planning via Model Checking: A Decision Procedure for {{\it AR}}
Type of publication: Inproceedings
Citation: cimatti:1997:pmc
Booktitle: European Conference on Planning (ECP)
Year: 1997
Pages: 130-142
Crossref: DBLP:conf/ecp/1997:
Recent Advances in AI Planning, 4th European Conference on Planning, ECP'97, Toulouse, France, September 24-26, 1997, Proceedings, Steel, Sam and Alami, Rachid (eds), Springer, 1997
DOI: 10.1007/3-540-63912-8_81
Userfields: bibsource={DBLP, http://dblp.uni-trier.de}, date-added={2012-09-03 15:47:30 +0200}, date-modified={2012-09-03 15:47:30 +0200}, project={fremdliteratur},
Keywords:
Authors Cimatti, Alessandro
Giunchiglia, Fausto
Giunchiglia, Enrico
Traverso, Paolo
Attachments
    Notes
      Topics