{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T20:47:48Z","timestamp":1725655668265},"publisher-location":"Berlin, Heidelberg","reference-count":70,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642242052"},{"type":"electronic","value":"9783642242069"}],"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-24206-9_3","type":"book-chapter","created":{"date-parts":[[2012,1,27]],"date-time":"2012-01-27T03:23:02Z","timestamp":1327634582000},"page":"37-58","source":"Crossref","is-referenced-by-count":9,"title":["Answer Set Modules for Logical Agents"],"prefix":"10.1007","author":[{"given":"Stefania","family":"Costantini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","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":"3_CR2","unstructured":"Anger, C., Schaub, T., Truszczy\u0144ski, M.: ASPARAGUS \u2013 the Dagstuhl Initiative. ALP Newsletter\u00a017(3) (2004), http:\/\/asparagus.cs.uni-potsdam.de"},{"key":"3_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-72200-7_1","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"N. Leone","year":"2007","unstructured":"Leone, N.: Logic programming and nonmonotonic reasoning: From theory to systems and applications. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, p. 1. Springer, Heidelberg (2007)"},{"key":"3_CR4","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.\u00a04670, pp. 76\u201388. Springer, Heidelberg (2007)"},{"key":"3_CR5","volume-title":"Handbook of Knowledge Representation","author":"M. Gelfond","year":"2007","unstructured":"Gelfond, M.: Answer sets. In: Handbook of Knowledge Representation, ch. 7. Elsevier, Amsterdam (2007)"},{"key":"3_CR6","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. ETAI, Electronic Transactions on Artificial Intelligence (6) (1998)"},{"key":"3_CR7","first-page":"257","volume-title":"Workshop on Logic-Based Artificial Intelligence","author":"C. Baral","year":"2001","unstructured":"Baral, C., Gelfond, M.: Reasoning agents in dynamic domains. In: Minker, J. (ed.) Workshop on Logic-Based Artificial Intelligence, pp. 257\u2013279. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"3_CR8","unstructured":"Baral, C., McIlraith, S., Son, T.C.: Formulating diagnostic problem solving using an action language with narratives and sensing. In: Proc. of the Int. Conference on the Principles of Knowledge Representation and Reasoning (KRR 2000), pp. 311\u2013322 (2000)"},{"key":"3_CR9","unstructured":"Balduccini, M.: Answer Set Based Design of Highly Autonomous, Rational Agents. PhD thesis (2005)"},{"key":"3_CR10","unstructured":"Balduccini, M., Gelfond, M.: The AAA architecture: An overview. In: AAAI Spring Symposium 2008 on Architectures for Intelligent Theory-Based Agents, AITA 2008 (2008)"},{"issue":"3-4","key":"3_CR11","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1023\/A:1018934223383","volume":"25","author":"R.A. Kowalski","year":"1999","unstructured":"Kowalski, R.A., Sadri, F.: From logic programming towards multi-agent systems. Annals of Mathematics and Artificial Intelligence\u00a025(3-4), 391\u2013419 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"3_CR12","unstructured":"Gelfond, G., Watson, R.: Modeling cooperative multi-agent systems. In: Costantini, S., Watson, R. (eds.) Proc. of ASP 2007, 4th International Workshop on Answer Set Programming at ICLP 2007 (2007)"},{"issue":"1-3","key":"3_CR13","first-page":"103","volume":"42","author":"M. Vos De","year":"2004","unstructured":"De Vos, M., Vermeir, D.: Extending answer sets for logic programming agents. Annals of Mathematics and Artifical Intelligence, Special Issue on Computational Logic in Multi-Agent Systems\u00a042(1-3), 103\u2013139 (2004)","journal-title":"Annals of Mathematics and Artifical Intelligence, Special Issue on Computational Logic in Multi-Agent Systems"},{"key":"3_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/3-540-45757-7_5","volume-title":"Logics in Artificial Intelligence","author":"J.J. Alferes","year":"2002","unstructured":"Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 50\u201361. Springer, Heidelberg (2002)"},{"key":"3_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-45757-7_6","volume-title":"Logics in Artificial Intelligence","author":"J.J. Alferes","year":"2002","unstructured":"Alferes, J.J., Dell\u2019Acqua, P., Pereira, L.M.: A compilation of updates plus preferences. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 62\u201374. Springer, Heidelberg (2002)"},{"key":"3_CR16","unstructured":"Baral, C., Gelfond, G., Son, T.C., Pontelli, E.: Using answer set programming to model multi-agent scenarios involving agents\u2019 knowledge about other\u2019s knowledge. In: Proc. of the 9th Int. Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Copyright 2010 by the International Foundation for Autonomous Agents and Multiagent Systems, IFAAMAS (2010)"},{"key":"3_CR17","first-page":"473","volume-title":"Proc. of the Second Intl. Conf. on Principles of Knowledge Representation and Reasoning (KR 1991)","author":"A.S. Rao","year":"1991","unstructured":"Rao, A.S., Georgeff, M.: Modeling rational agents within a bdi-architecture. In: Proc. of the Second Intl. Conf. on Principles of Knowledge Representation and Reasoning (KR 1991), pp. 473\u2013484. Morgan Kaufmann, San Francisco (1991)"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"A.S. Rao","year":"1996","unstructured":"Rao, A.S.: Agentspeak(l): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol.\u00a01038. Springer, Heidelberg (1996)"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Hindriks, K.V., de Boer, F., van der Hoek, W., Meyer, J.C.: Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems 2(4) (1999)","DOI":"10.1023\/A:1010084620690"},{"key":"3_CR20","series-title":"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., El Fallah Seghrouchni, A. (eds.) PROMAS 2005. LNCS (LNAI), vol.\u00a03862, pp. 3\u201322. Springer, Heidelberg (2006)"},{"key":"3_CR21","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3487.001.0001","volume-title":"Heterogeneous Agent Systems","author":"V.S. Subrahmanian","year":"2000","unstructured":"Subrahmanian, V.S., Bonatti, P., Dix, J., Eiter, T., Kraus, S., Ozcan, F., Ross, R.: Heterogeneous Agent Systems. MIT Press\/AAAI Press, Cambridge, MA, USA (2000)"},{"key":"3_CR22","series-title":"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.\u00a02424, p. 1. Springer, Heidelberg (2002)"},{"key":"3_CR23","series-title":"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.\u00a03229, pp. 685\u2013688. Springer, Heidelberg (2004)"},{"key":"3_CR24","unstructured":"Kakas, A.C., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: The KGP model of agency. In: Proc. ECAI 2004 (2004)"},{"key":"3_CR25","series-title":"LNAI","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: Computational model and prototype implementation. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS (LNAI), vol.\u00a03267, pp. 340\u2013367. Springer, Heidelberg (2005)"},{"issue":"1","key":"3_CR26","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. Computational Intelligence Journal\u00a023(1), 61\u201391 (2007)","journal-title":"Computational Intelligence Journal"},{"key":"3_CR27","first-page":"235","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"A.C. Kakas","year":"1998","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: The role of abduction in logic programming. In: Gabbay, D., Hogger, C., Robinson, A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a05, pp. 235\u2013324. Oxford University Press, Oxford (1998)"},{"issue":"3-4","key":"3_CR28","first-page":"211","volume":"2","author":"C. Baral","year":"1998","unstructured":"Baral, C., Son, T.: Relating theories of actions and reactive control. ETAI (Electronic Transactions of AI)\u00a02(3-4), 211\u2013271 (1998)","journal-title":"ETAI (Electronic Transactions of AI)"},{"key":"3_CR29","series-title":"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.\u00a03904, pp. 106\u2013123. Springer, Heidelberg (2006)"},{"key":"3_CR30","series-title":"AAAI Spring Symposium Series","volume-title":"Proc. of the Int. Workshop on Architectures for Intelligent Theory-Based Agents (AITA 2008)","author":"S. Costantini","year":"2008","unstructured":"Costantini, S., Tocchio, A.: DALI: An architecture for intelligent logical agents. In: Proc. of the Int. Workshop on Architectures for Intelligent Theory-Based Agents (AITA 2008). AAAI Spring Symposium Series. AAAI Press, Stanford (2008)"},{"key":"3_CR31","unstructured":"Costantini, S., D\u2019Alessandro, S., Lanti, D., Tocchio, A.: Dali web site, download of the interpreter (2010); With the contribution of many undergraduate and graduate students of Computer Science, L\u2019Aquila"},{"key":"3_CR32","unstructured":"implementations, A.: Web references for some ASP solvers, ASSAT: http:\/\/assat.cs.ust.hk ; Ccalc: http:\/\/www.cs.utexas.edu\/users\/tag\/ccalc ; Clasp: http:\/\/www.cs.uni-potsdam.de\/clasp ; Cmodels: http:\/\/www.cs.utexas.edu\/users\/tag\/cmodels ; DeReS and aspps: http:\/\/www.cs.uky.edu\/ai\/ ; DLV: http:\/\/www.dbai.tuwien.ac.at\/proj\/dlv ; Smodels: http:\/\/www.tcs.hut.fi\/Software\/smodels"},{"issue":"1","key":"3_CR33","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1109\/69.43410","volume":"1","author":"S. Ceri","year":"1989","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: What you always wanted to know about datalog (and never dared to ask). IEEE Transactions on Knowledge and Data Engineering\u00a01(1), 146\u2013166 (1989)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"3_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-642-02846-5_14","volume-title":"Logic Programming","author":"A. Pal\u00f9 Dal","year":"2009","unstructured":"Dal Pal\u00f9, A., Dovier, A., Pontelli, E., Rossi, G.: Answer set programming with constraints using lazy grounding. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 115\u2013129. Springer, Heidelberg (2009)"},{"key":"3_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-642-04238-6_18","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C. Lef\u00e8vre","year":"2009","unstructured":"Lef\u00e8vre, C., Nicolas, P.: A first order forward chaining approach for answer set computing. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 196\u2013208. Springer, Heidelberg (2009)"},{"key":"3_CR36","first-page":"1070","volume-title":"Proc. of the 5th Intl. Conference and Symposium on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Proc. of the 5th Intl. Conference and Symposium on Logic Programming, pp. 1070\u20131080. The MIT Press, Cambridge (1988)"},{"key":"3_CR37","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 Generation Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"key":"3_CR38","doi-asserted-by":"crossref","unstructured":"Costantini, S.: On the existence of stable models of non-stratified logic programs. J. on Theory and Practice of Logic Programming\u00a06(1-2) (2006)","DOI":"10.1017\/S1471068405002589"},{"key":"3_CR39","unstructured":"Oikarinen, E.: Modularity in Answer Set Programs. Doctoral dissertation, TKK Dissertations in Information and Computer Science TKK-ICS-D7, Helsinki University of Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science, Espoo, Finland (2008) ISBN 978-951-22-9581-4"},{"key":"3_CR40","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-72200-7_16","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Janhunen","year":"2007","unstructured":"Janhunen, T., Oikarinen, E., Tompits, H., Woltran, S.: Modularity aspects of disjunctive stable models. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, pp. 175\u2013187. Springer, Heidelberg (2007)"},{"key":"3_CR41","series-title":"Lecture Notes in Computer Science","first-page":"290","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"H. Veith","year":"1997","unstructured":"Veith, H., Eiter, T., Eiter, T., Gottlob, G.: Modular logic programming and generalized quantifiers. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 290\u2013309. Springer, Heidelberg (1997)"},{"key":"3_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-642-02846-5_16","volume-title":"Logic Programming","author":"M. Dao-Tran","year":"2009","unstructured":"Dao-Tran, M., Eiter, T., Fink, M., Krennwallner, T.: Modular nonmonotonic logic programming revisited. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 145\u2013159. Springer, Heidelberg (2009)"},{"key":"3_CR43","unstructured":"Tari, L., Baral, C., Anwar, S.: A language for modular answer set programming: Application to acc tournament scheduling. In: Proc. of the Int. Workshop on Answer Set Programming, ASP 2005. CEUR Workshop Proceedings, vol.\u00a0142, pp. 277\u2013292 (2005)"},{"key":"3_CR44","unstructured":"Balduccini, M.: Modules and signature declarations for a-prolog: Progress report. In: Proc. of the Software Engineering for Answer Set Programming Workshop, SEA 2007 (2007)"},{"key":"3_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/11799573_28","volume-title":"Logic Programming","author":"C. Baral","year":"2006","unstructured":"Baral, C., Dzifcak, J., Takahashi, H.: Macros, macro calls and use of ensembles in modular answer set programming. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol.\u00a04079, pp. 376\u2013390. Springer, Heidelberg (2006)"},{"key":"3_CR46","unstructured":"Calimeri, F., Ianni, G.: Template programs for disjunctive logic programming: An operational semantics. AI Communications\u00a019"},{"key":"3_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-642-04238-6_12","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"W. Faber","year":"2009","unstructured":"Faber, W., Woltran, S.: Manifold answer-set programs for meta-reasoning. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 115\u2013128. Springer, Heidelberg (2009)"},{"key":"3_CR48","doi-asserted-by":"crossref","unstructured":"Gelfond, M.: Logic programming and reasoning with incomplete information. Annals of Mathematics and Artificial Intelligence 12 (1994)","DOI":"10.1007\/BF01530762"},{"key":"3_CR49","first-page":"308","volume-title":"Principles of Knowledge Representation and Reasoning: Proc. of the 10th Int. Conference (KR 2006)","author":"Y. Zhang","year":"2006","unstructured":"Zhang, Y.: Computational properties of epistemic logic programs. In: Principles of Knowledge Representation and Reasoning: Proc. of the 10th Int. Conference (KR 2006), pp. 308\u2013317. AAAI Press, Menlo Park (2006)"},{"key":"3_CR50","unstructured":"Zhang, Y.: Epistemic reasoning in logic programs. In: Proc. of the 20th International Joint Conference on Artificial Intelligence, IJCAI 2007, pp. 647\u2013652 (2007)"},{"key":"3_CR51","doi-asserted-by":"crossref","unstructured":"El-Khatib, O., Pontelli, E., Son, T.C.: Asp-prolog: a system for reasoning about answer set programs in prolog. In: Proc. of the 10th International Workshop on Non-Monotonic Reasoning, NMR 2004, pp. 155\u2013163 (2004)","DOI":"10.1007\/978-3-540-24836-1_11"},{"key":"3_CR52","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: Proc. of the 19th International Joint Conference on Artificial Intelligence, IJCAI 2005, pp. 90\u201396 (2005)"},{"key":"3_CR53","first-page":"218","volume-title":"A metalogic programming language","author":"S. Costantini","year":"1989","unstructured":"Costantini, S., Lanzarone, G.A.: A metalogic programming language, pp. 218\u2013233. The MIT Press, Cambridge (1989)"},{"issue":"6","key":"3_CR54","doi-asserted-by":"publisher","first-page":"743","DOI":"10.1093\/logcom\/10.6.743","volume":"10","author":"J. Barklund","year":"2000","unstructured":"Barklund, J., Dell\u2019Acqua, P., Costantini, S., Lanzarone, G.A.: Reflection principles in computational logic. J. of Logic and Computation\u00a010(6), 743\u2013786 (2000)","journal-title":"J. of Logic and Computation"},{"issue":"1-2","key":"3_CR55","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0004-3702(99)00005-3","volume":"108","author":"T. Eiter","year":"1999","unstructured":"Eiter, T., Subrahmanian, V., Pick, G.: Heterogeneous active agents, i: Semantics. Artificial Intelligence\u00a0108(1-2), 179\u2013255 (1999)","journal-title":"Artificial Intelligence"},{"key":"3_CR56","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/B:AGNT.0000038027.29035.7c","volume":"9","author":"M. Luck","year":"2004","unstructured":"Luck, M., McBurney, P., Preist, C.: A manifesto for agent technology: Towards next generation computing. Autonomous Agents and Multi-Agent Sytems\u00a09, 203\u2013252 (2004)","journal-title":"Autonomous Agents and Multi-Agent Sytems"},{"issue":"1","key":"3_CR57","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. Computational Intelligence Journal\u00a023(1), 61\u201391 (2007)","journal-title":"Computational Intelligence Journal"},{"key":"3_CR58","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-540-74782-6_12","volume-title":"AI*IA 2007: Artificial Intelligence and Human-Oriented Computing","author":"S. Costantini","year":"2007","unstructured":"Costantini, S., Tocchio, A., Toni, F., Tsintza, P.: A multi-layered general agent model. In: Basili, R., Pazienza, M.T. (eds.) AI*IA 2007. LNCS (LNAI), vol.\u00a04733, pp. 121\u2013132. Springer, Heidelberg (2007)"},{"key":"3_CR59","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/11533092_6","volume-title":"Computational Logic in Multi-Agent Systems","author":"A.C. Kakas","year":"2005","unstructured":"Kakas, A.C., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: Declarative agent control. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol.\u00a03487, pp. 96\u2013110. Springer, Heidelberg (2005)"},{"key":"3_CR60","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/BFb0031739","volume-title":"Logic in Databases","author":"R. Kowalski","year":"1996","unstructured":"Kowalski, R., Sadri, F.: Towards a unified agent architecture that combines rationality with reactivity. In: Pedreschi, D., Zaniolo, C. (eds.) LID 1996. LNCS, vol.\u00a01154, pp. 135\u2013149. Springer, Heidelberg (1996)"},{"key":"3_CR61","unstructured":"Costantini, S., Dell\u2019Acqua, P., Tocchio, A.: Expressing preferences declaratively in logic-based agent languages. In: McCarthy, J. (ed.) Proc. of Commonsense 2007, the 8th International Symposium on Logical Formalizations of Commonsense Reasoning. AAAI Spring Symposium Series, AAAI Press (2007) a Special Event in Honor, Stanford University (March 2007)"},{"key":"3_CR62","volume-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems","author":"D.M. Gabbay","year":"2000","unstructured":"Gabbay, D.M., Smets, P.: Handbook of Defeasible Reasoning and Uncertainty Management Systems. Kluwer Academic Publishers, Dordrecht (2000); edited collection"},{"key":"3_CR63","volume-title":"Handbook of Modal Logic","author":"P. Blackburn","year":"2006","unstructured":"Blackburn, P., van Benthem, J., Wolter, F.: Handbook of Modal Logic. Elsevier, Amsterdam (2006); collection of contributions"},{"key":"3_CR64","doi-asserted-by":"crossref","unstructured":"Van Gelder, A., Ross, K.A., Schlipf, J.: The well-founded semantics for general logic programs. Journal of the ACM (3) (1990)","DOI":"10.1145\/116825.116838"},{"key":"3_CR65","first-page":"153","volume-title":"Logic Programming","author":"K.A. Bowen","year":"1982","unstructured":"Bowen, K.A., Kowalski, R.A.: Amalgamating language and metalanguage in logic programming. In: Clark, K.L., T\u00e4rnlund, S.\u00c5. (eds.) Logic Programming, pp. 153\u2013172. Academic Press, London (1982)"},{"issue":"3","key":"3_CR66","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1145\/116825.116836","volume":"38","author":"V.W. Marek","year":"1991","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Autoepistemic logic. Journal of the ACM\u00a038(3), 587\u2013618 (1991)","journal-title":"Journal of the ACM"},{"key":"3_CR67","first-page":"35","volume-title":"Proceedings of the First International Workshop on Logic Programming and Non Monotonic Reasoning","author":"V.W. Marek","year":"1991","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Computing intersection of autoepistemic expansions. In: Proceedings of the First International Workshop on Logic Programming and Non Monotonic Reasoning, pp. 35\u201370. The MIT Press, Cambridge (1991)"},{"key":"3_CR68","unstructured":"Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: Proc. of the 22nd Conference on Artificial Intelligence, AAAI 2007, pp. 385\u2013390 (2007)"},{"key":"3_CR69","unstructured":"Nisar, M.A.: Integration of answer set programming modules with logical agents. Master\u2019s thesis, University of the Punjab, Lahore, Pakistan (2010); Supervisor Prof. Stefania Costantini, University of L\u2019Aquila, Italy"},{"key":"3_CR70","first-page":"79","volume-title":"Declarative problem-solving using the DLV system","author":"T. Eiter","year":"2000","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Declarative problem-solving using the DLV system, pp. 79\u2013103. Kluwer Academic Publishers, USA (2000)"}],"container-title":["Lecture Notes in Computer Science","Datalog Reloaded"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24206-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T05:08:46Z","timestamp":1593580126000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24206-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642242052","9783642242069"],"references-count":70,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24206-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}