{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:45:01Z","timestamp":1725749101162},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319023083"},{"type":"electronic","value":"9783319023090"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-02309-0_39","type":"book-chapter","created":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T03:57:47Z","timestamp":1379563067000},"page":"361-368","source":"Crossref","is-referenced-by-count":1,"title":["Deduction-Based Modelling and Verification of Agent-Based Systems for Data Integration"],"prefix":"10.1007","author":[{"given":"Rados\u0142aw","family":"Klimek","sequence":"first","affiliation":[]},{"given":"\u0141ukasz","family":"Faber","sequence":"additional","affiliation":[]},{"given":"Marek","family":"Kisiel-Dorohinicki","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"39_CR1","unstructured":"Agarwal, S., Haase, P.: Process-based integration of heterogeneous information sources. In: Dadam, P., Reichert, M. (eds.) INFORMATIK 2004 - Informatik verbindet (Band 2): Proceedings der 34. Jahrestagung der Gesellschaft f\u00fcr Informatik (GI). Lecture Notes in Informatics, pp. 164\u2013169 (2004)"},{"key":"39_CR2","doi-asserted-by":"crossref","unstructured":"Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press (1980)","DOI":"10.1017\/CBO9780511621192"},{"issue":"4","key":"39_CR3","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"E.M. Clarke","year":"1996","unstructured":"Clarke, E.M., Wing, J.M.: Formal methods: State of the art and future directions. ACM Computing Surveys\u00a028(4), 626\u2013643 (1996)","journal-title":"ACM Computing Surveys"},{"key":"39_CR4","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 995\u20131072. Elsevier, MIT Press (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"39_CR5","unstructured":"Hergula, K., H\u00e4rder, T.: A middleware approach for combining heterogeneous data sources - integration of generic query and predefined function access. In: Proceedings of the 1st International Conference on Web Information Systems Engineering (WISE 2000), vol.\u00a01, pp. 26\u201333. IEEE Computer Society (2000)"},{"key":"39_CR6","unstructured":"Klimek, R.: A deduction-based system for formal verification of agent-ready web services. In: Barbucha, D., Thanh Le, M., Howlett, R.J., Jain, L.C. (eds.) Advanced Methods and Technologies for Agent and Multi-Agent Systems. Frontiers in Artificial Intelligence and Applications, vol.\u00a0252, pp. 203\u2013212. IOS Press (2013)"},{"key":"39_CR7","doi-asserted-by":"publisher","first-page":"516","DOI":"10.4028\/www.scientific.net\/MSF.532-533.516","volume":"532-533","author":"S. Li","year":"2006","unstructured":"Li, S., Zhang, D.H., Zhou, J.T., Ma, G.H., Yang, H.: An xml-based middleware for information integration of enterprise heterogeneous systems. Materials Science Forum\u00a0532-533, 516\u2013519 (2006)","journal-title":"Materials Science Forum"},{"key":"39_CR8","doi-asserted-by":"crossref","unstructured":"Nawarecki, E., Dobrowolski, G., Byrski, A., Kisiel-Dorohinicki, M.: Agent-based integration of data acquired from heterogeneous sources. In: International Conference on Complex, Intelligent and Software Intensive Systems (CISIS 2011), pp. 473\u2013477. IEEE Computer Society (2011)","DOI":"10.1109\/CISIS.2011.77"},{"key":"39_CR9","unstructured":"Pender, T.: UML Bible. John Wiley & Sons (2003)"},{"issue":"1","key":"39_CR10","first-page":"249","volume":"27","author":"F. Wolter","year":"2011","unstructured":"Wolter, F., Wooldridge, M.: Temporal and dynamic logic. Journal of Indian Council of Philosophical Research\u00a027(1), 249\u2013276 (2011)","journal-title":"Journal of Indian Council of Philosophical Research"}],"container-title":["Advances in Intelligent Systems and Computing","Man-Machine Interactions 3"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-02309-0_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T08:25:07Z","timestamp":1676622307000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-02309-0_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319023083","9783319023090"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-02309-0_39","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2014]]}}}