{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:29:21Z","timestamp":1725542961385},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540370338"},{"type":"electronic","value":"9783540370352"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11811220_27","type":"book-chapter","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T08:40:48Z","timestamp":1153730448000},"page":"318-329","source":"Crossref","is-referenced-by-count":1,"title":["Description and Generation of Computational Agents"],"prefix":"10.1007","author":[{"given":"Roman","family":"Neruda","sequence":"first","affiliation":[]},{"given":"Gerd","family":"Beuster","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"27_CR1","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":"3","key":"27_CR2","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":"27_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"935","DOI":"10.1007\/3-540-45718-6_98","volume-title":"Computational Science - ICCS 2001","author":"P. Kru\u0161ina","year":"2001","unstructured":"Kru\u0161ina, P., Neruda, R., Petrova, Z.: More autonomous hybrid models in bang. In: Alexandrov, V.N., Dongarra, J., Juliano, B.A., Renner, R.S., Tan, C.J.K. (eds.) ICCS-ComputSci 2001. LNCS, vol.\u00a02074, pp. 935\u2013942. Springer, Heidelberg (2001)"},{"key":"27_CR4","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)"},{"key":"27_CR5","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"},{"issue":"2","key":"27_CR6","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/5254.920597","volume":"16","author":"J. Hendler","year":"2001","unstructured":"Hendler, J.: Agents and the semantic web. IEEE Intelligent Systems\u00a016(2), 30\u201337 (2001)","journal-title":"IEEE Intelligent Systems"},{"unstructured":"Meolic, R., Kapus, T., Brezocnik, Z.: Model checking: A formal method for safety assurance of logistic systems. In: 2nd Congress Transport \u2013 Traffic \u2013 Logistics, Portoroz, Slovenia, pp. 355\u2013358 (2000)","key":"27_CR7"},{"key":"27_CR8","volume-title":"Artificial neural Nets and Genetic Algorithms \u2014 Proceedings of the ICANNGA 2003","author":"G. Beuster","year":"2003","unstructured":"Beuster, G., Kru\u0161ina, P., Neruda, R., Rydvan, P.: Towards building computational agent schemes. In: Artificial neural Nets and Genetic Algorithms \u2014 Proceedings of the ICANNGA 2003. Springer, Wien (2003)"},{"unstructured":"Farquhar, A., Fikes, R., Rice, J.: Tools for assembling modular ontologies in ontolingua. Technical report, Stanford Knowledge Systems Laboratory (1997)","key":"27_CR9"},{"unstructured":"Genesreth, M.R., Fikes, R.E.: Knowledge interchange format, version 2.2. Technical report, Computer Science Department, Stanford University (1992)","key":"27_CR10"},{"unstructured":"Davis, M., (ed.): The Undecidable\u2014Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions. Raven Press (1965)","key":"27_CR11"},{"issue":"1-2","key":"27_CR12","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-2), 353\u2013367 (1996)","journal-title":"Artificial Intelligence"},{"key":"27_CR13","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":"27_CR14","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)"},{"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":"27_CR15"},{"issue":"2","key":"27_CR16","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"},{"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":"27_CR17"},{"doi-asserted-by":"crossref","unstructured":"Borgida, A.: On the relationship between description logic and predicate logic. In: CIKM, pp. 219\u2013225 (1994)","key":"27_CR18","DOI":"10.1145\/191246.191283"},{"key":"27_CR19","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)"},{"unstructured":"Neruda, R., et al.: Bang web documentation (2006), \n                    \n                      http:\/\/bang.sf.org","key":"27_CR20"}],"container-title":["Lecture Notes in Computer Science","Knowledge Science, Engineering and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11811220_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:26:47Z","timestamp":1619494007000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11811220_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540370338","9783540370352"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11811220_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}