{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:26:08Z","timestamp":1725492368154},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403807"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-44958-2_36","type":"book-chapter","created":{"date-parts":[[2007,10,12]],"date-time":"2007-10-12T09:35:05Z","timestamp":1192181705000},"page":"443-450","source":"Crossref","is-referenced-by-count":2,"title":["Context-Based Commonsense Reasoning 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":"36_CR1","unstructured":"S. Costantini. Towards active logic programming. In A. Brogi and P. Hill, (eds.), Proc. of 2nd International Works. on Component-based Software Development in Computational Logic (COCL\u201999), PLI\u201999, Paris, France, September 1999. \n                    http:\/\/www.di.unipi.it\/brogi\/ResearchActivity\/COCL99\/proceedings\/index.html\n                    \n                  ."},{"key":"36_CR2","unstructured":"S. Costantini, S. Gentile, A. Tocchio. DALI home page: \n                    http:\/\/gentile.dm.univaq.it\/dali\/dali.htm\n                    \n                  ."},{"key":"36_CR3","series-title":"LNAI","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45757-7_1","volume-title":"Logics in Artificial Intelligence, Proc. of the 8th Europ. Conf., JELIA 2002","author":"S. Costantini","year":"2002","unstructured":"S. Costantini, A. Tocchio. A Logic Programming Language for Multi-agent Systems. In S. Flesca, S. Greco, N. Leone, G. Ianni (eds.), Logics in Artificial Intelligence, Proc. of the 8th Europ. Conf., JELIA 2002, Cosenza, Italy, September 2002, LNAI 2424, Springer-Verlag, Berlin, 2002"},{"key":"36_CR4","unstructured":"P. Dell\u2019Acqua, F. Sadri, and F. Toni. Communicating agents. In Proc. International Works. on Multi-Agent Systems in Logic Progr., in conjunction with ICLP\u201999, Las Cruces, New Mexico, 1999."},{"key":"36_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0014005","volume-title":"Proc. of First International Conf. on Temporal Logic (ICTL)","author":"M. Fisher","year":"1994","unstructured":"M. Fisher. A survey of concurrent METATEM \u2014 the language and its applications. In Proc. of First International Conf. on Temporal Logic (ICTL), LNCS 827, Berlin, 1994. Springer Verlag."},{"key":"36_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031739","volume-title":"Proc. InternationalWorks. on Logic in Databases","author":"R. A. Kowalski","year":"1996","unstructured":"R. A. Kowalski and F. Sadri. Towards a unified agent architecture that combines rationality with reactivity. In Proc. InternationalWorks. on Logic in Databases, LNCS 1154, Berlin, 1996. Springer-Verlag."},{"key":"36_CR7","volume-title":"Formal Techniques in Artificial Intelligence, a Sourcebook","author":"H. Przymusinska","year":"1990","unstructured":"Przymusinska, H., and Przymusinski, T. C., Semantic Issues in Deductive Databases and Logic Programs. R.B. Banerji (ed.) Formal Techniques in Artificial Intelligence, a Sourcebook, Elsevier Sc. Publ. B.V. (North Holland), 1990."},{"key":"36_CR8","first-page":"42","volume-title":"Lecture Notes in Computer Science","author":"Anand S. Rao","year":"1996","unstructured":"A. S. Rao. AgentSpeak(L): BDI Agents speak out in a logical computable language. In W. Van De Velde and J. W. Perram, editors, Agents Breaking Away: Proc. of the Seventh European Works. on Modelling Autonomous Agents in a Multi-Agent World, LNAI, pages 42\u201355, Berlin, 1996. Springer Verlag."},{"key":"36_CR9","first-page":"473","volume-title":"Proc. of Knowledge Representation and Reasoning (KR&R-91)","author":"A. S. Rao","year":"1991","unstructured":"A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In R. Fikes and E. Sandewall, editors, Proc. of Knowledge Representation and Reasoning (KR&R-91), pages 473\u2013484. Morgan Kaufmann Publishers: San Mateo, CA, April 1991."},{"key":"36_CR10","unstructured":"V.S. Subrahmanian, Piero Bonatti, J\u00fcrgen Dix, Thomas Eiter, Sarit Kraus, Fatma \u00d6zcan, and Robert Ross. Heterogenous Active Agents. MIT-Press, 2000."}],"container-title":["Lecture Notes in Computer Science","Modeling and Using Context"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44958-2_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:27:47Z","timestamp":1619573267000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44958-2_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540403807"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-44958-2_36","relation":{},"subject":[]}}