{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:51Z","timestamp":1725663951455},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584674"},{"type":"electronic","value":"9783540489795"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58467-6_2","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:12:47Z","timestamp":1330272767000},"page":"16-27","source":"Crossref","is-referenced-by-count":5,"title":["Representing concurrent actions and solving conflicts"],"prefix":"10.1007","author":[{"given":"Sven-Erik","family":"Bornscheuer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Thielscher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"2_CR1","first-page":"866","volume-title":"Proc. of IJCAI","author":"C. Baral","year":"1993","unstructured":"C. Baral and M. Gelfond. Representing Concurrent Actions in Extended Logic Programming. In R. Bajcsy, ed., Proc. of IJCAI, p. 866\u2013871, Chamb\u00e9ry, August 1993. Morgan Kaufmann."},{"key":"2_CR2","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BF03037438","volume":"4","author":"W. Bibel","year":"1986","unstructured":"W. Bibel. A Deductive Solution for Plan Generation. New Generation Computing, 4:115\u2013132, 1986","journal-title":"New Generation Computing"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"K. L. Clark. Negation as Failure. In H. Gallaire and J. Minker, ed.'s, Workshop Logic and Data Bases, p. 293\u2013322. Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"2_CR4","first-page":"147","volume-title":"Proc. of ILPS","author":"M. Denecker","year":"1993","unstructured":"M. Denecker and D. de Schreye. Representing Incomplete Knowledge in Abductive Logic Programming. In D. Miller, ed., Proc. of ILPS, p. 147\u2013163, Vancouver, October 1993. MIT Press."},{"key":"2_CR5","first-page":"222","volume-title":"Proc. of ICLP","author":"P. M. Dung","year":"1993","unstructured":"P. M. Dung. Representing Actions in Logic Programming and its Applications in Database Updates. In D. S. Warren, ed., Proc. of ICLP, p. 222\u2013238, Budapest, June 1993. MIT Press."},{"issue":"2","key":"2_CR6","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"5","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, 5(2):189\u2013208, 1971.","journal-title":"Artificial Intelligence"},{"key":"2_CR7","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"M. Gelfond and V. Lifschitz. Representing Action and Change by Logic Programs. Journal of Logic Programming, 17:301\u2013321, 1993.","journal-title":"Journal of Logic Programming"},{"key":"2_CR8","unstructured":"G. Gro\u00dfe. Propositional State-Event Logic. To appear JELIA'94, Springer LNAI."},{"key":"2_CR9","first-page":"177","volume-title":"Proc. of IJCSLP","author":"G. Gro\u00dfe","year":"1992","unstructured":"G. Gro\u00dfe, S. H\u00f6lldobler, J. Schneeberger, U. Sigmund, and M. Thielscher. Equational Logic Programming, Actions, and Change. In K. Apt, ed., Proc. of IJCSLP, p. 177\u2013191, Washington, 1992. MIT Press."},{"key":"2_CR10","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF03037518","volume":"8","author":"S. H\u00f6lldobler","year":"1990","unstructured":"S. H\u00f6lldobler and J. Schneeberger. A New Deductive Approach to Planning. New Generation Computing, 8:225\u2013244, 1990.","journal-title":"New Generation Computing"},{"key":"2_CR11","first-page":"164","volume-title":"Proc. of ILPS","author":"S. H\u00f6lldobler","year":"1993","unstructured":"S. H\u00f6lldobler and M. Thielscher. Actions and Specificity. In D. Miller, ed., Proc. of ILPS, p. 164\u2013180, Vancouver, October 1993. MIT Press."},{"key":"2_CR12","unstructured":"S. H\u00f6lldobler and M. Thielscher. Computing Change and Specificity with Equational Logic Programs. Annals of Mathematics and Artificial Intelligence, special issue on Processing of Declarative Knowledge, 1994. (To appear)."},{"issue":"3","key":"2_CR13","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/0743-1066(84)90010-4","volume":"1","author":"J. Jaffar","year":"1984","unstructured":"J. Jaffar, J.-L. Lassez, and M. J. Maher. A theory of complete logic programs with equality. Journal of Logic Programming, 1(3):211\u2013223, 1984.","journal-title":"Journal of Logic Programming"},{"key":"2_CR14","first-page":"724","volume-title":"Proc. of IJCAI","author":"G. N. Kartha","year":"1993","unstructured":"G. N. Kartha. Soundness and Completeness Theorems for Three Formalizations of Actions. In R. Bajcsy, ed., Proc. of IJCAI, p. 724\u2013729, Chamb\u00e9ry, France, August 1993. Morgan Kaufmann."},{"key":"2_CR15","unstructured":"F. Lin and Y. Shoham. Concurrent Actions in the Situation Calculus. In Proc. of AAAI, p. 590\u2013595, South Lake Tahoe, California, 1992."},{"key":"2_CR16","volume-title":"Technical Report LiTH-IDA-R-92-30","author":"E. Sandewall","year":"1992","unstructured":"E. Sandewall. Features and Fluents. Technical Report LiTH-IDA-R-92-30, Institutionen f\u00f6r datavetenskap, Technical University Link\u00f6ping, Schweden, 1992."},{"key":"2_CR17","first-page":"738","volume-title":"Proc. of IJCAI","author":"E. Sandewall","year":"1993","unstructured":"E. Sandewall. The range of applicability of nonmonotonic logics for the inertia problem. In R. Bajcsy, ed., Proc. of IJCAI, p. 738\u2013743, Chamb\u00e9ry, France, August 1993. Morgan Kaufmann."},{"key":"2_CR18","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF00244285","volume":"8","author":"J. C. Shepherdson","year":"1992","unstructured":"J. C. Shepherdson. SLDNF-Resolution with Equality. Journal of Automated Reasoning, 8:297\u2013306, 1992.","journal-title":"Journal of Automated Reasoning"},{"key":"2_CR19","first-page":"207","volume-title":"Proc. of ICLP","author":"M. Thielscher","year":"1994","unstructured":"M. Thielscher. Representing Actions in Equational Logic Programming. In P. Van Hentenryck, ed., Proc. of ICLP, p. 207\u2013224, Santa Margherita Ligure, Italy, 1994. MIT Press."}],"container-title":["Lecture Notes in Computer Science","KI-94: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58467-6_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:16:24Z","timestamp":1619572584000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58467-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584674","9783540489795"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-58467-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}