%0 Conference Paper %1 Giunchiglia99 %A Giunchiglia, Fausto %A Traverso, Paolo %B ECP %D 1999 %K model-checking, planning %P 1--20 %T Planning as Model Checking %U http://citeseer.ist.psu.edu/giunchiglia99planning.html %X The goal of this paper is to provide an introduction, with various elements of novelty, to the Planning as Model Checking paradigm. 1 Introduction The key idea underlying the Planning as Model Checking paradigm is that planning problems should be solved model-theoretically. Planning domains are formalized as semantic models. Properties of planning domains are formalized as temporal formulas. Planning is done by verifying whether temporal formulas are true in a semantic model. The most...

@inproceedings{Giunchiglia99, abstract = {{The goal of this paper is to provide an introduction, with various elements of novelty, to the Planning as Model Checking paradigm. 1 Introduction The key idea underlying the Planning as Model Checking paradigm is that planning problems should be solved model-theoretically. Planning domains are formalized as semantic models. Properties of planning domains are formalized as temporal formulas. Planning is done by verifying whether temporal formulas are true in a semantic model. The most...}}, added-at = {2011-05-04T16:04:17.000+0200}, author = {Giunchiglia, Fausto and Traverso, Paolo}, biburl = {https://www.bibsonomy.org/bibtex/2cd09a7d269a482321990b1ad6c7bba79/baisemain}, booktitle = {ECP}, citeulike-article-id = {1297450}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/giunchiglia99planning.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/giunchiglia99planning.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/giunchiglia99planning.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/giunchiglia99planning.html}, interhash = {016d5d18ac705e226b6d474caf12b32d}, intrahash = {cd09a7d269a482321990b1ad6c7bba79}, keywords = {model-checking, planning}, pages = {1--20}, posted-at = {2007-05-15 17:00:51}, priority = {4}, timestamp = {2011-05-04T16:04:38.000+0200}, title = {{Planning as Model Checking}}, url = {http://citeseer.ist.psu.edu/giunchiglia99planning.html}, year = 1999 }