{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,7]],"date-time":"2026-01-07T09:16:04Z","timestamp":1767777364274},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540939191"},{"type":"electronic","value":"9783540939207"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-540-93920-7_5","type":"book-chapter","created":{"date-parts":[[2008,12,24]],"date-time":"2008-12-24T09:33:38Z","timestamp":1230111218000},"page":"60-74","source":"Crossref","is-referenced-by-count":10,"title":["Combining Multiple Knowledge Representation Technologies into Agent Programming Languages"],"prefix":"10.1007","author":[{"given":"Mehdi M.","family":"Dastani","sequence":"first","affiliation":[]},{"given":"Koen V.","family":"Hindriks","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Nov\u00e1k","sequence":"additional","affiliation":[]},{"given":"Nick A. M.","family":"Tinnemeier","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/b137449","volume-title":"Multi-Agent Programming - Languages, Platforms and Applications","author":"R. Bordini","year":"2005","unstructured":"Bordini, R., H\u00fcbner, J., Vieira, R.: Jason and the Golden Fleece of agent-oriented programming. In: Multi-Agent Programming - Languages, Platforms and Applications. Springer, Heidelberg (2005)"},{"key":"5_CR2","series-title":"Multiagent Systems, Artificial Societies, and Simulated Organizations","doi-asserted-by":"publisher","DOI":"10.1007\/b137449","volume-title":"Multi-Agent Programming Languages, Platforms and Applications","author":"R.H. Bordini","year":"2005","unstructured":"Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F.: Multi-Agent Programming Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol.\u00a015. Kluwer Academic Publishers, Dordrecht (2005)"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: What you always wanted to know about datalog (and never dared to ask). IEEE Trans. of KDE\u00a01(1) (1989)","DOI":"10.1109\/69.43410"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-540-79043-3_7","volume-title":"Programming Multi-Agent Systems","author":"M. Dastani","year":"2008","unstructured":"Dastani, M., Meyer, J.-J.C.: A Practical Agent Programming Language. In: Dastani, M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS, vol.\u00a04908, pp. 107\u2013123. Springer, Heidelberg (2008)"},{"issue":"1","key":"5_CR5","first-page":"17","volume":"14","author":"R. Davis","year":"1993","unstructured":"Davis, R., Shrobe, H.E., Szolovits, P.: What is a knowledge representation? AI\u00a014(1), 17\u201333 (1993)","journal-title":"AI"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"de Boer, F., Hindriks, K., van der Hoek, W., Meyer, J.-J.: A Verification Framework for Agent Programming with Declarative Goals. Journal of Applied Logic (2007)","DOI":"10.1016\/j.jal.2005.12.014"},{"key":"5_CR7","volume-title":"Multi-Agent Programming - Languages, Platforms and Applications","author":"J. Dix","year":"2005","unstructured":"Dix, J., Zhang, Y.: IMPACT: A Multi-Agent Framework with Declarative Semantics. In: Multi-Agent Programming - Languages, Platforms and Applications. Springer, Heidelberg (2005)"},{"key":"5_CR8","unstructured":"Farquhar, A., Dappert, A., Fikes, R., Pratt, W.: Integrating Information Sources Using Context Logic. In: Knoblock, C., Levy, A. (eds.) Information Gathering from Heterogeneous, Distributed Environments (1995)"},{"issue":"1","key":"5_CR9","first-page":"29","volume":"65","author":"F. Giunchiglia","year":"1994","unstructured":"Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics or: How we can do without modal logics. AI\u00a065(1), 29\u201370 (1994)","journal-title":"AI"},{"key":"5_CR10","first-page":"155","volume":"23","author":"H. Levesque","year":"1984","unstructured":"Levesque, H.: Foundations of a functional approach to knowledge representation. AI\u00a023, 155\u2013212 (1984)","journal-title":"AI"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/BFb0019911","volume-title":"Conceptual Modeling - ER \u201996","author":"J.A. Makowsky","year":"1996","unstructured":"Makowsky, J.A., Ravve, E.V.: Translation schemes and the fundamental problem of database design. In: Thalheim, B. (ed.) ER 1996. LNCS, vol.\u00a01157, pp. 5\u201326. Springer, Heidelberg (1996)"},{"key":"5_CR12","first-page":"95","volume-title":"Mind Design","author":"M. Minsky","year":"1981","unstructured":"Minsky, M.: A framework for representing knowledge. In: Haughland, J. (ed.) Mind Design, pp. 95\u2013128. MIT Press, Cambridge (1981)"},{"key":"5_CR13","volume-title":"The society of mind","author":"M. Minsky","year":"1986","unstructured":"Minsky, M.: The society of mind. Simon & Schuster, Inc., New York (1986)"},{"key":"5_CR14","first-page":"1009","volume-title":"Proc. AAMAS 2006","author":"P. Nov\u00e1k","year":"2006","unstructured":"Nov\u00e1k, P., Dix, J.: Modular BDI architecture. In: Nakashima, H., Wellman, M.P., Weiss, G., Stone, P. (eds.) Proc. AAMAS 2006, pp. 1009\u20131015. ACM, New York (2006)"},{"key":"5_CR15","volume-title":"Princ. of KR and Reasoning: Proc. of the Third Int. Conf.","author":"R.S. Patil","year":"1992","unstructured":"Patil, R.S., Fikes, R.E., Patel-Schneider, P.F., McKay, D., Finin, T., Gruber, T.R., Neches, R.: The DARPA knowledge sharing effort: Progress report. In: Rich, C., Nebel, B., Swartout, W. (eds.) Princ. of KR and Reasoning: Proc. of the Third Int. Conf. Morgan Kaufmann, San Francisco (1992)"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: A BDI Reasoning Engine. Multiagent Systems, Artificial Societies, and Simulated Organizations. In: [2], ch. 6, vol.\u00a015, pp. 149\u2013174 (2005)","DOI":"10.1007\/0-387-26350-0_6"},{"key":"5_CR17","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Proc. of the 2nd Int. Conf. on Princ. of KR and Reasoning, pp. 473\u2013484 (1991)"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Winikoff, M.: JACK(TM) Intelligent Agents: An Industrial Strength Platform. Multiagent Systems, Artificial Societies, and Simulated Organizations. In: [2], ch. 7, vol.\u00a015, pp. 175\u2013193 (2005)","DOI":"10.1007\/0-387-26350-0_7"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-93920-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T17:20:25Z","timestamp":1558027225000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-93920-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540939191","9783540939207"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-93920-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}