{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:19:50Z","timestamp":1725902390750},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319592930"},{"type":"electronic","value":"9783319592947"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-59294-7_19","type":"book-chapter","created":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T06:19:10Z","timestamp":1498112350000},"page":"230-247","source":"Crossref","is-referenced-by-count":1,"title":["Using Automated Approximate Satisfaction in Parameter Search for Dynamic Agent Models"],"prefix":"10.1007","author":[{"given":"Jan","family":"Treur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,23]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1142\/S0218843009001987","volume":"18","author":"T Bosse","year":"2009","unstructured":"Bosse, T., Jonker, C.M., van der Meij, L., Sharpanskykh, A., Treur, J.: Specification and verification of dynamics in agent models. Int. J. Coop. Inf. Syst. 18, 167\u2013193 (2009)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"19_CR2","volume-title":"An Introduction to Optimization","author":"EKP Chong","year":"2013","unstructured":"Chong, E.K.P., Zak, S.H.: An Introduction to Optimization. Wiley, Hoboken (2013)"},{"key":"19_CR3","first-page":"166","volume-title":"Fuzzy Sets, Neural Networks, and Soft Computing","author":"D Dubois","year":"1994","unstructured":"Dubois, D., Fargier, H., Prade, H.: Propagation and satisfaction of flexible constraints. In: Yager, R.R., Zadeh, L.A. (eds.) Fuzzy Sets, Neural Networks, and Soft Computing, pp. 166\u2013187. Van Nostrand Reinhold, New York (1994)"},{"doi-asserted-by":"crossref","unstructured":"Dubois, D., Fargier, H., Prade, H.: The calculus of fuzzy restrictions as a basis for flexible constraint satisfaction. In: Proceedings of 2nd IEEE International Conference on Fuzzy Systems, San Francisco, CA, pp. 1131\u20131136 (1993)","key":"19_CR4","DOI":"10.1109\/FUZZY.1993.327356"},{"key":"19_CR5","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0165-0114(91)90051-Q","volume":"40","author":"D Dubois","year":"1991","unstructured":"Dubois, D., Lang, J., Prade, H.: Fuzzy sets in approximate reasoning, Part 2: logical approaches. Fuzzy Sets Syst. 40, 203\u2013244 (1991)","journal-title":"Fuzzy Sets Syst."},{"key":"19_CR6","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1023\/A:1016740830286","volume":"32","author":"D Dubois","year":"2002","unstructured":"Dubois, D., Prade, H.: Possibility theory, probability theory and multiple-valued logics: a clarification. Ann. Math. Artif. Intell. 32, 35\u201366 (2002)","journal-title":"Ann. Math. Artif. Intell."},{"key":"19_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02962-6","volume-title":"Logic and Structure","author":"D Dalen van","year":"1994","unstructured":"van Dalen, D.: Logic and Structure, 3rd edn. Springer Verlag, New York (1994)","edition":"3"},{"unstructured":"Ferber, J., Gutknecht, O., Jonker, C.M., M\u00fcller, J.P., J.P., and J. Treur: Organization Models and Behavioural Requirements Specification for Multi-Agent Systems. In: Y. Demazeau, F. Garijo (eds.) Multi-Agent System Organisations. Proceedings of the 10th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW 2001 (2001)","key":"19_CR8"},{"key":"19_CR9","volume-title":"Fuzzy logic: Mathematical Tools for Approximate Reasoning","author":"G Giangiacomo","year":"2001","unstructured":"Giangiacomo, G.: Fuzzy logic: Mathematical Tools for Approximate Reasoning. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/3-540-48437-X_2","volume-title":"Multi-Agent System Engineering","author":"DE Herlea","year":"1999","unstructured":"Herlea, D.E., Jonker, C.M., Treur, J., Wijngaards, N.J.E.: Specification of bahavioural requirements within compositional multi-agent system design. In: Garijo, F.J., Boman, M., (eds.) MAAMAW 1999. LNCS, vol. 1647, pp. 8\u201327. Springer, Heidelberg (1999). doi:\n10.1007\/3-540-48437-X_2"},{"key":"19_CR11","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/j.knosys.2005.05.002","volume":"18","author":"DE Damian","year":"2005","unstructured":"Damian, D.E., Jonker, C.M., Treur, J., Wijngaards, N.J.: Integration of behavioural requirements specification within compositional knowledge engineering. Knowl.-Based Syst. 18, 353\u2013365 (2005)","journal-title":"Knowl.-Based Syst."},{"key":"19_CR12","volume-title":"Requirements Engineering Fundamentals","author":"K Pohl","year":"2011","unstructured":"Pohl, K., Rupp, C.: Requirements Engineering Fundamentals. Rocky Nook, Santa Barbara (2011)"},{"key":"19_CR13","volume-title":"Mind as Motion: Explorations in the Dynamics of Cognition","author":"RF Port","year":"1995","unstructured":"Port, R.F., van Gelder, T.: Mind as Motion: Explorations in the Dynamics of Cognition. MIT Press, Cambridge (1995)"},{"key":"19_CR14","doi-asserted-by":"crossref","first-page":"2827","DOI":"10.1016\/j.tcs.2010.05.008","volume":"412","author":"A Rizk","year":"2011","unstructured":"Rizk, A., Batt, G., Fages, F., Soliman, S.: Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. Theor. Comput. Sci. 412, 2827\u20132839 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"19_CR15","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/978-1-4419-6984-2_11","volume-title":"Specification and Verification of Multi-Agent Systems","author":"A Sharpanskykh","year":"2010","unstructured":"Sharpanskykh, A., Treur, J.: A temporal trace language for formal modelling and analysis of agent systems. In: Dastani, M., Hindriks, K.V., Meyer, J.J.C. (eds.) Specification and Verification of Multi-Agent Systems, pp. 317\u2013352. Springer, Heidelberg (2010)"},{"key":"19_CR16","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1016\/0005-1098(80)90077-1","volume":"16","author":"V Strejc","year":"1980","unstructured":"Strejc, V.: Least squares parameter estimation. Automatica 16, 535\u2013550 (1980)","journal-title":"Automatica"},{"key":"19_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-45213-5","volume-title":"Network-Oriented Modeling: Addressing Complexity of Cognitive, Affective and Social Interactions","author":"J Treur","year":"2016","unstructured":"Treur, J.: Network-Oriented Modeling: Addressing Complexity of Cognitive, Affective and Social Interactions. Series in Understanding Complex Systems. Springer, Heidelberg (2016)"},{"key":"19_CR18","volume-title":"Requirements Engineering: From System Goals to UML Models to Software Specifications","author":"A Lamsweerde Van","year":"2009","unstructured":"Van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley, Chichester (2009)"},{"key":"19_CR19","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0165-0114(78)90029-5","volume":"1","author":"L Zadeh","year":"1978","unstructured":"Zadeh, L.: Fuzzy sets as the basis for a theory of possibility. Fuzzy Sets Syst. 1, 3\u201328 (1978). Reprinted in Fuzzy Sets Syst. 100(Suppl.), 9\u201334 (1999)","journal-title":"Fuzzy Sets Syst."},{"unstructured":"URL Appendix. \nhttp:\/\/few.vu.nl\/~treur\/EUMAS16appsatAppendix.pdf","key":"19_CR20"}],"container-title":["Lecture Notes in Computer Science","Multi-Agent Systems and Agreement Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-59294-7_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T06:27:46Z","timestamp":1498112866000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-59294-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319592930","9783319592947"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-59294-7_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}