{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:53Z","timestamp":1725664973398},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617327"},{"type":"electronic","value":"9783540707400"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61732-9_64","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:16:34Z","timestamp":1330276594000},"page":"289-304","source":"Crossref","is-referenced-by-count":2,"title":["Towards a sheaf semantics for cooperating agents scenarios"],"prefix":"10.1007","author":[{"given":"Viorica","family":"Sofronie","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"V. Diekert. Combinatorics on Traces, volume 454 of Lecture Notes in Computer Science. Springer Verlag, 1990.","DOI":"10.1007\/3-540-53031-2"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"M. P. Fourman and D. S. Scott. Sheaves and Logic. In M. Fourman, editor, Durham Proceedings (1977). Applications of Sheaves, volume 753 of Lecture Notes in Mathematics, pages 302\u2013401. Springer Verlag, 1979.","DOI":"10.1007\/BFb0061824"},{"key":"18_CR3","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1080\/03081077408960783","volume":"1","author":"J. Goguen","year":"1975","unstructured":"J. Goguen. Objects. International Journal of General Systems, 1:237\u2013243, 1975.","journal-title":"International Journal of General Systems"},{"key":"18_CR4","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1017\/S0960129500001420","volume":"11","author":"J. Goguen","year":"1992","unstructured":"J. Goguen. Sheaf Semantics for Concurrent Interacting Objects. Mathematical Structures in Computer Science, 11:159\u2013191, 1992.","journal-title":"Mathematical Structures in Computer Science"},{"issue":"210","key":"18_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/memo\/0210","volume":"17","author":"P. H. Krauss","year":"1979","unstructured":"P. H. Krauss and D. M. Clark. Global Subdirect Products. Memoirs of the American Mathematical Society, 17(210):1\u2013109, January 1979.","journal-title":"Memoirs of the American Mathematical Society"},{"key":"18_CR6","unstructured":"J. Lilius. A Sheaf Semantics for Petri Nets. Technical Report A23, Dept. of Computer Science, Helsinki University of Technology, 1993."},{"key":"18_CR7","unstructured":"G. Malcolm. Interconnections of Object Specifications. In R. Wieringa and R. Feenstra, editors, Working Papers of the International Workshop on Information Systems \u2014 Correctness and Reusablity, 1994. Appeared as internal report IR-357 of the Vrije Universiteit Amsterdam."},{"key":"18_CR8","unstructured":"S. Mac Lane and I. Moerdijk. Sheaves in Geometry and Logic. Universitext. Springer Verlag, 1992."},{"key":"18_CR9","unstructured":"L. Monteiro and F. Pereira. A Sheaf Theoretic Model for Concurrency. Proc. Logic in Computer Science (LICS'86), 1986."},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"J. Pfalzgraf. Logical Fiberings and Polycontextural Systems. In P. Jorrand and J. Kelemen, editors, Proc. Fundamentals of Artificial Intelligence Research, volume 535 of Lecture Notes in Computer Science (subseries LNAI), pages 170\u2013184. Springer Verlag, 1991.","DOI":"10.1007\/3-540-54507-7_14"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"J. Pfalzgraf. On Mathematical Modeling in Robotics. In J. Calmet and J.A. Campbell, editors, AI and Symbolic Mathematical Computing. Proceedings AISMC-1, volume 737 of Lecture Notes in Computer Science, pages 116\u2013132. Springer Verlag, 1993","DOI":"10.1007\/3-540-57322-4_8"},{"key":"18_CR12","unstructured":"J. Pfalzgraf. On Geometric and Topological Reasoning in Robotics. Annals of Mathematics and AI, special issue on AI and Symbolic Mathematical Computing, 1995. To appear."},{"key":"18_CR13","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, pages 53\u201380. Springer Verlag, 1995.","DOI":"10.1007\/978-3-7091-6604-8_4"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Jochen Pfalzgraf, Ute Cornelia Sigmund, and Karel Stokkermans. Modeling cooperative agents scenarios by deductive planning methods and logical fiberings. In Jacques Calmet and John A. Campbell, editors, 2nd Workshop on Artificial Intelligence and Symbolic Mathematical Computing, volume 958 of Lecture Notes in Computer Science, pages 167\u2013190. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60156-2_13"},{"issue":"3","key":"18_CR15","first-page":"445","volume":"4","author":"J. Pfalzgraf","year":"1996","unstructured":"J. Pfalzgraf, U. Sigmund, and K. Stokkermans. Towards a General Approach for Modeling Actions and Change in Cooperating Agents Scenarios. IGPL (Journal of the Interest Group in Pure and Applied Logics), 4(3):445\u2013472, 1996.","journal-title":"IGPL (Journal of the Interest Group in Pure and Applied Logics)"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"V. Sofronie. A sheaf theoretic approach to cooperating agents scenarios. Manuscript in preparation, 1996.","DOI":"10.1007\/3-540-61732-9_64"},{"key":"18_CR17","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0304-3975(93)90239-P","volume":"112","author":"Y.V. Srinivas","year":"1993","unstructured":"Y.V. Srinivas. A Sheaf-theoretic Approach to Pattern Matching and Related Problems. Theoretical Computer Science, 112:53\u201397, 1993.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Mathematical Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61732-9_64.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:09:51Z","timestamp":1605629391000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61732-9_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617327","9783540707400"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-61732-9_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}