{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:44Z","timestamp":1725663824269},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540545354"},{"type":"electronic","value":"9783540384595"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54535-2_34","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:59:50Z","timestamp":1330192790000},"page":"195-209","source":"Crossref","is-referenced-by-count":4,"title":["Consistency driven planning"],"prefix":"10.1007","author":[{"given":"Martin","family":"Decker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Moerkotte","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"M\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joachim","family":"Posegga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"14_CR1","unstructured":"M. Decker. Entwurf und Implementierung eines Planers basierend auf einem Konsistenzerhaltungsmechanismus einer deduktiven Datenbank. Diplomarbeit, 1991."},{"key":"14_CR2","unstructured":"J. Dix, J. Posegga, and P.H. Schmitt. Modal Logic for AI Planning. In First Intern. Conf. on Expert Planning Systems, Brighton, UK, July 1990. IEE."},{"key":"14_CR3","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. Fikes","year":"1971","unstructured":"R. Fikes and N. Nilsson. STRIPS: A new approach to theorem proving in problem solving. Artificial Intelligence, 2:189 ff., 1971.","journal-title":"Artificial Intelligence"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"M. L. Ginsberg and D. E. Smith. Possible worlds planning I + II. Artificial Intelligence, 35, 1988.","DOI":"10.1016\/0004-3702(88)90020-3"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"C. Green. Application of theorem proving to problem solving. In Proc. 1st IJCAI, Washington D.C., 1969.","DOI":"10.21236\/ADA459656"},{"key":"14_CR6","series-title":"DCL TechReport","volume-title":"Logic for problem solving","author":"R. Kowalski","year":"1974","unstructured":"R. Kowalski. Logic for problem solving. DCL TechReport 75, DAI, Edinburgh, Scotland, 1974."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Vladimir Lifschitz. On the semantics of STRIPS. In Michael P. Georgeff and Amy L. Lansky, editors, Reasoning about Actions and Plans, Proceedings of the 1986 Workshop, Los Altos, CA, 1987. Morgan Kaufmann.","DOI":"10.1016\/B978-0-934613-30-9.50004-4"},{"key":"14_CR8","volume-title":"Machine Intelligence 4","author":"J. McCarthy","year":"1969","unstructured":"John McCarthy and Pat Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4. Edinburgh University Press, Edinburgh, Scotland, 1969."},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"G. Moerkotte. Inkonsistenzen in deduktiven Datenbanken (Inconsistencies in deductive databases). Informatik Fachberichte Nr. 248. Springer-Verlag, 1990.","DOI":"10.1007\/978-3-642-84278-8"},{"key":"14_CR10","unstructured":"G. Moerkotte and P.C. Lockemann. Reactive consistency control in deductive databases. tech. report 3\/90, Universit\u00e4t Karlsruhe, 1989."},{"key":"14_CR11","first-page":"227","volume":"18","author":"J.-M. Nicolas","year":"1982","unstructured":"J.-M. Nicolas. Logic for improving integrity checking in relational data bases. Acta Informatica, 18, 1982. 227\u2013253.","journal-title":"Acta Informatica"},{"key":"14_CR12","first-page":"227","volume-title":"Logic And Data Bases","author":"R. Reiter","year":"1978","unstructured":"R. Reiter. On closed world data bases. In: H. Gallaire And J. Minker (Eds.), Logic And Data Bases, Plenum, New York, 1978. 227\u2013253."},{"key":"14_CR13","unstructured":"Marianne Winslett. Theory Revision Semantics for Use in Reasoning about Actions. In Proc. AAAI-88, 1988."}],"container-title":["Lecture Notes in Computer Science","EPIA 91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54535-2_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:55:35Z","timestamp":1605628535000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54535-2_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540545354","9783540384595"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-54535-2_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}