{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T07:21:29Z","timestamp":1725866489568},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319468396"},{"type":"electronic","value":"9783319468402"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-46840-2_7","type":"book-chapter","created":{"date-parts":[[2016,9,23]],"date-time":"2016-09-23T14:45:41Z","timestamp":1474641941000},"page":"104-121","source":"Crossref","is-referenced-by-count":3,"title":["Augmenting Agent Computational Environments with Quantitative Reasoning Modules and Customizable Bridge Rules"],"prefix":"10.1007","author":[{"given":"Stefania","family":"Costantini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Formisano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,24]]},"reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-40564-8_6","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Alviano","year":"2013","unstructured":"Alviano, M., Dodaro, C., Faber, W., Leone, N., Ricca, F.: WASP: a native ASP solver based on constraint learning. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS (LNAI), vol. 8148, pp. 54\u201366. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40564-8_6"},{"key":"7_CR2","unstructured":"Bienvenu, M., Lang, J., Wilson, N.: From preference logics to preference languages, and back. In: Proceedings of KR 2010, pp. 414\u2013424 (2010)"},{"issue":"1","key":"7_CR3","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":"7_CR4","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. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 143\u2013164. Springer, Heidelberg (2006). doi: 10.1007\/11750734_9"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","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., Demetriou, N., Endriss, U., Kakas, A., Lu, W., Mancarella, P., Sadri, F., Stathis, K., Terreni, G., Toni, F.: The KGP model of agency for global computing: computational model and prototype implementation. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS (LNAI), vol. 3267, pp. 340\u2013367. Springer, Heidelberg (2005). doi: 10.1007\/978-3-540-31794-4_18"},{"key":"7_CR6","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 AAAI 2015, pp. 1467\u20131474. AAAI Press (2015)","DOI":"10.1609\/aaai.v29i1.9398"},{"key":"7_CR7","unstructured":"Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: Proceedings of AAAI 2007, pp. 385\u2013390. AAAI Press (2007)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","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 (LNAI), vol. 6565, pp. 233\u2013258. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-20832-4_16"},{"key":"7_CR9","unstructured":"Brewka, G., Eiter, T., Fink, M., Weinzierl, A.: Managed multi-context systems. In: Walsh, T. (ed.) Proceedings of IJCAI 2011, pp. 786\u2013791. IJCAI\/AAAI (2011)"},{"key":"7_CR10","unstructured":"Brewka, G., Ellmauthaler, S., P\u00fchrer, J.: Multi-context systems for reactive reasoning in dynamic environments. In: Schaub, T. (ed.) Proceedings of ECAI 2014. IJCAI\/AAAI (2014)"},{"issue":"4","key":"7_CR11","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."},{"key":"7_CR12","unstructured":"Brik, A.: Extensions of answer set programming. Ph.D. thesis, University of California, San Diego (2012)"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-319-26184-3_5","volume-title":"Engineering Multi-Agent Systems","author":"S Costantini","year":"2015","unstructured":"Costantini, S.: ACE: a flexible environment for complex event processing in logical agents. In: Baldoni, M., Baresi, L., Dastani, M. (eds.) EMAS 2015. LNCS (LNAI), vol. 9318, pp. 70\u201391. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-26184-3_5"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","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 (LNAI), vol. 9345, pp. 228\u2013241. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-23264-5_20"},{"key":"7_CR15","unstructured":"Costantini, S., De Gasperis, G.: Exchanging data and ontological definitions in multi-agent-contexts systems. In: Paschke, A., Fodor, P., Giurca, A., Kliegr, T. (eds.) Proceedings of RuleML 2015 Challenge. CEUR Workshop Proceedings (2015). CEUR-WS.org"},{"issue":"1","key":"7_CR16","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. Inf. Logic 64(1), 3\u201315 (2009)","journal-title":"J. Algorithms Cogn. Inf. Logic"},{"issue":"2","key":"7_CR17","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1093\/logcom\/exp071","volume":"20","author":"S Costantini","year":"2010","unstructured":"Costantini, S., Formisano, A.: Answer set programming with resources. J. Logic Comput. 20(2), 533\u2013571 (2010)","journal-title":"J. Logic Comput."},{"issue":"1\u20132","key":"7_CR18","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1080\/11663081.2013.798997","volume":"23","author":"S Costantini","year":"2013","unstructured":"Costantini, S., Formisano, A.: RASP and ASP as a fragment of linear logic. Journal of Applied Non-Classical Logics 23(1\u20132), 49\u201374 (2013)","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"1\u20132","key":"7_CR19","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":"7_CR20","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., Ianni, G., Leone, N. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 1\u201313. Springer, Heidelberg (2002). doi: 10.1007\/3-540-45757-7_1"},{"key":"7_CR21","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). doi: 10.1007\/978-3-540-30227-8_57"},{"issue":"3","key":"7_CR22","doi-asserted-by":"crossref","first-page":"297","DOI":"10.3233\/FI-2009-180","volume":"96","author":"A Dal Pal\u00f9","year":"2009","unstructured":"Dal Pal\u00f9, A., Dovier, A., Pontelli, E., Rossi, G.: GASP: answer set programming with lazy grounding. Fundam. Inform. 96(3), 297\u2013322 (2009)","journal-title":"Fundam. Inform."},{"key":"7_CR23","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1613\/jair.4574","volume":"52","author":"M Dao-Tran","year":"2015","unstructured":"Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Distributed evaluation of nonmonotonic multi-context systems. JAIR 52, 543\u2013600 (2015)","journal-title":"JAIR"},{"key":"7_CR24","series-title":"Multiagent Systems, Artificial Societies, and Simulated Organizations","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/0-387-26350-0_2","volume-title":"Multi-Agent Programming","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. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15, pp. 39\u201367. Springer, New York (2005)"},{"issue":"12","key":"7_CR25","doi-asserted-by":"crossref","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."},{"key":"7_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-319-28228-2_3","volume-title":"Practical Aspects of Declarative Languages","author":"A Dovier","year":"2016","unstructured":"Dovier, A., Formisano, A., Pontelli, E., Vella, F.: A GPU implementation of the ASP computation. In: Gavanelli, M., Reppy, J. (eds.) PADL 2016. LNCS, vol. 9585, pp. 30\u201347. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-28228-2_3"},{"key":"7_CR27","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.M., Dix, J., Fallah Seghrouchni, A. (eds.) ProMAS 2005. LNCS (LNAI), vol. 3862, pp. 3\u201322. Springer, Heidelberg (2006). doi: 10.1007\/11678823_1"},{"key":"7_CR28","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/978-3-319-23264-5_31","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Gebser","year":"2015","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Romero, J., Schaub, T.: Progress in clasp series 3. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS (LNAI), vol. 9345, pp. 368\u2013383. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-23264-5_31"},{"key":"7_CR29","unstructured":"Gelfond, M.: Answer sets. In: Handbook of Knowledge Representation. Elsevier, 2007"},{"key":"7_CR30","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","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., 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.) Logic Programs, Norms and Action. LNCS (LNAI), vol. 7360, pp. 196\u2013219. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-29414-3_11"},{"key":"7_CR31","unstructured":"Liu, G.,\u00a0Janhunen, T.,\u00a0Niemel\u00e4, I.: Answer set programming via mixed integer programming. In: Proceedings of KR 2012 (2012)"},{"issue":"6","key":"7_CR32","first-page":"841","volume":"14","author":"M Maratea","year":"2014","unstructured":"Maratea, M., Pulina, L., Ricca, F.: A multi-engine approach to answer-set programming. TPLP 14(6), 841\u2013868 (2014)","journal-title":"TPLP"},{"key":"7_CR33","unstructured":"Naumov, P., Tao, J.: Budget-constrained knowledge in multiagent systems. In: Weiss, G., Yolum, P., Bordini, R.H., Elkind, E. (eds.) Proceedings of AAMAS 2015, pp. 219\u2013226. ACM (2015)"},{"issue":"1\u20132","key":"7_CR34","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"P Simons","year":"2002","unstructured":"Simons, P., Niemel\u00e4, I., Soininen, T.: Extending and implementing the stable model semantics. Artif. Intell. 138(1\u20132), 181\u2013234 (2002)","journal-title":"Artif. Intell."},{"key":"7_CR35","unstructured":"Web-references. Some ASP solvers. Clasp: www.potassco.sourceforge.net ; Cmodels: www.cs.utexas.edu\/users\/tag\/cmodels ; DLV: www.dlvsystem.com ; Smodels: www.tcs.hut.fi\/Software\/smodels"}],"container-title":["Lecture Notes in Computer Science","Autonomous Agents and Multiagent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46840-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,9]],"date-time":"2022-07-09T02:50:51Z","timestamp":1657335051000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46840-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319468396","9783319468402"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46840-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}