{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T05:22:37Z","timestamp":1771910557793,"version":"3.50.1"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319155449","type":"print"},{"value":"9783319155456","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","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-15545-6_18","type":"book-chapter","created":{"date-parts":[[2015,3,5]],"date-time":"2015-03-05T02:19:15Z","timestamp":1425521955000},"page":"273-290","source":"Crossref","is-referenced-by-count":14,"title":["Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems"],"prefix":"10.1007","author":[{"given":"Carolyn","family":"Talcott","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farhad","family":"Arbab","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maneesh","family":"Yadav","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Wirsing, M., Denker, G., Talcott, C., Poggio, A., Briesemeister, L.: A rewriting logic framework for soft constraints. In: Sixth International Workshop on Rewriting Logic and Its Applications (WRLA 2006). Electronic Notes in Theoretical Computer Science. Elsevier (2006)","DOI":"10.1016\/j.entcs.2007.06.015"},{"key":"18_CR2","unstructured":"H\u00f6lzl, M., Meier, M., Wirsing, M.: Which soft constraints do you prefer? In: Seventh International Workshop on Rewriting Logic and Its Applications (WRLA 2008). Electronic Notes in Theoretical Computer Science, Elsevier (2008)"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-642-45114-0_6","volume-title":"Advances in Artificial Intelligence and Its Applications","author":"F. Gadducci","year":"2013","unstructured":"Gadducci, F., H\u00f6lzl, M., Monreale, G.V., Wirsing, M.: Soft constraints for lexicographic orders. In: Castro, F., Gelbukh, A., Gonz\u00e1lez, M. (eds.) MICAI 2013, Part I. LNCS, vol.\u00a08265, pp. 68\u201379. Springer, Heidelberg (2013)"},{"key":"18_CR4","unstructured":"Interlink project (last accessed November 15, 2014)"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Bristeau, P.J., Callou, F., Vissi\u00e9re, D., Petit, N., et al.: The navigation and control technology inside the ar. drone micro uav. In: 18th IFAC world congress, vol.\u00a018, pp. 1477\u20131484 (2011)","DOI":"10.3182\/20110828-6-IT-1002.02327"},{"key":"18_CR6","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-642-21975-7_16","volume-title":"Research and Education in Robotics - EUROBOT 2011","author":"T. Krajn\u00edk","year":"2011","unstructured":"Krajn\u00edk, T., Von\u00e1sek, V., Fi\u0161er, D., Faigl, J.: AR-Drone as a Platform for Robotic Research and Education. In: Obdr\u017e\u00e1lek, D., Gottscheber, A. (eds.) EUROBOT 2011. CCIS, vol.\u00a0161, pp. 172\u2013186. Springer, Heidelberg (2011)"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Meng, L., Li, L., Veres, S.: Aerodynamic parameter estimation of an unmanned aerial vehicle based on extended kalman filter and its higher order approach. In: 2010 2nd International Conference on Advanced Computer Control (ICACC), vol.\u00a05, pp. 526\u2013531. IEEE (2010)","DOI":"10.1109\/ICACC.2010.5487116"},{"issue":"5","key":"18_CR8","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1109\/69.729707","volume":"10","author":"M. Yokoo","year":"1998","unstructured":"Yokoo, M., Durfee, E.H., Ishida, T., Kuwabara, K.: The distributed constraint satisfaction problem: Formalization and algorithms. IEEE Transactions on Formalization and algorithms. Knowledge and Data Engineering\u00a010(5), 673\u2013685 (1998)","journal-title":"IEEE Transactions on Formalization and algorithms. Knowledge and Data Engineering"},{"issue":"1","key":"18_CR9","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/j.artint.2004.09.003","volume":"161","author":"P.J. Modi","year":"2005","unstructured":"Modi, P.J., Shen, W.M., Tambe, M., Yokoo, M.: ADOPT: Asynchronous distributed constraint optimization with quality guarantees. Artificial Intelligence\u00a0161(1), 149\u2013180 (2005)","journal-title":"Artificial Intelligence"},{"issue":"4","key":"18_CR10","first-page":"13","volume":"20","author":"M.E. Jardins des","year":"1999","unstructured":"des Jardins, M.E., Durfee, E.H., Charles, L., Ortiz, J., Wolverton, M.J.: A survey of research in distributed, continual planning. AI Magazine\u00a020(4), 13 (1999)","journal-title":"AI Magazine"},{"issue":"4","key":"18_CR11","doi-asserted-by":"publisher","first-page":"345","DOI":"10.3233\/MGS-2009-0133","volume":"5","author":"M. Weerdt de","year":"2009","unstructured":"de Weerdt, M., Clement, B.: Introduction to planning in multiagent systems. Multiagent Grid Syst.\u00a05(4), 345\u2013355 (2009)","journal-title":"Multiagent Grid Syst."},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Bullo, F., Cort\u00e9s, J., Mart\u00ednez, S.: Distributed Control of Robotic Networks. Applied Mathematics Series. Princeton University Press (2009), Electronically available at http:\/\/coordinationbook.info","DOI":"10.1515\/9781400831470"},{"key":"18_CR13","first-page":"266","volume-title":"Proceedings of the 19th International Joint Conference on Artificial Intelligence, IJCAI 2005","author":"A. Petcu","year":"2005","unstructured":"Petcu, A., Faltings, B.: A scalable method for multiagent constraint optimization. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence, IJCAI 2005, pp. 266\u2013271. Morgan Kaufmann Publishers Inc, San Francisco (2005)"},{"key":"18_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-642-24933-4_7","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems","author":"M.-O. Stehr","year":"2011","unstructured":"Stehr, M.-O., Talcott, C., Rushby, J., Lincoln, P., Kim, M., Cheung, S., Poggio, A.: Fractionated software for networked cyber-physical systems: Research directions and long-term vision. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol.\u00a07000, pp. 110\u2013143. Springer, Heidelberg (2011)"},{"key":"18_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/978-3-642-54624-2_20","volume-title":"Specification, Algebra, and Software","author":"M.-O. Stehr","year":"2014","unstructured":"Stehr, M.-O., Kim, M., Talcott, C.: Partially ordered knowledge sharing and fractionated systems in the context of other models for distributed computing. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software. LNCS, vol.\u00a08373, pp. 402\u2013433. Springer, Heidelberg (2014)"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Brown, O., Eremenko, P.: The value proposition for fractionated space architectures. In: Proc. of AIAA, San Jose, CA (September 2006)","DOI":"10.2514\/6.2006-7506"},{"key":"18_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"18_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-89437-7_1","volume-title":"Software-Intensive Systems and New Computing Paradigms","author":"M. H\u00f6lzl","year":"2008","unstructured":"H\u00f6lzl, M., Rauschmayer, A., Wirsing, M.: Engineering of software-intensive systems: State of the art and research challenges. In: Wirsing, M., Ban\u00e2tre, J.-P., H\u00f6lzl, M., Rauschmayer, A. (eds.) Soft-Ware Intensive Systems. LNCS, vol.\u00a05380, pp. 1\u201344. Springer, Heidelberg (2008)"},{"key":"18_CR19","unstructured":"Ascens: Autonomic service-component ensembles (last accessed: November 15, 2014)"},{"key":"18_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-642-24933-4_12","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems","author":"M. H\u00f6lzl","year":"2011","unstructured":"H\u00f6lzl, M., Wirsing, M.: Towards a system model for ensembles. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol.\u00a07000, pp. 241\u2013261. Springer, Heidelberg (2011)"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Arbab, F., Santini, F.: Preference and similarity-based behavioral discovery of services. In: Formal Methods (2012)","DOI":"10.1007\/978-3-642-38230-7_8"},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"Kim, M., Stehr, M.O., Talcott, C.: A distributed logic for networked cyber-physical systems. Science of Computer Programming (2012)","DOI":"10.1007\/978-3-642-29320-7_13"},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"Choi, J.S., McCarthy, T., Yadav, M., Kim, M., Talcott, C., Gressier-Soudan, E.: Application patterns for cyber-physical systems. In: Cyber-physical Systems Networks and Applications (2013)","DOI":"10.1109\/CPSNA.2013.6614246"},{"issue":"1-2","key":"18_CR24","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s10990-007-9001-5","volume":"20","author":"P.C. \u00d6lveczky","year":"2007","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Semantics and pragmatics of real-time maude. Higher-Order and Symbolic Computation\u00a020(1-2), 161\u2013196 (2007)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"18_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-35861-6_12","volume-title":"Formal Aspects of Component Software","author":"H.R. Nielson","year":"2013","unstructured":"Nielson, H.R., Nielson, F., Vigo, R.: A calculus for quality. In: P\u0103s\u0103reanu, C.S., Sala\u00fcn, G. (eds.) FACS 2012. LNCS, vol.\u00a07684, pp. 188\u2013204. Springer, Heidelberg (2013)"},{"key":"18_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-642-39698-4_18","volume-title":"Theories of Programming and Formal Methods","author":"H.R. Nielson","year":"2013","unstructured":"Nielson, H.R., Nielson, F.: Safety versus security in the quality calculus. In: Liu, Z., Woodcock, J., Zhu, H. (eds.) Theories of Programming and Formal Methods. LNCS, vol.\u00a08051, pp. 285\u2013303. Springer, Heidelberg (2013)"},{"key":"18_CR27","doi-asserted-by":"crossref","unstructured":"Stehr, M.O., Talcott, C.: Planning and learning algorithms for routing in disruption-tolerant networks. In: MILCOM 2008. IEEE (2008)","DOI":"10.1109\/MILCOM.2008.4753336"}],"container-title":["Lecture Notes in Computer Science","Software, Services, and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15545-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,20]],"date-time":"2025-05-20T18:43:05Z","timestamp":1747766585000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-15545-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319155449","9783319155456"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15545-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}