{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:39:56Z","timestamp":1725493196757},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441908"},{"type":"electronic","value":"9783540457572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45757-7_51","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T17:50:39Z","timestamp":1192902639000},"page":"541-544","source":"Crossref","is-referenced-by-count":9,"title":["The DLVK Planning System: Progress Report"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Eiter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Faber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Leone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerald","family":"Pfeifer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Polleres","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"T. Eiter, W. Faber, N. Leone, and G. Pfeifer. Declarative Problem-Solving Using the DLV System. In: Logic-Based Artificial Intelligence, pp. 79\u2013103. Kluwer, 2000.","key":"51_CR1","DOI":"10.1007\/978-1-4615-1567-8_4"},{"doi-asserted-by":"crossref","unstructured":"T. Eiter, W. Faber, N. Leone, G. Pfeifer, and A. Polleres. Planning under incomplete knowledge. CL2000, pp. 807\u2013821, London, UK, July 2000. Springer Verlag.","key":"51_CR2","DOI":"10.1007\/3-540-44957-4_54"},{"unstructured":"T. Eiter, W. Faber, N. Leone, G. Pfeifer, and A. Polleres. A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity. Technical Report INFSYS RR-1843-01-11, TU Wien, December 2001.","key":"51_CR3"},{"unstructured":"T. Eiter, W. Faber, N. Leone, G. Pfeifer, and A. Polleres. A Logic Programming Approach to Knowledge-State Planning, II: the DLVK System. Technical Report INFSYS RR-1843-01-12, TU Wien, December 2001.","key":"51_CR4"},{"unstructured":"T. Eiter, W. Faber, N. Leone, G. Pfeifer, and A. Polleres. Answer set planning under action costs. Unpublished manuscript, available from the authors.","key":"51_CR5"},{"issue":"3\u20134","key":"51_CR6","first-page":"193","volume":"2","author":"M. Gelfond","year":"1998","unstructured":"M. Gelfond and V. Lifschitz. Action languages. Electronic Transactions on Artificial Intelligence, 2(3\u20134):193\u2013210, 1998.","journal-title":"Electronic Transactions on Artificial Intelligence"},{"unstructured":"E. Giunchiglia and V. Lifschitz. An Action Language Based on Causal Explanation: Preliminary Report. In AAAI\u2019 98, pp. 623\u2013630, 1998.","key":"51_CR7"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45757-7_51","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:07:51Z","timestamp":1556921271000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_51","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}