{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:38:58Z","timestamp":1725467938065},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540649939"},{"type":"electronic","value":"9783540497936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0057447","type":"book-chapter","created":{"date-parts":[[2006,7,31]],"date-time":"2006-07-31T00:47:47Z","timestamp":1154306867000},"page":"221-229","source":"Crossref","is-referenced-by-count":2,"title":["Planning via model checking in determistic domains: Preliminary report"],"prefix":"10.1007","author":[{"given":"Mauro","family":"Di Manzo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Giunchiglia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simone","family":"Ruffino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,6,27]]},"reference":[{"key":"18_CR1","unstructured":"J. Allen, J. Hendler, and A. Tate (Eds.). Reading in planning. Morgan Kaufmann, 1990."},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Anthony Barrett and Daniel S. Weld. Partial order planning: Evaluating possible efficiency gains. Artificial Intelligence, July 1994.","DOI":"10.1016\/0004-3702(94)90012-4"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Avrim Blum and Merrick Furst. Fast planning through planning graph analysis. In Proc. of IJCAI-95, pages 1636\u20131642, 1995.","DOI":"10.21236\/ADA303260"},{"key":"18_CR4","volume-title":"Technical Report 9801-06","author":"A. Cimatti","year":"1998","unstructured":"A. Cimatti, E. Clarke, F. Giunchiglia, and M. Roveri. Nusmv: a reimplementation of Smv. In International Workshop on Software and Tools for Technology Transfer BRICS, Aalborg, Denmark, July 12\u201313, 1998. Technical Report 9801-06, IRST, Trento, Italy, January 1998."},{"key":"18_CR5","first-page":"130","volume-title":"number 1348 in Lecture Notes in Artificial Intelligence","author":"A. Cimatti","year":"1997","unstructured":"A. Cimatti, E. Giunchiglia, F. Giunchiglia, and P. Traverso. Planning via Model Checking: A Decision Procedure for AR. In S. Steel and R. Alami, editors, Proceeding of the Fourth European Conference on Planning, number 1348 in Lecture Notes in Artificial Intelligence, pages 130\u2013142, Toulouse, France, September 1997. Springer-Verlag. Also ITC-IRST Technical Report 9705-02, ITC-IRST Trento, Italy."},{"key":"18_CR6","unstructured":"A. Cimatti, M. Roveri, and P. Traverso. Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains. In Proceeding of the Fifteenth National Conference on Artificial Intelligence (AAAI-98), July 26\u201330, 1998, Madison, Wisconsin."},{"key":"18_CR7","volume-title":"Strong Planning in Non-Deterministic Domains via Model Checking","author":"A. Cimatti","year":"1998","unstructured":"A. Cimatti, M. Roveri, and P. Traverso. Strong Planning in Non-Deterministic Domains via Model Checking. In Proceeding of the Fourth International Conference on Artificial Intelligence Planning Systems (AIPS-98), Carnegie Mellon University, Pittsburgh, USA, June 1998. AAAI-Press."},{"key":"18_CR8","unstructured":"E.M. Clarke and E. A. Emerson. Synthesis of synchronization skeletons for branching time temporal logic. In Logic of Programs: Workshop. Springer Verlag, May 1981. Lecture Notes in Computer Science No. 131."},{"issue":"1\u20132","key":"18_CR9","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/0004-3702(95)00046-1","volume":"81","author":"J. Crawford","year":"1996","unstructured":"James Crawford and Larry Auton. Experimental results on the crossover point in satisfiability problems. Artificial Intelligence, 81(1\u20132):31\u201358, 1996.","journal-title":"Artificial Intelligence"},{"key":"18_CR10","unstructured":"Michael Ernst, Todd Millstein, and Daniel Weld. Automatic SAT-compilation of planning problems. In Proc. IJCAI-97, 1997."},{"issue":"3\u20134","key":"18_CR11","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. E. Fikes","year":"1971","unstructured":"R. E. Fikes and N. J. Nilsson. STRIPS: A new approach to the application of Theorem Proving to Problem Solving. Artificial Intelligence, 2(3\u20134):189\u2013208, 1971.","journal-title":"Artificial Intelligence"},{"key":"18_CR12","unstructured":"Michael Gelfond and Vladimir Lifschitz. Representing actions in extended logic programming. In Krzysztof Apt, editor, Proc. Joint Int'l Conf. and Symp. on Logic Programming, pages 559\u2013573, 1992."},{"key":"18_CR13","volume-title":"Determining Ramifications in the Situation Calculus","author":"E. Giunchiglia","year":"1996","unstructured":"Enrico Giunchiglia. Determining Ramifications in the Situation Calculus. In In Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts, November, 5\u20138 1996. Morgan Kaufmann Publishers."},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1016\/S0004-3702(97)00037-4","volume":"95","author":"E. Giunchiglia","year":"1997","unstructured":"Enrico Giunchiglia, G. Neelakantan Kartha, and Vladimir Lifschitz. Representing action: indeterminacy and ramifications. Artificial Intelligence, 95:409\u2013443, 1997.","journal-title":"Artificial Intelligence"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Cordell Green. Application of theorem proving to problem solving. In Proc. IJCAI, pages 219\u2013240, 1969.","DOI":"10.21236\/ADA459656"},{"issue":"3","key":"18_CR16","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","volume":"33","author":"S. Hanks","year":"1987","unstructured":"Steve Hanks and Drew McDermott. Nonmonotonic logic and temporal projection. Artificial Intelligence, 33(3):379\u2013412, 1987.","journal-title":"Artificial Intelligence"},{"key":"18_CR17","unstructured":"Henry Kautz and Bart Selman. Planning as satisfiability. In Proc. ECAI-92, pages 359\u2013363, 1992."},{"key":"18_CR18","unstructured":"Henry Kautz and Bart Selman. Pushing the envelope: planning, propositional logic and stochastic search. In Proc. AAAI-96, pages 1194\u20131201, 1996."},{"key":"18_CR19","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1023\/A:1018973620715","volume":"21","author":"V. Lifschitz","year":"1997","unstructured":"Vladimir Lifschitz. Two components of an action language. Annals of Mathematics and Artificial Intelligence, 21:305\u2013320, 1997.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"18_CR20","volume-title":"Formalizing Common Sense: Papers by John McCarthy","author":"J. McCarthy","year":"1990","unstructured":"John McCarthy. Formalizing Common Sense: Papers by John McCarthy. Ablex, Norwood, NJ, 1990."},{"key":"18_CR21","first-page":"463","volume-title":"Machine Intelligence, volume 4","author":"J. McCarthy","year":"1969","unstructured":"John McCarthy and Patrick Hayes. Some philosophical problems from the stand-point of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 4, pages 463\u2013502. Edinburgh University Press, Edinburgh, 1969. Reproduced in [20]."},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"Kenneth McMillan. Symbolic Model Checking. PhD thesis, Carnegie Mellon University, 1992.","DOI":"10.1007\/978-1-4615-3190-6"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence: Methodology, Systems, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0057447","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T08:15:47Z","timestamp":1555748147000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0057447"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649939","9783540497936"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0057447","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}