{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:01:12Z","timestamp":1762459272377,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319192819"},{"type":"electronic","value":"9783319192826"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19282-6_3","type":"book-chapter","created":{"date-parts":[[2015,4,29]],"date-time":"2015-04-29T11:05:56Z","timestamp":1430305556000},"page":"35-48","source":"Crossref","is-referenced-by-count":4,"title":["Logic Fragments: A Coordination Model Based on Logic Inference"],"prefix":"10.1007","author":[{"given":"Francesco Luca","family":"De Angelis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanna","family":"Di Marzo Serugendo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"3_CR1","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K.R. Apt","year":"1982","unstructured":"Apt, K.R., van Emden, M.H.: Contributions to the theory of logic programming. J. ACM\u00a029(3), 841\u2013862 (1982)","journal-title":"J. ACM"},{"issue":"1","key":"3_CR2","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0167-6423(90)90044-E","volume":"15","author":"J.P. Ban\u00e2tre","year":"1990","unstructured":"Ban\u00e2tre, J.P., Le M\u00e9tayer, D.: The gamma model and its discipline of programming. Sci. Comput. Program.\u00a015(1), 55\u201377 (1990)","journal-title":"Sci. Comput. Program."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Berry, G., Boudol, G.: The chemical abstract machine. In: Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1990, pp. 81\u201394. ACM (1990)","DOI":"10.1145\/96709.96717"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Castelli, G., Mamei, M., Rosi, A., Zambonelli, F.: Pervasive middleware goes social: The sapere approach. In: Proceedings of the 2011 Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2011, pp. 9\u201314 (2011)","DOI":"10.1109\/SASOW.2011.6"},{"key":"3_CR5","volume-title":"Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998","author":"P. Ciancarini","year":"1998","unstructured":"Ciancarini, P., Franz\u00e8, F., Mascolo, C.: A coordination model to specify systems including mobile agents. In: Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, IEEE Computer Society, Washington, DC (1998)"},{"key":"3_CR6","unstructured":"De Angelis, F.L., Di Marzo Serugendo, G.: Towards a logic and chemical based coordination model (2015), https:\/\/archive-ouverte.unige.ch\/"},{"key":"3_CR7","unstructured":"Denti, E., Natali, A., Omicini, A., Venuti, M.: Logic tuple spaces for the coordination of heterogeneous agents. In: Baader, F., Schulz, K.U. (eds.) Proceedings of 1st International Workshop (FroCoS 1996) Frontiers of Combining Systems, Applied Logic Series, Munich, Germany, March 26\u201329, vol.\u00a03, pp. 147\u2013160. Kluwer Academic Publishers (1996)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Dershowitz, N., Manna, Z.: Proving termination with multiset orderings. Commun. ACM 22(8) (1979)","DOI":"10.1145\/359138.359142"},{"key":"3_CR9","first-page":"569","volume":"23","author":"M.H.V. Emden","year":"1976","unstructured":"Emden, M.H.V., Kowalski, R.A.: The semantics of predicate logic as a programming language. Journal of the ACM\u00a023, 569\u2013574 (1976)","journal-title":"Journal of the ACM"},{"issue":"1","key":"3_CR10","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/s11047-012-9324-y","volume":"12","author":"J.L. Fernandez-Marquez","year":"2013","unstructured":"Fernandez-Marquez, J.L., Di Marzo Serugendo, G., Montagna, S., Viroli, M., Arcos, J.L.: Description and composition of bio-inspired design patterns: a complete overview. Natural Computing\u00a012(1), 43\u201367 (2013)","journal-title":"Natural Computing"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Fitting, M.: Fixpoint semantics for logic programming a survey. Theoretical Computer Science\u00a0278(1-2), 25\u201351 (2002), Mathematical Foundations of Programming Semantics 1996","DOI":"10.1016\/S0304-3975(00)00330-3"},{"issue":"7","key":"3_CR12","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1145\/359131.359136","volume":"22","author":"R. Kowalski","year":"1979","unstructured":"Kowalski, R.: Algorithm = logic + control. Commun. ACM\u00a022(7), 424\u2013436 (1979)","journal-title":"Commun. ACM"},{"issue":"3-4","key":"3_CR13","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0004-3702(71)90012-9","volume":"2","author":"R. Kowalski","year":"1971","unstructured":"Kowalski, R., Kuehner, D.: Linear Resolution with Selection Function. Artificial Intelligence\u00a02(3-4), 227\u2013260 (1971)","journal-title":"Artificial Intelligence"},{"key":"3_CR14","volume-title":"Logic, Programming, and PROLOG","author":"U. Nilsson","year":"1995","unstructured":"Nilsson, U., Maluszynski, J.: Logic, Programming, and PROLOG, 2nd edn. John Wiley & Sons, Inc., New York (1995)","edition":"2"},{"issue":"3","key":"3_CR15","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0167-6423(01)00011-9","volume":"41","author":"A. Omicini","year":"2001","unstructured":"Omicini, A., Denti, E.: From tuple spaces to tuple centres. Science of Computer Programming\u00a041(3), 277\u2013294 (2001)","journal-title":"Science of Computer Programming"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Viroli, M., Casadei, M., Omicini, A.: A framework for modelling and implementing self-organising coordination. In: Shin, S.Y., Ossowski, S., Menezes, R., Viroli, M. (eds.) 24th Annual ACM Symposium on Applied Computing (SAC 2009), March 8-12, vol. III, pp. 1353\u20131360. ACM, Honolulu (2009)","DOI":"10.1145\/1529282.1529585"},{"issue":"4","key":"3_CR17","doi-asserted-by":"crossref","first-page":"405","DOI":"10.3233\/FI-2009-209","volume":"97","author":"A. Vit\u00f3ria","year":"2009","unstructured":"Vit\u00f3ria, A., Maluszy\u0144ski, J., Sza\u0142as, A.: Modeling and reasoning in paraconsistent rough sets. Fundamenta Informaticae\u00a097(4), 405\u2013438 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Zambonelli, F., Omicini, A., Anzengruber, B., Castelli, G., Angelis, F.L.D., Serugendo, G.D.M., Dobson, S., Fernandez-Marquez, J.L., Ferscha, A., Mamei, M., Mariani, S., Molesini, A., Montagna, S., Nieminen, J., Pianini, D., Risoldi, M., Rosi, A., Stevenson, G., Viroli, M., Ye, J.: Developing pervasive multi-agent systems with nature-inspired coordination. Pervasive and Mobile Computing\u00a017, 236\u2013252 (2015); Special Issue 10 years of Pervasive Computing In Honor of Chatschik Bisdikian","DOI":"10.1016\/j.pmcj.2014.12.002"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19282-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T13:51:28Z","timestamp":1598968288000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-19282-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319192819","9783319192826"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19282-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}