{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:06:12Z","timestamp":1747548372035},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601562"},{"type":"electronic","value":"9783540495338"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60156-2_13","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:46:13Z","timestamp":1330278373000},"page":"167-190","source":"Crossref","is-referenced-by-count":4,"title":["Modeling cooperating agents scenarios by deductive planning methods and logical fiberings"],"prefix":"10.1007","author":[{"given":"Jochen","family":"Pfalzgraf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ute Cornelia","family":"Sigmund","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karel","family":"Stokkermans","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"13_CR1","volume-title":"Readings in Planning","author":"J. Allen","year":"1990","unstructured":"J. Allen, J. Hendler, and A. Tate. Readings in Planning. Morgan Kaufmann, San Mateo, 1990."},{"key":"13_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"},{"volume-title":"Readings in Distributed Artificial Intelligence","year":"1988","key":"13_CR3","unstructured":"A.H. Bond and L. Gasser, editors. Readings in Distributed Artificial Intelligence. Morgan Kaufmann Publ., San Mateo, California, 1988."},{"key":"13_CR4","unstructured":"S. Br\u00fcning, S. H\u00f6lldobler, J. Schneeberger, U. C. Sigmund, and M. Thielscher. Disjunction in Resource-Oriented Ddeductive Planning. Technical Report AIDA-94-03, Intellektik, Informatik, TH-Darmstadt, March 1994."},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/0304-3975(91)90198-B","volume":"81","author":"E. Csuhaj-Varju","year":"1991","unstructured":"E. Csuhaj-Varju and J. Kelemen. On the power of cooperation: a regular representation of recursively enumerable languages. Theoretical Computer Science, 81:305\u2013310, 1991.","journal-title":"Theoretical Computer Science"},{"key":"13_CR6","volume-title":"Technical Report 91-45.0","author":"F. Dargam","year":"1991","unstructured":"F. Dargam, J. Pfalzgraf, K. Stokkermans, and V. Stahl. Towards a toolkit for benchmarking scenarios in robot multi-tasking. Technical Report 91-45.0, RISC-Linz, J. Kepler University, Linz, Austria, Europe, 1991."},{"volume-title":"Distributed Artificial Intelligence","year":"1989","key":"13_CR7","unstructured":"L. Gasser and M.N. Huhns, editors. Distributed Artificial Intelligence. Morgan Kaufmann Publ., San Mateo, and Pitman, London, 1989."},{"key":"13_CR8","unstructured":"G. Gro\\e, S. H\u00f6lldobler, J. Schneeberger, U. Sigmund, and M. Thielscher. Equational Logic Programming, Actions, and Change. In Proc. Joint International Conference and Symposium on Logic Programming JICSLP'92, 1992."},{"key":"13_CR9","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":"13_CR10","first-page":"164","volume-title":"Actions and Specificity","author":"S. H\u00f6lldobler","year":"1993","unstructured":"S. H\u00f6lldobler and M. Thielscher. Actions and Specificity. In D. Miller, editor, Proceedings of the International Logic Programming Symposium (ILPS), pages 164\u2013180, Vancouver, October 1993. MIT Press."},{"key":"13_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/09528139108915277","volume":"3","author":"J. Kelemen","year":"1991","unstructured":"J. Kelemen. Syntactical models of distributed cooperative systems. J. Expt. Theor. Artif. Intell., 3:1\u201310, 1991.","journal-title":"J. Expt. Theor. Artif. Intell."},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"V. Lifschitz. Formal theories of action. In International Joint Conference on Artificial Intelligence, pages 966\u2013972. Morgan Kaufmann Publishers, Inc., 1987.","DOI":"10.1016\/B978-0-934613-32-3.50009-5"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"M. Masseron, C. Tollu, and J. Vauzielles. Generating Plans in Linear Logic. In Foundations of Software Technology and Theoretical Computer Science, pages 63\u201375. Springer, volume 472 of LNCS, 1990.","DOI":"10.1007\/3-540-53487-3_35"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"J. McCarthy. Situations and Actions and Causal Laws. Stanford Artificial Intelligence Project, Memo 2, 1963.","DOI":"10.21236\/AD0785031"},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J. McCarthy","year":"1986","unstructured":"J. McCarthy. Applications of circumscription to formalizing common-sense knowledge. Artificial Intelligence, 28:89\u2013116, 1986.","journal-title":"Artificial Intelligence"},{"key":"13_CR16","first-page":"463","volume-title":"Machine Intelligence, vol. 4","author":"J. McCarthy","year":"1969","unstructured":"J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, vol. 4, pages 463\u2013502. Edinburgh University Press, Edinburgh, 1969. Also published in: [1]."},{"key":"13_CR17","unstructured":"J. Pfalzgraf. On geometric and topological reasoning in robotics. Submitted to the Special Issue on Artificial Intelligence and Symbolic Mathematical Computation of the Annals of Mathematics and Artificial Intelligence."},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"J. Pfalzgraf. Logical fiberings and polycontextural systems. In Philippe Jorrand and Jozef Kelemen, editors, Proc. Fundamentals of Artificial Intelligence Research, LNCS 535 (subseries LNAI), pages 170\u2013184, 1991.","DOI":"10.1007\/3-540-54507-7_14"},{"key":"13_CR19","volume-title":"Technical Report 92-27","author":"J. Pfalzgraf","year":"1992","unstructured":"J. Pfalzgraf and K. Stokkermans. Scenario construction continued and extended with a view to test and enhancement of reasoning methods. Technical Report 92-27, RISC-Linz, J. Kepler University, Linz, Austria, Europe, May 1992."},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"J. Pfalzgraf and K. Stokkermans. On robotics scenarios and modeling with fibered structures. In J. Pfalzgraf and D. Wang, editors, Springer Series Texts and Monographs in Symbolic Computation, Automated Practical Reasoning: Algebraic Approaches. Springer Verlag, 1994.","DOI":"10.1007\/978-3-7091-6604-8_4"},{"key":"13_CR21","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF03037020","volume":"1","author":"E. Shapiro","year":"1983","unstructured":"E. Shapiro and A. Takeuchi. Object oriented programming in Concurrent Prolog. New Generation Computing, 1:25\u201348, 1983.","journal-title":"New Generation Computing"},{"key":"13_CR22","unstructured":"U.C. Sigmund. LLP \u2014 Lineare Logische Programmierung. Master's thesis, Intellektik, Informatik, TH Darmstadt, 1992."}],"container-title":["Lecture Notes in Computer Science","Integrating Symbolic Mathematical Computation and Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60156-2_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:55:20Z","timestamp":1605646520000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60156-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601562","9783540495338"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-60156-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}