{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:15:24Z","timestamp":1725549324932},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540240105"},{"type":"electronic","value":"9783540302001"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-30200-1_6","type":"book-chapter","created":{"date-parts":[[2010,2,28]],"date-time":"2010-02-28T23:23:07Z","timestamp":1267399387000},"page":"89-107","source":"Crossref","is-referenced-by-count":1,"title":["Planning Experiments in the DALI Logic Programming Language"],"prefix":"10.1007","author":[{"given":"Stefania","family":"Costantini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arianna","family":"Tocchio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Barklund, J., Costantini, S., Dell\u2019Acqua, P.: Reflection Principles in Computational Logic. Journal of Logic and Computation\u00a010(6) (2000)","DOI":"10.1093\/logcom\/10.6.743"},{"key":"6_CR2","unstructured":"Costantini, S.: Towards active logic programming. In: Brogi, A., Hill, P. (eds.) Proc.\u00a0of 2nd International Works. on Component-based Software Development in Computational Logic (COCL 1999) PLI 1999, Paris, France (September 1999), http:\/\/www.di.unipi.it\/\u00a0brogi\/ ResearchActivity\/COCL99\/ proceedings\/index.html"},{"key":"6_CR3","unstructured":"Costantini, S., Gentile, S., Tocchio, A.: DALI home page: http:\/\/gentile.dm.univaq.it\/dali\/dali.htm"},{"key":"6_CR4","series-title":"LNAI","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":"6_CR5","doi-asserted-by":"crossref","unstructured":"Costantini, S., Tocchio, A.: Communication in the DALI Agent-Oriented Logic Programming Language. In: ICLP, International Conference on Logic Programming (submitted 2004)","DOI":"10.1007\/978-3-540-30200-1_6"},{"key":"6_CR6","volume-title":"Proc. International Works. on Multi-Agent Systems in Logic Progr., in conjunction with ICLP 1999","author":"P. Dell\u2019Acqua","year":"1999","unstructured":"Dell\u2019Acqua, P., Sadri, F., Toni, F.: Communicating agents. In: Proc. International Works. on Multi-Agent Systems in Logic Progr., in conjunction with ICLP 1999, Las Cruces, New Mexico (1999)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. of First International Conf. on Temporal Logic (ICTL)","author":"M. Fisher","year":"1994","unstructured":"Fisher, M.: A survey of concurrent METATEM \u2013 the language and its applications. In: Proc. of First International Conf. on Temporal Logic (ICTL). LNCS, vol.\u00a0827. Springer, Berlin (1994)"},{"key":"6_CR8","unstructured":"Intrigila, B., Melatti, I., Tocchio, A.: Model-checking DALI with Mur\u03c6, Tech. Rep., Univ. of L\u2019Aquila (2004)"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1011248605761","volume":"15","author":"C.M. Jonker","year":"2001","unstructured":"Jonker, C.M., Lam, R.A., Treur, J.: A Reusable Multi-Agent Architecture for Active Intelligent Websites. Journal of Applied Intelligence\u00a015, 7\u201324 (2001)","journal-title":"Journal of Applied Intelligence"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031739","volume-title":"Logic in Databases","author":"R.A. Kowalski","year":"1996","unstructured":"Kowalski, R.A., Sadri, F.: Towards a unified agent architecture that combines rationality with reactivity. In: Pedreschi, D., Zaniolo, C. (eds.) LID 1996. LNCS, vol.\u00a01154. Springer, Heidelberg (1996)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Kowalski, R.A., Sergot, M.A.: A logic-based calculus of events. New Generation Computing\u00a04 (1986)","DOI":"10.1007\/BF03037383"},{"key":"6_CR12","unstructured":"Kowalski, R.A.: How to be Artificially Intelligent - the Logical Way, Draft, revised (February 2004), http:\/\/www-lp.doc.ic.ac.uk\/UserPages\/staff\/rak\/rak.html"},{"key":"6_CR13","volume-title":"Logic Programming: Proc. of 5th International Conference and Symposium","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Kowalski, R., Bowen, K. (eds.) Logic Programming: Proc. of 5th International Conference and Symposium. MIT Press, Cambridge (1988)"},{"key":"6_CR14","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 Programming and Disjunctive Databases. New Generation Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"key":"6_CR15","unstructured":"How to be Artificially Intelligent the Logical Way, book drafta (revised February 2004), Available on-line at the URL: http:\/\/www-lp.doc.ic.ac.uk\/UserPages\/staff\/rak\/rak.html"},{"key":"6_CR16","first-page":"23","volume-title":"Proc. of the 1999 International Conference on Logic Programming (invited talk)","author":"V. Lifschitz","year":"1999","unstructured":"Lifschitz, V.: Answer Set Planning. In: De Schreye, D. (ed.) Proc. of the 1999 International Conference on Logic Programming (invited talk), pp. 23\u201337. MIT Press, Cambridge (1999)"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The Logic Programming Paradigm: a 25-Year Perspective","author":"W. Marek","year":"1999","unstructured":"Marek, W., Truszczy\u0144ski, M.: Stable Models and an Alternative Logic Programming Paradigm. In: The Logic Programming Paradigm: a 25-Year Perspective, pp. 375\u2013398. Springer, Heidelberg (1999)"},{"key":"6_CR18","volume-title":"Computational Intelligence","author":"D. Poole","year":"1998","unstructured":"Poole, D., Mackworth, A., Goebel, R.: Computational Intelligence. Oxford University Press, Oxford (1998)"},{"key":"6_CR19","volume-title":"Formal Techniques in Artificial Intelligence, a Sourcebook","author":"H. Przymusinska","year":"1990","unstructured":"Przymusinska, H., Przymusinski, T.C.: Semantic Issues in Deductive Databases and Logic Programs. In: Banerji, R.B. (ed.) Formal Techniques in Artificial Intelligence, a Sourcebook, Elsevier Sc. Publ. B.V., North Holland (1990)"},{"key":"6_CR20","series-title":"LNAI","volume-title":"Agents Breaking Away: Proc. of the Seventh European Works. on Modelling Autonomous Agents in a Multi-Agent World","author":"A.S. Rao","year":"1996","unstructured":"Rao, A.S.: AgentSpeak(L): BDI Agents speak out in a logical computable language. In: Van De Velde, W., Perram, J.W. (eds.) Agents Breaking Away: Proc. of the Seventh European Works. on Modelling Autonomous Agents in a Multi-Agent World. LNCS (LNAI). Springer, Heidelberg (1996)"},{"key":"6_CR21","volume-title":"Proc. of Knowledge Representation and Reasoning (KR&R-91)","author":"A.S. Rao","year":"1991","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Fikes, R., Sandewall, E. (eds.) Proc. of Knowledge Representation and Reasoning (KR&R-91). Morgan Kaufmann Publishers, San Francisco (1991)"},{"key":"6_CR22","unstructured":"SICStus home page: http:\/\/www.sics.se\/sicstus\/"},{"key":"6_CR23","unstructured":"Web location of the most known ASP solvers: aspps: http:\/\/www.cs.uky.edu\/ai\/aspps\/ CCalc: http:\/\/www.cs.utexas.edu\/users\/tag\/cc\/ Cmodels: http:\/\/www.cs.utexas.edu\/users\/tag\/cmodels.html DLV: http:\/\/www.dbai.tuwien.ac.at\/proj\/dlv\/ NoMoRe: http:\/\/www.cs.uni-potsdam.de\/~linke\/nomore\/ SMODELS: http:\/\/www.tcs.hut.fi\/Software\/smodels\/"},{"key":"6_CR24","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3487.001.0001","volume-title":"Heterogenous Active Agents","author":"V.S. Subrahmanian","year":"2000","unstructured":"Subrahmanian, V.S., Bonatti, P., Dix, J., Eiter, T., Kraus, S., \u00d6zcan, F., Ross, R.: Heterogenous Active Agents. MIT Press, Cambridge (2000)"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30200-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,28]],"date-time":"2020-05-28T18:12:50Z","timestamp":1590689570000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30200-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540240105","9783540302001"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30200-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}