{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:17:59Z","timestamp":1725531479138},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642012020"},{"type":"electronic","value":"9783642012037"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-01203-7_24","type":"book-chapter","created":{"date-parts":[[2009,5,4]],"date-time":"2009-05-04T12:35:15Z","timestamp":1241440515000},"page":"271-281","source":"Crossref","is-referenced-by-count":0,"title":["Towards Data-Driven Hybrid Composition of Data Mining Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Roman","family":"Neruda","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/3-540-48317-9_2","volume-title":"Artificial Intelligence Today, Recent Trends and Developments","author":"F. Baader","year":"1999","unstructured":"Baader, F.: Logic-based knowledge representation. In: Wooldrige, M.J., Veloso, M. (eds.) Artificial Intelligence Today, Recent Trends and Developments, pp. 13\u201341. Springer, Heidelberg (1999)"},{"key":"24_CR2","unstructured":"Baumgartner, P., Furbach, U., Thomas, B.: Model-based deduction for knowledge representation. In: Proceedings of the International Workshop on the Semantic Web, Hawaii, USA (2002)"},{"key":"24_CR3","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1007\/s005000050002","volume":"1","author":"P. Bonissone","year":"1997","unstructured":"Bonissone, P.: Soft computing: the convergence of emerging reasoning technologies. Soft computing\u00a01, 6\u201318 (1997)","journal-title":"Soft computing"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Borgida, A.: On the relationship between description logic and predicate logic. In: CIKM, pp. 219\u2013225 (1994)","DOI":"10.1145\/191246.191283"},{"issue":"1\u20132","key":"24_CR5","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0004-3702(96)00004-5","volume":"82","author":"A. Borgida","year":"1996","unstructured":"Borgida, A.: On the relative expressiveness of description logics and predicate logics. Artificial Intelligence\u00a082(1\u20132), 353\u2013367 (1996)","journal-title":"Artificial Intelligence"},{"key":"24_CR6","unstructured":"Davis, M. (ed.): The Undecidable\u2014Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions. Raven Press (1965)"},{"issue":"3","key":"24_CR7","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1017\/S0269888997003111","volume":"12","author":"J.E. Doran","year":"1997","unstructured":"Doran, J.E., Franklin, S., Jennings, N.R., Norman, T.J.: On cooperation in multi-agent systems. The Knowledge Engineering Review\u00a012(3), 309\u2013314 (1997)","journal-title":"The Knowledge Engineering Review"},{"key":"24_CR8","unstructured":"Farquhar, A., Fikes, R., Rice, J.: Tools for assembling modular ontologies in ontolingua. Technical report, Stanford Knowledge Systems Laboratory (1997)"},{"key":"24_CR9","volume-title":"Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence","author":"J. Ferber","year":"1999","unstructured":"Ferber, J.: Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence. Addison-Wesley Longman, Harlow (1999)"},{"key":"24_CR10","unstructured":"Genesreth, M.R., Fikes, R.E.: Knowledge interchange format, version 2.2. Technical report, Computer Science Department, Stanford University (1992)"},{"key":"24_CR11","first-page":"110","volume-title":"Proceedings of the 16th Internatoinal joint Conference on Artificial Intelligence IJCAI 1999","author":"U. Hustadt","year":"1999","unstructured":"Hustadt, U., Schmidt, R.A.: On the relation of resolution and tableaux proof system for description logics. In: Thomas, D. (ed.) Proceedings of the 16th Internatoinal joint Conference on Artificial Intelligence IJCAI 1999, Stockholm, Sweden, vol.\u00a01, pp. 110\u2013115. Morgan Kaufmann, San Francisco (1999)"},{"key":"24_CR12","first-page":"935","volume-title":"International Conference on Computational Science (2)","author":"P. Kru\u0161ina","year":"2001","unstructured":"Kru\u0161ina, P., Neruda, R., Petrova, Z.: More autonomous hybrid models in bang. In: International Conference on Computational Science (2), pp. 935\u2013942. Springer, Heidelberg (2001)"},{"key":"24_CR13","unstructured":"Levy, A.Y., Rousset, M.C.: The limits of combining recursive horn rules with description logics. In: Proceedings of the Thirteenth National Conference on Artificial Intelligence, Portland, OR (1996)"},{"key":"24_CR14","unstructured":"Neruda, R., Beuster, G.: Towards dynamic generation of computational agents by means of logical descriptions. In: MASUPC 2007 \u2013 International Workshop on Multi-Agent Systems Challenges for Ubiquitous and Pervasive Computing, pp. 17\u201328 (2007)"},{"key":"24_CR15","volume-title":"Proceedings of the 2004 WI-IAT 2004 Conference","author":"R. Neruda","year":"2004","unstructured":"Neruda, R., Kru\u0161ina, P., Kudova, P., Beuster, G.: Bang 3: A computational multi-agent system. In: Proceedings of the 2004 WI-IAT 2004 Conference. IEEE Computer Society Press, Los Alamitos (2004)"},{"issue":"2","key":"24_CR16","first-page":"205","volume":"11","author":"H.S. Nwana","year":"1995","unstructured":"Nwana, H.S.: Software agents: An overview. Knowledge Engineering Review\u00a011(2), 205\u2013244 (1995)","journal-title":"Knowledge Engineering Review"},{"issue":"2","key":"24_CR17","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/BF01058395","volume":"52","author":"A. Vellino","year":"1993","unstructured":"Vellino, A.: The relative complexity of sl-resolution and analytical tableau. Studia Logica\u00a052(2), 323\u2013337 (1993)","journal-title":"Studia Logica"},{"key":"24_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/b95170","volume-title":"Agent-Based Hybrid Intelligent Systems","author":"Z. Zhang","year":"2004","unstructured":"Zhang, Z., Zhang, C.: Agent-Based Hybrid Intelligent Systems. Springer, Heidelberg (2004)"}],"container-title":["Studies in Computational Intelligence","Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01203-7_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T19:43:48Z","timestamp":1558122228000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01203-7_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642012020","9783642012037"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01203-7_24","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2009]]}}}