{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T21:00:13Z","timestamp":1790802013653,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":98,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642225451","type":"print"},{"value":"9783642225468","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-22546-8_3","type":"book-chapter","created":{"date-parts":[[2011,7,14]],"date-time":"2011-07-14T04:30:13Z","timestamp":1310617813000},"page":"3-28","source":"Crossref","is-referenced-by-count":18,"title":["Rule-Based Distributed and Agent Systems"],"prefix":"10.1007","author":[{"given":"Costin","family":"B\u01cedic\u01ce","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lars","family":"Braubach","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Adrian","family":"Paschke","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"2","key":"3_CR1","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/s00778-003-0108-y","volume":"13","author":"A. Adi","year":"2004","unstructured":"Adi, A., Etzion, O.: Amit - the situation manager. VLDB J.\u00a013(2), 177\u2013203 (2004)","journal-title":"VLDB J."},{"key":"3_CR2","first-page":"139","volume-title":"Speeding Up Production Systems: From Concurrent Matching to Parallel Rule Firing, ch.\u00a07","author":"J.N. Amaral","year":"1994","unstructured":"Amaral, J.N., Ghosh, J.: Speeding Up Production Systems: From Concurrent Matching to Parallel Rule Firing, ch.\u00a07, pp. 139\u2013160. Elsevier, Amsterdam (1994)"},{"issue":"12","key":"3_CR3","doi-asserted-by":"publisher","first-page":"1265","DOI":"10.1109\/71.553276","volume":"7","author":"J.N. Amaral","year":"1996","unstructured":"Amaral, J.N., Ghosh, J.: A concurrent architecture for serializable production systems. IEEE Transactions on Parallel and Distributed Systems\u00a07(12), 1265\u20131280 (1996)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"issue":"17","key":"3_CR4","doi-asserted-by":"publisher","first-page":"1419","DOI":"10.1002\/spe.942","volume":"39","author":"B.R. Amarnath","year":"2009","unstructured":"Amarnath, B.R., Somasundaram, T.S., Ellappan, M., Buyya, R.: Ontology-based grid resource management. Software Practice and Experience\u00a039(17), 1419\u20131438 (2009)","journal-title":"Software Practice and Experience"},{"issue":"5-6","key":"3_CR5","doi-asserted-by":"publisher","first-page":"763","DOI":"10.1016\/S0167-8191(98)00003-9","volume":"24","author":"M.M. Aref","year":"1998","unstructured":"Aref, M.M., Tayyib, M.A.: Lana-match algorithm: A parallel version of the rete-match algorithm. Parallel Computing\u00a024(5-6), 763\u2013775 (1998)","journal-title":"Parallel Computing"},{"key":"3_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/978-3-540-69912-5_2","volume-title":"KI 2006: Advances in Artificial Intelligence","author":"J. Bach","year":"2007","unstructured":"Bach, J., Bauer, C., Vuine, R.: Micropsi: Contributions to a broad architecture of cognition. In: Freksa, C., Kohlhase, M., Schill, K. (eds.) KI 2006. LNCS (LNAI), vol.\u00a04314, pp. 7\u201318. Springer, Heidelberg (2007)"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-540-31846-0_13","volume-title":"Software Engineering for Multi-Agent Systems III","author":"C. Bartolini","year":"2005","unstructured":"Bartolini, C., Preist, C., Jennings, N.: A software framework for automated negotiation. In: Choren, R., Garcia, A., Lucena, C., Romanovsky, A. (eds.) SELMAS 2004. LNCS, vol.\u00a03390, pp. 213\u2013235. Springer, Heidelberg (2005)"},{"key":"3_CR8","doi-asserted-by":"publisher","DOI":"10.1002\/9780470058411","volume-title":"Developing Multi-Agent systems with JADE","author":"F. Bellifemine","year":"2007","unstructured":"Bellifemine, F., Caire, G., Greenwood, D.: Developing Multi-Agent systems with JADE. John Wiley & Sons, Chichester (2007)"},{"key":"3_CR9","doi-asserted-by":"publisher","DOI":"10.1002\/9780470058411","volume-title":"Developing Multi-Agent Systems with JADE","author":"F.L. Bellifemine","year":"2007","unstructured":"Bellifemine, F.L., Caire, G., Greenwood, D.: Developing Multi-Agent Systems with JADE. John Wiley & Sons Ltd, Chichester (2007)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American (5) (May 2001)","DOI":"10.1038\/scientificamerican0501-34"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/978-3-540-89617-3_20","volume-title":"Ambient Intelligence","author":"A. Bikakis","year":"2008","unstructured":"Bikakis, A., Antoniou, G.: Distributed defeasible contextual reasoning in ambient computing. In: Aarts, E., Crowley, J.L., de Ruyter, B., Gerh\u00e4user, H., Pflaum, A., Schmidt, J., Wichert, R. (eds.) AmI 2008. LNCS, vol.\u00a05355, pp. 308\u2013325. Springer, Heidelberg (2008)"},{"key":"3_CR12","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-540-85379-4_4","volume-title":"Constructing Ambient Intelligence","author":"A. Bikakis","year":"2008","unstructured":"Bikakis, A., Antoniou, G.: Distributed reasoning with conflicts in an ambient peer-to-peer setting. In: M\u00fchlhauser, M., Ferscha, A., Aitenbichler, E. (eds.) Constructing Ambient Intelligence. CCIS, vol.\u00a011, pp. 24\u201333. Springer, Heidelberg (2008)"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"790","DOI":"10.1007\/978-3-540-88564-1_51","volume-title":"The Semantic Web - ISWC 2008","author":"D. Bonino","year":"2008","unstructured":"Bonino, D., Corno, F.: DogOnt - ontology modeling for intelligent domotic environments. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 790\u2013803. Springer, Heidelberg (2008)"},{"issue":"2","key":"3_CR14","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/j.autcon.2009.10.008","volume":"19","author":"D. Bonino","year":"2010","unstructured":"Bonino, D., Corno, F.: Rule-based intelligence for domotic environments. Automation in Construction\u00a019(2), 183\u2013196 (2010)","journal-title":"Automation in Construction"},{"key":"3_CR15","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","author":"R. Bordini","year":"2005","unstructured":"Bordini, R., Dastani, M., Dix, J., El Fallah Seghrouchni, A.: Multi-Agent Programming: Languages, Platforms and Applications. Springer, Heidelberg (2005)"},{"key":"3_CR16","volume-title":"Multi-Agent Programming: Languages, Tools and Applications","year":"2009","unstructured":"Bordini, R., Dastani, M., Dix, J., el Fallah-Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Tools and Applications. Springer, Berlin (2009)"},{"key":"3_CR17","volume-title":"Intention, Plans, and Practical Reason","author":"M. Bratman","year":"1987","unstructured":"Bratman, M.: Intention, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)"},{"issue":"4","key":"3_CR18","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1111\/j.1467-8640.1988.tb00284.x","volume":"4","author":"M. Bratman","year":"1988","unstructured":"Bratman, M., Israel, D., Pollack, M.: Plans and Resource-Bounded Practical Reasoning. Computational Intelligence\u00a04(4), 349\u2013355 (1988)","journal-title":"Computational Intelligence"},{"key":"3_CR19","unstructured":"Braubach, L.: Architekturen und Methoden zur Entwicklung verteilter agentenorientierter Softwaresysteme. PhD thesis, Universit\u00e4t Hamburg (2007)"},{"key":"3_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-32260-3_3","volume-title":"Programming Multi-Agent Systems","author":"L. Braubach","year":"2005","unstructured":"Braubach, L., Pokahr, A., Moldt, D., Lamersdorf, W.: Goal Representation for BDI Agent Systems. In: Bordini, R., Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2004. LNCS (LNAI), vol.\u00a03346, pp. 44\u201365. Springer, Heidelberg (2005)"},{"key":"3_CR21","unstructured":"Brooks, R.A.: How to build complete creatures rather than isolated cognitive simulators. Architectures for Intelligence, 225\u2013239 (1989)"},{"issue":"7","key":"3_CR22","first-page":"1048","volume":"14","author":"G. Brzykcy","year":"2008","unstructured":"Brzykcy, G., Bartoszek, J., Pankowski, T.: Schema mappings and agents\u2019 actions in p2p data integration system. Journal of Universal Computer Science\u00a014(7), 1048\u20131060 (2008)","journal-title":"Journal of Universal Computer Science"},{"key":"3_CR23","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/b137171_25","volume-title":"Information System Development. Towards a Service Provision Society (ISD 2008)","author":"A. B\u0103dic\u0103","year":"2009","unstructured":"B\u0103dic\u0103, A., B\u0103dic\u0103, C.: Specification and verification of an agent-based auction service. In: Information System Development. Towards a Service Provision Society (ISD 2008), pp. 239\u2013248. Springer, Heidelberg (2009)"},{"issue":"1","key":"3_CR24","first-page":"9","volume":"21","author":"A. B\u0103dic\u0103","year":"2011","unstructured":"B\u0103dic\u0103, A., B\u0103dic\u0103, C.: Fsp and fltl framework for specification and verification of middle-agents. Applied Mathematics and Computer Science\u00a021(1), 9\u201325 (2011)","journal-title":"Applied Mathematics and Computer Science"},{"issue":"2","key":"3_CR25","first-page":"244","volume":"13","author":"C. B\u0103dic\u0103","year":"2007","unstructured":"B\u0103dic\u0103, C., Ganzha, M., Paprzycki, M.: Implementing rule-based automated price negotiation in an agent system. Journal of Universal Computer Science\u00a013(2), 244\u2013266 (2007)","journal-title":"Journal of Universal Computer Science"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-540-75912-6_7","volume-title":"Trends in Enterprise Application Architecture","author":"C. B\u0103dic\u0103","year":"2007","unstructured":"B\u0103dic\u0103, C., Giurca, A., Wagner, G.: Using rules and R2ML for modeling negotiation mechanisms in E-commerce agent systems. In: Draheim, D., Weber, G. (eds.) TEAA 2006. LNCS, vol.\u00a04473, pp. 84\u201399. Springer, Heidelberg (2007)"},{"key":"3_CR27","unstructured":"Cabitza, F., Dal Seno, B.: Djess - a knowledge-sharing middleware to deploy distributed inference systems. In: Ardil, C. (ed.) The Second World Enformatika Conference, WEC 2005, Enformatika, \u00c7anakkale, Turkey, pp. 66\u201369 (2005)"},{"issue":"4","key":"3_CR28","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/122344.122353","volume":"2","author":"J.G. Carbonell","year":"1991","unstructured":"Carbonell, J.G., Etzioni, O., Gil, Y., Joseph, R., Knoblock, C.A., Minton, S., Veloso, M.M.: Prodigy: An integrated architecture for planning and learning. SIGART Bulletin\u00a02(4), 51\u201355 (1991)","journal-title":"SIGART Bulletin"},{"key":"3_CR29","unstructured":"Cardoso, H.L.: Integrating jade and jess (2007)"},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Christoph, U., Krempels, K.-H., Wilden, A.: Jamochaagent - a rule-based programmable agent. In: Filipe, J., Fred, A.L.N., Sharp, B. (eds.) ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, pp. 447\u2013454 (2009)","DOI":"10.5220\/0001558204470454"},{"key":"3_CR31","unstructured":"Collier, R.W.: Agent Factory: A Framework for the Engineering of Agent-Oriented Applications. PhD thesis, University College Dublin (2001)"},{"key":"3_CR32","doi-asserted-by":"crossref","unstructured":"Dastani, M.: 2apl: a practical agent programming language. International Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), Special Issue on Computational Logic-based Agents\u00a016(3), 214\u2013248","DOI":"10.1007\/s10458-008-9036-y"},{"issue":"1","key":"3_CR33","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/1327452.1327492","volume":"51","author":"J. Dean","year":"2008","unstructured":"Dean, J., Ghemawat, S.: Mapreduce: Simplified data processing on large clusters. Communications of the ACM\u00a051(1), 107\u2013113 (2008)","journal-title":"Communications of the ACM"},{"issue":"4\/5","key":"3_CR34","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1108\/01435120510596071","volume":"26","author":"H. Ding","year":"2005","unstructured":"Ding, H.: Integrating semantic metadata in p2p-based digital libraries. Library Management\u00a026(4\/5), 218\u2013229 (2005)","journal-title":"Library Management"},{"key":"3_CR35","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1145\/302405.302672","volume-title":"Proc. 21st International Conference on Software Engineering (ICSE 1999)","author":"M.B. Dwyer","year":"1999","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proc. 21st International Conference on Software Engineering (ICSE 1999), pp. 411\u2013420. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"3_CR36","volume-title":"Multi-Agents Systems - An Introduction to Distributed Artificial Intelligence","author":"J. Ferber","year":"1999","unstructured":"Ferber, J.: Multi-Agents Systems - An Introduction to Distributed Artificial Intelligence. Addison-Wesley, Reading (1999)"},{"issue":"1","key":"3_CR37","first-page":"22","volume":"6","author":"K. Fischer","year":"1992","unstructured":"Fischer, K., Windisch, H.-M.: Magsy: Ein regelbasiertes multiagentensystem. KI Zeitschrift\u00a06(1), 22\u201326 (1992)","journal-title":"KI Zeitschrift"},{"issue":"1","key":"3_CR38","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C. Forgy","year":"1982","unstructured":"Forgy, C.: Rete: A fast algorithm for the many patterns\/many objects match problem. Artificial Intelligence\u00a019(1), 17\u201337 (1982)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"3_CR39","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C.L. Forgy","year":"1982","unstructured":"Forgy, C.L.: Rete: A fast algorithm for the many pattern\/many object pattern match problem. Artificial Intelligence\u00a019(1), 17\u201337 (1982)","journal-title":"Artificial Intelligence"},{"issue":"3","key":"3_CR40","first-page":"200","volume":"15","author":"I.T. Foster","year":"2001","unstructured":"Foster, I.T., Kesselman, C., Tuecke, S.: The anatomy of the grid: Enabling scalable virtual organizations. IJHPCA\u00a015(3), 200\u2013222 (2001)","journal-title":"IJHPCA"},{"key":"3_CR41","unstructured":"Foundation for Intelligent Physical Agents (FIPA). FIPA ACL Message Structure Specification (December 2002), document no. FIPA00061"},{"key":"3_CR42","unstructured":"Foundation for Intelligent Physical Agents (FIPA). FIPA SL Content Language Specification (December 2002), document no. FIPA00008"},{"key":"3_CR43","unstructured":"Friedman-Hill, E.: Jess in Action: Java Rule-based Systems. Manning Publications Co. (2003)"},{"issue":"1","key":"3_CR44","first-page":"81","volume":"11","author":"M.E. Fr\u00eencu","year":"2010","unstructured":"Fr\u00eencu, M.E., Petcu, D.: Osyris: a nature inspired workflow engine for service oriented environments. Scalable Computing: Practice and Experience\u00a011(1), 81\u201397 (2010)","journal-title":"Scalable Computing: Practice and Experience"},{"key":"3_CR45","first-page":"333","volume-title":"Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications","author":"T. Gross","year":"2007","unstructured":"Gross, T., Paul-Stueve, T., Palakarska, T.: Sensbution: A rule-based peer-to-peer approach for sensor-based infrastructures. In: Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 333\u2013340. IEEE Computer Society, Washington, DC, USA (2007)"},{"issue":"2","key":"3_CR46","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1145\/63404.63405","volume":"7","author":"A. Gupta","year":"1989","unstructured":"Gupta, A., Forgy, C.L., Newell, A.: High-speed implementations of rule-based systems. ACM Transactions on Computer Systems\u00a07(2), 119\u2013146 (1989)","journal-title":"ACM Transactions on Computer Systems"},{"issue":"4","key":"3_CR47","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1145\/504083.504085","volume":"23","author":"G. Gupta","year":"2001","unstructured":"Gupta, G., Pontelli, E., Ali, K.A.M., Carlsson, M., Hermenegildo, M.V.: Parallel execution of prolog programs: a survey. ACM Transactions on Programming Languages and Systems\u00a023(4), 472\u2013602 (2001)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1-2","key":"3_CR48","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/0020-0255(92)90030-C","volume":"62","author":"L.O. Hall","year":"1992","unstructured":"Hall, L.O.: Backpac: A parallel goal-driven reasoning system. Information Sciences\u00a062(1-2), 169\u2013182 (1992)","journal-title":"Information Sciences"},{"key":"3_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-04875-3_3","volume-title":"Active Media Technology","author":"F. Harmelen","year":"2009","unstructured":"Harmelen, F.: Large scale reasoning on the semantic web: What to do when success is becoming a problem. In: Liu, J., Wu, J., Yao, Y., Nishida, T. (eds.) AMT 2009. LNCS, vol.\u00a05820, p. 3. Springer, Heidelberg (2009)"},{"key":"3_CR50","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1504\/IJIPT.2008.019294","volume":"3","author":"P. Herrero","year":"2008","unstructured":"Herrero, P., Bosque, J.L., Salvadores, M., Perez, M.S.: A rule based resources management for collaborative grid environments. International Journal of Internet Protocol Technology\u00a03, 35\u201345 (2008)","journal-title":"International Journal of Internet Protocol Technology"},{"key":"3_CR51","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-0-387-89299-3_4","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","author":"K. Hindriks","year":"2009","unstructured":"Hindriks, K.: Programming Rational Agents in GOAL. In: El Fallah Seghrouchni, A., Dix, J., Dastani, M., Bordini, R. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, pp. 119\u2013157. Springer, Heidelberg (2009)"},{"issue":"4","key":"3_CR52","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1023\/A:1010084620690","volume":"2","author":"K. Hindriks","year":"1999","unstructured":"Hindriks, K., de Boer, F., van der Hoek, W., Meyer, J.-J.: Agent Programming in 3APL. Autonomous Agents and Multi-Agent Systems\u00a02(4), 357\u2013401 (1999)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"3_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58698-9","volume-title":"Parallel, Distributed and Multiagent Production Systems","author":"T. Ishida","year":"1994","unstructured":"Ishida, T.: Parallel, Distributed and Multiagent Production Systems. LNCS, vol.\u00a0878. Springer, Heidelberg (1994)"},{"key":"3_CR54","first-page":"416","volume-title":"Proceedings of the First International Conference on Multiagent Systems, ICMAS","author":"T. Ishida","year":"1995","unstructured":"Ishida, T.: Parallel, distributed and multi-agent production systems - a research foundation for distributed artificial intelligence. In: Lesser, V.R., Gasser, L. (eds.) Proceedings of the First International Conference on Multiagent Systems, ICMAS, pp. 416\u2013422. The MIT Press, Cambridge (1995)"},{"key":"3_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/3-540-48234-2_7","volume-title":"Theoretical and Practical Aspects of SPIN Model Checking","author":"W. Janssen","year":"1999","unstructured":"Janssen, W., Mateescu, R., Mauw, S., Fennema, P., van der Stappen, P.: Model checking for managers. In: Dams, D.R., Gerth, R., Leue, S., Massink, M. (eds.) SPIN 1999. LNCS, vol.\u00a01680, pp. 92\u2013107. Springer, Heidelberg (1999)"},{"key":"3_CR56","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/122344.122361","volume":"2","author":"L.P. Kaelbling","year":"1991","unstructured":"Kaelbling, L.P.: A situated-automata approach to the design of embedded agents. SIGART Bulletin\u00a02, 85\u201388 (1991)","journal-title":"SIGART Bulletin"},{"key":"3_CR57","unstructured":"Kinny, D., Georgeff, M.: Commitment and effectiveness of situated agents. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI 1991), pp. 82\u201388 (February 1991)"},{"key":"3_CR58","doi-asserted-by":"crossref","unstructured":"Knottenbelt, J.: Contract Related Agents. PhD thesis, Imperial College, London (2006)","DOI":"10.1007\/11750734_13"},{"issue":"4","key":"3_CR59","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1145\/122344.122365","volume":"2","author":"P. Langley","year":"1991","unstructured":"Langley, P., McKusick, K.B., Allen, J.A., Iba, W., Thompson, K.: A design for the icarus architecture. SIGART Bulletin\u00a02(4), 104\u2013109 (1991)","journal-title":"SIGART Bulletin"},{"key":"3_CR60","first-page":"212","volume-title":"Invitation to Cognitive Science","author":"J.F. Lehman","year":"1996","unstructured":"Lehman, J.F., Laird, J., Rosenbloom, P.: A gentle introduction to Soar, an architecture for human cognition. In: Sternberg, S., Scarborough, D. (eds.) Invitation to Cognitive Science, vol.\u00a04, pp. 212\u2013249. MIT Press, Cambridge (1996)"},{"key":"3_CR61","unstructured":"Lehman, J.F., Laird, J., Rosenbloom, P.: A gentle introduction to Soar, an architecture for human cognition. Technical report, University of Michigan (2006)"},{"key":"3_CR62","first-page":"818","volume-title":"3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004)","author":"K.M. Lochner","year":"2004","unstructured":"Lochner, K.M., Wellman, M.P.: Rule-based specification of auction mechanisms. In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), pp. 818\u2013825. IEEE Computer Society, Los Alamitos (2004)"},{"issue":"4","key":"3_CR63","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1016\/j.jss.2005.04.005","volume":"79","author":"S.W. Loke","year":"2006","unstructured":"Loke, S.W.: Declarative programming of integrated peer-to-peer and web based systems: the case of prolog. Journal of Systems and Software\u00a079(4), 523\u2013536 (2006)","journal-title":"Journal of Systems and Software"},{"issue":"1","key":"3_CR64","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1023\/A:1022232410606","volume":"12","author":"A.R. Lomuscio","year":"2003","unstructured":"Lomuscio, A.R., Wooldridge, M., Jennings, N.R.: A classification scheme for negotiation in electronic commerce. Group Decision and Negotiation\u00a012(1), 31\u201356 (2003)","journal-title":"Group Decision and Negotiation"},{"key":"3_CR65","unstructured":"Gedik, B., Kumar, V., Losa, G., Soul\u00e9, R., Wu, K.-L., Hirzel, M., Andrade, H."},{"issue":"1","key":"3_CR66","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/s11227-008-0250-9","volume":"50","author":"L. Mohammad Khanli","year":"2009","unstructured":"Mohammad Khanli, L., Analoui, M.: Active grid information server for grid computing. The Journal of Supercomputing\u00a050(1), 19\u201335 (2009)","journal-title":"The Journal of Supercomputing"},{"key":"3_CR67","unstructured":"Morreale, V., Bonura, S., Francaviglia, G., Centineo, F., Cossentino, M., Gaglio, S.: Reasoning about goals in BDI agents: the PRACTIONIST framework. In: De Paoli, F., Di Stefano, A., Omicini, A., Santoro, C. (eds.) Proceedings of Joint Workshop \u201cFrom Objects to Agents\u201d (2006)"},{"key":"3_CR68","volume-title":"Unified Theories of Cognition","author":"A. Newell","year":"1990","unstructured":"Newell, A.: Unified Theories of Cognition. Harvard University Press, Cambridge (1990)"},{"key":"3_CR69","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1613\/jair.30","volume":"1","author":"N.J. Nilsson","year":"1994","unstructured":"Nilsson, N.J.: Teleo-reactive programs for agent control. Journal Artificial Intelligence Research\u00a01, 139\u2013158 (1994)","journal-title":"Journal Artificial Intelligence Research"},{"issue":"4","key":"3_CR70","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/j.websem.2009.09.002","volume":"7","author":"E. Oren","year":"2009","unstructured":"Oren, E., Kotoulas, S., Anadiotis, G., Siebes, R., ten Teije, A., van Harmelen, F.: Marvin: Distributed reasoning over large-scale semantic web data. Journal of Web Semantics\u00a07(4), 305\u2013316 (2009)","journal-title":"Journal of Web Semantics"},{"key":"3_CR71","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1109\/AMS.2008.83","volume-title":"Second Asia International Conference on Modelling and Simulation (AMS 2008)","author":"A.R. Oskooei","year":"2008","unstructured":"Oskooei, A.R., Mirza-Aghatabar, M., Khorsandi, S.: Introduction of novel rule based algorithms for scheduling in grid computing systems. In: Second Asia International Conference on Modelling and Simulation (AMS 2008), pp. 138\u2013143. IEEE Computer Society, Los Alamitos (2008)"},{"issue":"2","key":"3_CR72","first-page":"29","volume":"7","author":"J. Padgett","year":"2006","unstructured":"Padgett, J., Djemame, K., Dew, P.: Predictive adaptation for service level agreements on the grid. International Journal of Simulation: Systems, Science & Technology\u00a07(2), 29\u201342 (2006)","journal-title":"International Journal of Simulation: Systems, Science & Technology"},{"key":"3_CR73","first-page":"17","volume-title":"Proceedings of the 2nd International Conference on Pragmatic Web, ICPW 2007","author":"A. Paschke","year":"2007","unstructured":"Paschke, A., Boley, H., Kozlenkov, A., Craig, B.: Rule responder: Ruleml-based agents for distributed collaboration on the pragmatic web. In: Proceedings of the 2nd International Conference on Pragmatic Web, ICPW 2007, pp. 17\u201328. ACM, New York (2007)"},{"issue":"1","key":"3_CR74","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/j.dss.2008.06.008","volume":"46","author":"A. Paschke","year":"2008","unstructured":"Paschke, A., Bichler, M.: Knowledge representation concepts for automated sla management. Decision Support Systems\u00a046(1), 187\u2013205 (2008)","journal-title":"Decision Support Systems"},{"issue":"4","key":"3_CR75","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0950-7051(00)00045-9","volume":"13","author":"T.S. Perraju","year":"2000","unstructured":"Perraju, T.S., Prasad, B.E.: Interference analysis in multiple rule firing systems. Knowledge-Based Systems\u00a013(4), 171\u2013176 (2000)","journal-title":"Knowledge-Based Systems"},{"key":"3_CR76","unstructured":"Petcu, D., Petcu, M.: Distributed jess on a condor pool. In: Proceedings of the 9th WSEAS International Conference on Computers, Stevens Point, Wisconsin, USA, pp. 1\u20135. World Scientific and Engineering Academy and Society, WSEAS (2005)"},{"key":"3_CR77","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/11550648_8","volume-title":"Multiagent System Technologies","author":"A. Pokahr","year":"2005","unstructured":"Pokahr, A., Braubach, L., Lamersdorf, W.: A goal deliberation strategy for BDI agent systems. In: Eymann, T., Kl\u00fcgl, F., Lamersdorf, W., Klusch, M., Huhns, M.N. (eds.) MATES 2005. LNCS (LNAI), vol.\u00a03550, pp. 82\u201393. Springer, Heidelberg (2005)"},{"key":"3_CR78","unstructured":"Pollack, M.E., Joslin, D., Nunes, A., Ur, S., Ephrati, E.: Experimental investigation of an agent commitment strategy. Technical Report 94\u201331, Department of Computer Science, University of Pittsburgh (1994)"},{"key":"3_CR79","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"A. Rao","year":"1996","unstructured":"Rao, A.: AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In: Van de Velde, W., Perram, J. (eds.) MAAMAW 1996. LNCS, vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"3_CR80","first-page":"312","volume-title":"Proceedings of the 1st International Conference on Multi-Agent Systems (ICMAS 1995)","author":"A. Rao","year":"1995","unstructured":"Rao, A., Georgeff, M.: BDI Agents: from theory to practice. In: Lesser, V. (ed.) Proceedings of the 1st International Conference on Multi-Agent Systems (ICMAS 1995), pp. 312\u2013319. MIT Press, Cambridge (1995)"},{"key":"3_CR81","unstructured":"Reticular Systems. AgentBuilder User\u2019s Guide, version 1.3 edn (2000), http:\/\/www.agentbuilder.com\/"},{"key":"3_CR82","volume-title":"Artifical Intelligence: A Modern Approach","author":"S. Russell","year":"2003","unstructured":"Russell, S., Norvig, P.: Artifical Intelligence: A Modern Approach. Prentice-Hall, Englewood Cliffs (2003)"},{"issue":"7","key":"3_CR83","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1080\/08839510050119235","volume":"14","author":"M. Schroeder","year":"2000","unstructured":"Schroeder, M., Wagner, G.: Vivid agents: Theory, architecture, and applications. Applied Artificial Intelligence\u00a014(7), 645\u2013675 (2000)","journal-title":"Applied Artificial Intelligence"},{"issue":"1","key":"3_CR84","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Shoham, Y.: Agent-oriented programming. Artificial Intelligence\u00a060(1), 51\u201392 (1993)","journal-title":"Artificial Intelligence"},{"key":"3_CR85","first-page":"43","volume-title":"Proceedings of the Third IEEE International Conference on e-Science and Grid Computing, E-SCIENCE 2007","author":"M. Siddiqui","year":"2007","unstructured":"Siddiqui, M., Villazon, A., Fahringer, T.: Semantic-based on-demand synthesis of grid activities for automatic workflow generation. In: Proceedings of the Third IEEE International Conference on e-Science and Grid Computing, E-SCIENCE 2007, pp. 43\u201350. IEEE Computer Society, Washington, DC, USA (2007)"},{"key":"3_CR86","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1207\/s15516709cog0401_2","volume":"4","author":"H.A. Simon","year":"1980","unstructured":"Simon, H.A.: Cognitive science: the newest science of the artificial. Cognitive Science\u00a04, 33\u201346 (1980)","journal-title":"Cognitive Science"},{"issue":"2","key":"3_CR87","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1016\/j.datak.2007.03.004","volume":"63","author":"T. Skylogiannis","year":"2007","unstructured":"Skylogiannis, T., Antoniou, G., Bassiliades, N., Governatori, G., Bikakis, A.: Dr-negotiate \u2013 a system for automated agent negotiation with defeasible logic-based strategies. Data & Knowledge Engineering\u00a063(2), 362\u2013380 (2007)","journal-title":"Data & Knowledge Engineering"},{"key":"3_CR88","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/ICPP.2008.64","volume-title":"37th International Conference on Parallel Processing, ICPP 2008","author":"R. Soma","year":"2008","unstructured":"Soma, R., Prasanna, V.K.: Parallel inferencing for owl knowledge bases. In: 37th International Conference on Parallel Processing, ICPP 2008, pp. 75\u201382. IEEE Computer Society, Los Alamitos (2008)"},{"issue":"2","key":"3_CR89","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/j.engappai.2004.11.011","volume":"18","author":"V. Tamma","year":"2005","unstructured":"Tamma, V., Phelps, S., Dickinson, I., Wooldridge, M.: Ontologies for supporting negotiation in e-commerce. Engineering Applications of Artificial Intelligence\u00a018(2), 223\u2013236 (2005)","journal-title":"Engineering Applications of Artificial Intelligence"},{"issue":"2-4","key":"3_CR90","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1002\/cpe.938","volume":"17","author":"D. Thain","year":"2005","unstructured":"Thain, D., Tannenbaum, T., Livny, M.: Distributed computing in practice: the condor experience. Concurrency and Computation: Practice and Experience\u00a017(2-4), 323\u2013356 (2005)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"3_CR91","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-642-13486-9_15","volume-title":"The Semantic Web: Research and Applications","author":"J. Urbani","year":"2010","unstructured":"Urbani, J., Kotoulas, S., Maassen, J., van Harmelen, F., Bal, H.E.: Owl reasoning with webpie: Calculating the closure of 100 billion triples. In: Aroyo, L., Antoniou, G., Hyv\u00f6nen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010. LNCS, vol.\u00a06088, pp. 213\u2013227. Springer, Heidelberg (2010)"},{"key":"3_CR92","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"634","DOI":"10.1007\/978-3-642-04930-9_40","volume-title":"The Semantic Web - ISWC 2009","author":"J. Urbani","year":"2009","unstructured":"Urbani, J., Kotoulas, S., Oren, E., Harmelen, F.: Scalable distributed reasoning using mapReduce. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol.\u00a05823, pp. 634\u2013649. Springer, Heidelberg (2009)"},{"key":"3_CR93","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6134-4","volume-title":"Parallel, object-oriented, and active knowledge base systems","author":"I. Vlahavas","year":"1998","unstructured":"Vlahavas, I., Bassiliades, N.: Parallel, object-oriented, and active knowledge base systems. Kluwer Academic Publishers, Norwell (1998)"},{"issue":"3","key":"3_CR94","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1109\/69.224203","volume":"5","author":"O. Wolfson","year":"1993","unstructured":"Wolfson, O., Ozeri, A.: Parallel and distributed processing of rules by data-reduction. IEEE Transactions on Knowledge and Data Engineering\u00a05(3), 523\u2013530 (1993)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"3_CR95","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5804.001.0001","volume-title":"Reasoning about Rational Agents","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M.: Reasoning about Rational Agents. MIT Press, Cambridge (2000)"},{"key":"3_CR96","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-58855-8_1","volume-title":"Intelligent Agents","author":"M. Wooldridge","year":"1995","unstructured":"Wooldridge, M., Jennings, N.: Agent theories, architectures, and languages: A survey. In: Wooldridge, M., Jennings, N. (eds.) ECAI 1994 and ATAL 1994. LNCS, vol.\u00a0890, pp. 1\u201339. Springer, Heidelberg (1995)"},{"key":"3_CR97","volume-title":"An Introduction to MultiAgent Systems","author":"M. Wooldrige","year":"2002","unstructured":"Wooldrige, M.: An Introduction to MultiAgent Systems. John Wiley & Sons, Chichester (2002)"},{"issue":"1","key":"3_CR98","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1109\/69.368511","volume":"7","author":"W. Zhang","year":"1995","unstructured":"Zhang, W., Wang, K., Chau, S.-C.: Data partition and parallel evaluation of datalog programs. IEEE Transactions on Knowledge and Data Engineering\u00a07(1), 163\u2013176 (1995)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"}],"container-title":["Lecture Notes in Computer Science","Rule-Based Reasoning, Programming, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22546-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,7]],"date-time":"2025-03-07T02:52:19Z","timestamp":1741315939000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22546-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642225451","9783642225468"],"references-count":98,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22546-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}