{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T14:19:46Z","timestamp":1777299586251,"version":"3.51.4"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319196374","type":"print"},{"value":"9783319196381","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19638-1_33","type":"book-chapter","created":{"date-parts":[[2015,5,28]],"date-time":"2015-05-28T17:29:31Z","timestamp":1432834171000},"page":"285-292","source":"Crossref","is-referenced-by-count":3,"title":["Exploration of Unknown Territory via DALI Agents and ASP Modules"],"prefix":"10.1007","author":[{"given":"Stefania","family":"Costantini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"De Gasperis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giulio","family":"Nazzicone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"33_CR1","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.\u00a06702, pp. 37\u201358. Springer, Heidelberg (2011); Revised selected papers"},{"key":"33_CR2","doi-asserted-by":"crossref","unstructured":"Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press (2003)","DOI":"10.1017\/CBO9780511543357"},{"key":"33_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, pp. 1\u20131. Springer, Heidelberg (2007)"},{"key":"33_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":"33_CR5","unstructured":"Web-references: Some ASP solvers Clasp, \n                      potassco.sourceforge.net\n                    ; Cmodels, \n                      www.cs.utexas.edu\/users\/tag\/cmodels\n                    ; DLV, \n                      www.dbai.tuwien.ac.at\/proj\/dlv\n                    ; Smodels, \n                      www.tcs.hut.fi\/Software\/smodels"},{"key":"33_CR6","unstructured":"De\u00a0Gasperis, G., Costantini, S., Nazzicone, G.: Dali multi agent systems framework, doi 10.5281\/zenodo.11042. DALI GitHub Software Repository (July 2014) DALI, \n                      http:\/\/github.com\/AAAI-DISIM-UnivAQ\/DALI"},{"key":"33_CR7","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":"33_CR8","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":"33_CR9","unstructured":"Costantini, S.: The DALI agent-oriented logic programming language: Summary and references 2015 (2015)"},{"key":"33_CR10","series-title":"AISC","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-642-28786-2_5","volume-title":"Advances on Practical Applications of Agents and Multi-Agent Systems","author":"V. Bevar","year":"2012","unstructured":"Bevar, V., Costantini, S., Tocchio, A., De Gasperis, G.: A multi-agent system for industrial fault detection and repair. In: Demazeau, Y., M\u00fcller, J.P., Rodr\u00edguez, J.M.C., P\u00e9rez, J.B. (eds.) Advances on PAAMS. AISC, vol.\u00a0155, pp. 47\u201356. Springer, Heidelberg (2012)"},{"key":"33_CR11","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":"33_CR12","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"99","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a099, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"issue":"4","key":"33_CR13","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 Magazine\u00a033(4), 114\u2013118 (2012)","journal-title":"AI Magazine"},{"key":"33_CR14","doi-asserted-by":"crossref","unstructured":"Gigerenzer, G., Selten, R.: Bounded Rationality, The Adaptive Toolbox. The MIT Press (2002)","DOI":"10.7551\/mitpress\/1654.001.0001"},{"key":"33_CR15","doi-asserted-by":"crossref","unstructured":"Schwenk, A.J.: Which rectangular chessboards have a knight\u2019s tour. Mathematics Magazine, 325\u2013332 (1991)","DOI":"10.1080\/0025570X.1991.11977627"},{"key":"33_CR16","doi-asserted-by":"crossref","unstructured":"Delei, J.B.S., Wenming, D.: An ant colony optimization algorithm for knight\u2019s tour problem on the chessboard with holes. In: IEEE (ed.) First International Workshop on ETCS 2009, vol.\u00a01, pp. 292\u2013296 (2009)","DOI":"10.1109\/ETCS.2009.72"},{"key":"33_CR17","unstructured":"Calimeri, F., Zhou, N.F.: Knight tour with holes ASP encoding (2014), \n                      http:\/\/www.mat.unical.it\/aspcomp2013\/files\/links\/benchmarks\/encodings\/aspcore-2\/22-Knight-Tour-with-holes\/encoding.asp"},{"issue":"3","key":"33_CR18","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N. Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The dlv system for knowledge representation and reasoning. ACM Transactions on Computational Logic\u00a07(3), 499\u2013562 (2006)","journal-title":"ACM Transactions on Computational Logic"}],"container-title":["Advances in Intelligent Systems and Computing","Distributed Computing and Artificial Intelligence, 12th International Conference"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19638-1_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T10:21:16Z","timestamp":1676456476000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19638-1_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319196374","9783319196381"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19638-1_33","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"value":"2194-5357","type":"print"},{"value":"2194-5365","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}