{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T14:19:45Z","timestamp":1777299585204,"version":"3.51.4"},"publisher-location":"Cham","reference-count":57,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319261836","type":"print"},{"value":"9783319261843","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-26184-3_5","type":"book-chapter","created":{"date-parts":[[2015,11,14]],"date-time":"2015-11-14T12:44:19Z","timestamp":1447505059000},"page":"70-91","source":"Crossref","is-referenced-by-count":13,"title":["ACE: A Flexible Environment for Complex Event Processing in Logical Agents"],"prefix":"10.1007","author":[{"given":"Stefania","family":"Costantini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,15]]},"reference":[{"key":"5_CR1","unstructured":"Chandy, M.K., Etzion, O., von Ammon, R.: 10201 executive summary and manifesto - event processing. In: Chandy, K.M., Etzion, O., von Ammon, R. (eds.) Event Processing. Number 10201 in Dagstuhl Seminar Proc., Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2011)"},{"key":"5_CR2","volume-title":"Event Processing in Action","author":"O Etzion","year":"2010","unstructured":"Etzion, O., Niblett, P.: Event Processing in Action. Manning Publications Co., Greenwich (2010)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-04985-9_8","volume-title":"Rule Interchange and Applications","author":"A Paschke","year":"2009","unstructured":"Paschke, A., Kozlenkov, A.: Rule-based event processing and reaction rules. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 53\u201366. Springer, Heidelberg (2009)"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gener. Comput. 4, 67\u201395 (1986)","journal-title":"New Gener. Comput."},{"issue":"1","key":"5_CR5","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1111\/j.1467-8640.2007.00295.x","volume":"23","author":"M Fisher","year":"2007","unstructured":"Fisher, M., Bordini, R.H., Hirsch, B., Torroni, P.: Computational logics and agents: a road map of current technologies and future trends. Comput. Intell. J. 23(1), 61\u201391 (2007)","journal-title":"Comput. Intell. J."},{"issue":"1\u20132","key":"5_CR6","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1080\/08839514.2012.636616","volume":"26","author":"D Anicic","year":"2012","unstructured":"Anicic, D., Rudolph, S., Fodor, P., Stojanovic, N.: Real-time complex event recognition and reasoning - a logic programming approach. Appl. Artif. Intell. 26(1\u20132), 6\u201357 (2012)","journal-title":"Appl. Artif. Intell."},{"issue":"4","key":"5_CR7","doi-asserted-by":"crossref","first-page":"397","DOI":"10.3233\/SW-2011-0053","volume":"3","author":"D Anicic","year":"2012","unstructured":"Anicic, D., Rudolph, S., Fodor, P., Stojanovic, N.: Stream reasoning and complex event processing in ETALIS. Semant. Web 3(4), 397\u2013407 (2012)","journal-title":"Semant. Web"},{"key":"5_CR8","unstructured":"Costantini, S., Dell\u2019Acqua, P., Tocchio, A.: Expressing preferences declaratively in logic-based agent languages. In: Proceedings of Commonsense 2007, the 8th International Symposium on Logical Formalizations of Commonsense Reasoning. AAAI Spring Symposium Series (2007). (a special event in honor of John McCarthy)"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-24206-9_3","volume-title":"Datalog Reloaded","author":"S Costantini","year":"2011","unstructured":"Costantini, S.: Answer set modules for logical agents. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A. (eds.) Datalog 2010. LNCS, vol. 6702, pp. 37\u201358. Springer, Heidelberg (2011)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-32689-9_13","volume-title":"Rules on the Web: Research and Applications","author":"S Costantini","year":"2012","unstructured":"Costantini, S., De Gasperis, G.: Complex reactivity with preferences in rule-based agents. In: Bikakis, A., Giurca, A. (eds.) RuleML 2012. LNCS, vol. 7438, pp. 167\u2013181. Springer, Heidelberg (2012)"},{"key":"5_CR11","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-319-00569-0_3","volume-title":"Management Intelligent Systems","author":"S Costantini","year":"2013","unstructured":"Costantini, S., De Gasperis, G.: Memory, experience and adaptation in logical agents. In: Casillas, J., Mart\u00ednez-L\u00f3pez, F.J., Vicari, R., De la Prieta, F. (eds.) Management Intelligent Systems. AISC, vol. 220, pp. 17\u201324. Springer, Heidelberg (2013)"},{"key":"5_CR12","unstructured":"Costantini, S.: Self-checking logical agents. In: Gini, M.L., Shehory, O., Ito, T., Jonker, C.M. (eds.) Proceedings of AAMAS 2013, 12th International Conference on Autonomous Agents and Multi-Agent Systems, IFAAMAS\/ACM, pp. 1329\u20131330 (2013). (Extended Abstract)"},{"key":"5_CR13","unstructured":"Costantini, S., De Gasperis, G.: Meta-level constraints for complex event processing in logical agents. In: Online Proceedings of Commonsense 2013, the 11th International Symposium on Logical Formalizations of Commonsense Reasoning (2013)"},{"issue":"1","key":"5_CR14","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s00354-015-0103-z","volume":"33","author":"RA Kowalski","year":"2015","unstructured":"Kowalski, R.A., Sadri, F.: Reactive computing as model generation. New Gener. Comput. 33(1), 33\u201367 (2015)","journal-title":"New Gener. Comput."},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-642-29414-3_3","volume-title":"Logic Programs, Norms and Action","author":"RA Kowalski","year":"2012","unstructured":"Kowalski, R.A., Sadri, F.: Teleo-reactive abductive logic programs. In: Artikis, A., Craven, R., Kesim \u00c7i\u00e7ekli, N., Sadighi, B., Stathis, K. (eds.) Sergot Festschrift 2012. LNCS, vol. 7360, pp. 12\u201332. Springer, Heidelberg (2012)"},{"key":"5_CR16","unstructured":"Costantini, S., Riveret, R.: Event-action modules for complex reactivity in logical agents. In: Bazzan, A.L.C., Huhns, M.N., Lomuscio, A., Scerri, P. (eds.) Proceedings of AAMAS 2013, 13th International Conference on Autonomous Agents and Multi-Agent Systems, IFAAMAS\/ACM, pp. 1503\u20131504 (2014). (Extended Abstract)"},{"key":"5_CR17","unstructured":"Costantini, S., Riveret, R.: Complex events and actions in logical agents. In: Giordano, L., Gliozzi, V., Pozzato, G.L. (eds.) Proceedings of the 29th Italian Conference on Computational Logic. CEUR Workshop Proceedings, vol. 1195, pp. 256\u2013271. CEUR-WS.org (2014)"},{"key":"5_CR18","unstructured":"Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: Proceedings of the 22nd AAAI Conference on Artificial Intelligence, pp. 385\u2013390. AAAI Press (2007)"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-642-20832-4_16","volume-title":"Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Fink, M.: Nonmonotonic multi-context systems: a flexible approach for integrating heterogeneous knowledge sources. In: Balduccini, M., Son, T.C. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. LNCS, vol. 6565, pp. 233\u2013258. Springer, Heidelberg (2011)"},{"key":"5_CR20","unstructured":"Brewka, G., Ellmauthaler, S., P\u00fchrer, J.: Multi-context systems for reactive reasoning in dynamic environments. In: Schaub, T. (ed.) ECAI 2014, Proceedings of the 21st European Conference on Artificial Intelligence, IJCAI\/AAAI (2014)"},{"key":"5_CR21","unstructured":"Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: Walsh, T. (ed.) IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI\/AAAI, pp. 786\u2013791 (2011)"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45757-7_1","volume-title":"Logics in Artificial Intelligence","author":"S Costantini","year":"2002","unstructured":"Costantini, S., Tocchio, A.: A logic programming language for multi-agent systems. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, p. 1. Springer, Heidelberg (2002)"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1007\/978-3-540-30227-8_57","volume-title":"Logics in Artificial Intelligence","author":"S Costantini","year":"2004","unstructured":"Costantini, S., Tocchio, A.: The DALI logic programming agent-oriented language. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 685\u2013688. Springer, Heidelberg (2004)"},{"key":"5_CR24","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Proceedings of the 5th International Conference and Symposium on Logic Programming (ICLP\/SLP 1988), pp. 1070\u20131080. The MIT Press (1988)"},{"key":"5_CR25","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"key":"5_CR26","volume-title":"Handbook of Knowledge Representation","author":"M Gelfond","year":"2007","unstructured":"Gelfond, M.: Answer sets. In: Lifschitz, V., van Hermelen, F., Porter, B. (eds.) Handbook of Knowledge Representation. Elsevier, Amsterdam (2007)"},{"key":"5_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-74610-2_6","volume-title":"Logic Programming","author":"M Truszczy\u0144ski","year":"2007","unstructured":"Truszczy\u0144ski, M.: Logic programming for knowledge representation. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 76\u201388. Springer, Heidelberg (2007)"},{"key":"5_CR28","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19\u201320","author":"KR Apt","year":"1994","unstructured":"Apt, K.R., Bol, R.: Logic programming and negation: a survey. J. Logic Program. 19\u201320, 9\u201371 (1994)","journal-title":"J. Logic Program."},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Distributed evaluation of nonmonotonic multi-context systems. JAIR, the Journal of Artificial Intelligence Research (2015) (to appear)","DOI":"10.1613\/jair.4574"},{"key":"5_CR30","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/11750734_9","volume-title":"Computational Logic in Multi-Agent Systems","author":"RH Bordini","year":"2006","unstructured":"Bordini, R.H., H\u00fcbner, J.F.: BDI agent programming in agentspeak using Jason (tutorial paper). In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 143\u2013164. Springer, Heidelberg (2006)"},{"key":"5_CR31","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling agents within a BDI-architecture. In: Fikes, R., Sandewall, E. (eds.) Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), Cambridge, Massachusetts, Morgan Kaufmann (1991)"},{"key":"5_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-642-29414-3_11","volume-title":"Logic Programs, Norms and Action","author":"KV Hindriks","year":"2012","unstructured":"Hindriks, K.V., van der Hoek, W., Meyer, J.-J.C.: GOAL agents instantiate intention logic. In: Artikis, A., Craven, R., Kesim \u00c7i\u00e7ekli, N., Sadighi, B., Stathis, K. (eds.) Sergot Festschrift 2012. LNCS, vol. 7360, pp. 196\u2013219. Springer, Heidelberg (2012)"},{"key":"5_CR33","series-title":"Multiagent Systems, Artificial Societies, and Simulated Organizations","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/0-387-26350-0_2","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","author":"M Dastani","year":"2005","unstructured":"Dastani, M., van Riemsdijk, M.B., Meyer, J.C.: Programming multi-agent systems in 3APL. In: Bordini, R.H., Dastani, M., Dix, J., Fallah-Seghrouchni, A.E. (eds.) Multi-Agent Programming: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15, pp. 39\u201367. Springer, New York (2005)"},{"key":"5_CR34","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/11678823_1","volume-title":"Programming Multi-Agent Systems","author":"M Fisher","year":"2006","unstructured":"Fisher, M.: MetateM: The story so far. In: Bordini, R.H., Dastani, M., Dix, J., Fallah Seghrouchni, A. (eds.) PROMAS 2005. LNCS (LNAI), vol. 3862, pp. 3\u201322. Springer, Heidelberg (2006)"},{"issue":"1","key":"5_CR35","first-page":"33","volume":"30","author":"RH Bordini","year":"2006","unstructured":"Bordini, R.H., Braubach, L., Dastani, M., Fallah-Seghrouchni, A.E., G\u00f3mez-Sanz, J.J., Leite, J., O\u2019Hare, G.M.P., Pokahr, A., Ricci, A.: A survey of programming languages and platforms for multi-agent systems. Informatica (Slovenia) 30(1), 33\u201344 (2006)","journal-title":"Informatica (Slovenia)"},{"key":"5_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/978-3-540-31794-4_18","volume-title":"Global Computing","author":"A Bracciali","year":"2005","unstructured":"Bracciali, A., et al.: The KGP model of agency for global computing: computational model and prototype implementation. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 340\u2013367. Springer, Heidelberg (2005)"},{"key":"5_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-20895-9_7","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Grote, T., Kaminski, R., Schaub, T.: Reactive answer set programming. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 54\u201366. Springer, Heidelberg (2011)"},{"key":"5_CR38","doi-asserted-by":"crossref","unstructured":"Brewka, G., Delgrande, J.P., Romero, J., Schaub, T.: asprin: customizing answer set preferences without a headache. In Bonet, B., Koenig, S. (eds.) Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, pp. 1467\u20131474. AAAI Press (2015)","DOI":"10.1609\/aaai.v29i1.9398"},{"key":"5_CR39","unstructured":"Bienvenu, M., Lang, J., Wilson, N.: From preference logics to preference languages, and back. In: Proceedings of the Twelfth International Conference on the Principles of Knowledge Represent and Reasoning (KR 2010), pp. 414\u2013424 (2010)"},{"issue":"4","key":"5_CR40","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1609\/aimag.v29i4.2179","volume":"29","author":"G Brewka","year":"2008","unstructured":"Brewka, G., Niemel\u00e4, I., Truszczy\u0144ski, M.: Preferences and nonmonotonic reasoning. AI Mag. 29(4), 69\u201378 (2008)","journal-title":"AI Mag."},{"issue":"12","key":"5_CR41","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1111\/j.0824-7935.2004.00240.x","volume":"20","author":"J Delgrande","year":"2004","unstructured":"Delgrande, J., Schaub, T., Tompits, H., Wang, K.: A classification and survey of preference handling approaches in nonmonotonic reasoning. Comput. Intell. 20(12), 308\u2013334 (2004)","journal-title":"Comput. Intell."},{"issue":"1\u20132","key":"5_CR42","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2010-356","volume":"105","author":"S Costantini","year":"2010","unstructured":"Costantini, S., Formisano, A., Petturiti, D.: Extending and implementing RASP. Fundamenta Informaticae 105(1\u20132), 1\u201333 (2010)","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"5_CR43","first-page":"3","volume":"64","author":"S Costantini","year":"2009","unstructured":"Costantini, S., Formisano, A.: Modeling preferences and conditional preferences on resource consumption and production in ASP. J. Algorithms Cogn. Inform. Logic 64(1), 3\u201315 (2009)","journal-title":"J. Algorithms Cogn. Inform. Logic"},{"key":"5_CR44","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/11691792_7","volume-title":"Declarative Agent Languages and Technologies III","author":"S Costantini","year":"2006","unstructured":"Costantini, S., Tocchio, A.: About declarative semantics of logic-based agent languages. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol. 3904, pp. 106\u2013123. Springer, Heidelberg (2006)"},{"key":"5_CR45","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9, 365\u2013385 (1991)","journal-title":"New Gener. Comput."},{"issue":"3\u20134","key":"5_CR46","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic programs with stable model semantics as a constraint programming paradigm. Ann. Math. Artif. Intell. 25(3\u20134), 241\u2013273 (1999)","journal-title":"Ann. Math. Artif. Intell."},{"key":"5_CR47","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"Logic Programming Paradigm","author":"VW Marek","year":"1999","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Stable logic programming - an alternative logic programming paradigm. In: Apt, K.R., Marek, V.W., Truszczynski, M., Warren, D.S. (eds.) Logic Programming Paradigm, pp. 375\u2013398. Springer, New York (1999)"},{"issue":"1\u20132","key":"5_CR48","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2010-356","volume":"105","author":"S Costantini","year":"2010","unstructured":"Costantini, S., Formisano, A., Petturiti, D.: Extending and implementing RASP. Fundam. Inform. 105(1\u20132), 1\u201333 (2010)","journal-title":"Fundam. Inform."},{"key":"5_CR49","unstructured":"Web-references: Some ASP solvers Clasp:\u00a0 potassco.sourceforge.net ; Cmodels: www.cs.utexas.edu\/users\/tag\/cmodels ; DLV:\u00a0 www.dbai.tuwien.ac.at\/proj\/dlv ; Smodels:\u00a0 www.tcs.hut.fi\/Software\/smodels"},{"issue":"4","key":"5_CR50","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1609\/aimag.v33i4.2448","volume":"33","author":"F Calimeri","year":"2012","unstructured":"Calimeri, F., Ianni, G., Krennwallner, T., Ricca, F.: The answer set programming competition. AI Mag. 33(4), 114\u2013118 (2012)","journal-title":"AI Mag."},{"issue":"3","key":"5_CR51","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374\u2013425 (2001)","journal-title":"ACM Comput. Surv."},{"key":"5_CR52","unstructured":"Formisano, A., Petturiti, D.: Raspberry: an implementation of RASP (2010). http:\/\/www.dmi.unipg.it\/~formis\/raspberry\/"},{"issue":"1","key":"5_CR53","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1016\/j.aei.2009.08.007","volume":"24","author":"F Heintz","year":"2010","unstructured":"Heintz, F., Kvarnstr\u00f6m, J., Doherty, P.: Bridging the sense-reasoning gap: Dyknow - stream-based middleware for knowledge processing. Adv. Eng. Inform. 24(1), 14\u201326 (2010)","journal-title":"Adv. Eng. Inform."},{"key":"5_CR54","unstructured":"Costantini, S., De Gasperis, G.: Runtime self-checking via temporal (meta-)axioms for assurance of logical agent systems. In: Bulling, N., van der Hoek, W. (eds.) Proceedings of LAMAS 2014, 7th Workshop on Logical Aspects of Multi-Agent Systems, held at AAMAS 2014, pp. 241\u2013255 (2014). Also in: Proceedings of the 29th Italian Conference on Computational Logic. CEUR Workshop Proceedings 1195"},{"key":"5_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-319-23264-5_20","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"S Costantini","year":"2015","unstructured":"Costantini, S.: Knowledge acquisition via non-monotonic reasoning in distributed heterogeneous environments. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS, vol. 9345, pp. 228\u2013241. Springer, Heidelberg (2015)"},{"key":"5_CR56","unstructured":"Costantini, S., Gasperis, G.D.: Exchanging data and ontological definitions in multi-agent-contexts systems. In: Paschke, A., Fodor, P., Giurca, A., Kliegr, T. (eds.) RuleMLChallenge track, Proceedings. CEUR Workshop Proceedings, CEUR-WS.org (2015)"},{"key":"5_CR57","unstructured":"Montali, M., Calvanese, D., De Giacomo, G.: Specification and verification of commitment-regulated data-aware multiagent systems. In: Proceedings of AAMAS 2014 (2014)"}],"container-title":["Lecture Notes in Computer Science","Engineering Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-26184-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,15]],"date-time":"2023-08-15T21:28:15Z","timestamp":1692134895000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-26184-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319261836","9783319261843"],"references-count":57,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-26184-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}