{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:15:48Z","timestamp":1725484548919},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439158"},{"type":"electronic","value":"9783540456070"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45607-4_12","type":"book-chapter","created":{"date-parts":[[2007,5,22]],"date-time":"2007-05-22T15:08:20Z","timestamp":1179846500000},"page":"216-232","source":"Crossref","is-referenced-by-count":3,"title":["Computing Environment-Aware Agent Behaviours with Logic Program Updates"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 J.","family":"Alferes","sequence":"first","affiliation":[]},{"given":"Antonio","family":"Brogi","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o A.","family":"Leite","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds M.","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,7,4]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and T. C. Przymusinski. Dynamic updates of non-monotonic knowledge bases. The Journal of Logic Programming, 45(1\u20133):43\u201370, September\/October 2000.","key":"12_CR1","DOI":"10.1016\/S0743-1066(99)00065-5"},{"unstructured":"J. J. Alferes, J. A. Leite, L. M. Pereira, and P. Quaresma. Planning as abductive updating. In D. Kitchin, editor, Proceedings of the AISB\u201900 Symposium on AI Planning and Intelligent Agents, pages 1\u20138. AISB, 2000.","key":"12_CR2"},{"doi-asserted-by":"crossref","unstructured":"J. J. Alferes, L. M. Pereira, H. Przymusinska, and T. Przymusinski. LUPS: A language for updating logic programs. Artificial Intelligence, 2002. To appear. A shorter version appeared in M. Gelfond, N. Leone and G. Pfeifer (eds), LPNMR\u201999, LNAI 1730, Springer-Verlag.","key":"12_CR3","DOI":"10.1016\/S0004-3702(02)00183-2"},{"key":"12_CR4","series-title":"Lect Notes Comput Sci","first-page":"94","volume-title":"REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness","author":"H. Barringer","year":"1989","unstructured":"H. Barringer, M. Fisher, D. Gabbay, G. Gough, and R. Owens. MetateM: A framework for programming in temporal logic. In REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (LNCS Volume 430), pages 94\u2013129. Springer-Verlag: Heidelberg, Germany, June 1989."},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0167-6423(91)90001-E","volume":"16","author":"A. Benveniste","year":"1991","unstructured":"A. Benveniste, P Le Guernic, and C. Jacquemot. Synchronous programming with events and relations: the signal language and its semantics. Science of Computer Programming, 16:103\u2013149, 1991.","journal-title":"Science of Computer Programming"},{"doi-asserted-by":"crossref","unstructured":"A. Brogi. Probabilistic behaviours of reactive agents. Electronic Notes in Theoretical Computer Science, 48, 2001.","key":"12_CR6","DOI":"10.1016\/S1571-0661(04)00159-8"},{"unstructured":"A. Brogi, S. Contiero, and F. Turini. On the interplay between reactivity and computation. In F. Sadri and K. Satoh, editors, Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA\u201900), pages 66\u201373, 2000.","key":"12_CR7"},{"doi-asserted-by":"crossref","unstructured":"P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice. LUSTRE: A declarative language for programming synchronous systems. In Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, pages 178\u2013188. ACM SIGACT-SIGPLAN, ACM Press, January 21\u201323, 1987.","key":"12_CR8","DOI":"10.1145\/41625.41641"},{"doi-asserted-by":"crossref","unstructured":"T. Eiter, M. Fink, G. Sabbatini, and H. Tompits. On properties of update sequences based on causal rejection. Theory and Practice of Logic Programming, 2002. To appear.","key":"12_CR9","DOI":"10.1017\/S1471068401001247"},{"issue":"23","key":"12_CR10","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"4","author":"M. Emden Van","year":"1976","unstructured":"M. Van Emden and R. Kowalski. The semantics of predicate logic as a programming language. Journal of ACM, 4(23):733\u2013742, 1976.","journal-title":"Journal of ACM"},{"doi-asserted-by":"crossref","unstructured":"M. Fisher. A survey of concurrent METATEM: The language and its applications. In D. Gabbay and H. J. Ohlbach, editors, Proceedings of the First International Conference on Temporal Logic (ICTL\u201994), volume 827 of LNAI, pages 480\u2013505. Springer, 1994.","key":"12_CR11","DOI":"10.1007\/BFb0014005"},{"unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. A. Bowen, editors, 5th International Conference on Logic Programming, pages 1070\u20131080. MIT Press, 1988.","key":"12_CR12"},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"M. Gelfond and V. Lifschitz. Representing actions and change by logic programs. Journal of Logic Programming, 17:301\u2013322, 1993.","journal-title":"Journal of Logic Programming"},{"unstructured":"M. Gelfond and V. Lifschitz. Action languages. Linkoping Electronic Articles in Computer and Information Science, 3(16), 1998.","key":"12_CR14"},{"unstructured":"E. Giunchiglia and V. Lifschitz. An action language based on causal explanation: Preliminary report. In AAAI\u201998, pages 623\u2013630, 1998.","key":"12_CR15"},{"key":"12_CR16","series-title":"NATO, ASI Series","first-page":"447","volume-title":"Logics and Models of Concurrent Systems","author":"D. Harel","year":"1985","unstructured":"David Harel and A. Pnueli. On the development of reactive systems. In K. R. Apt, editor, Logics and Models of Concurrent Systems, volume 13 of NATO, ASI Series, pages 447\u2013498. Springer-Verlag, New York, 1985."},{"key":"12_CR17","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/BFb0095049","volume-title":"Advanced Topics in Artificial Intelligence","author":"K. V. Hindriks","year":"1998","unstructured":"Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch. Meyer. A formal embedding of AgentSpeak(L) in 3APL. In G. Antoniou and J. Slaney, editors, Advanced Topics in Artificial Intelligence (LNAI 1502), pages 155\u2013166. Springer-Verlag: Heidelberg, Germany, 1998."},{"doi-asserted-by":"crossref","unstructured":"G. Hughes and M. J. Cresswell. A new introduction to modal logic. RoutLedge, 1996.","key":"12_CR18","DOI":"10.4324\/9780203290644"},{"doi-asserted-by":"crossref","unstructured":"F. F. Ingrand, M. P. Georgeff, and A. S. Rao. An architecture for real-time reasoning and system control. IEEE Expert, 7(6), 1992.","key":"12_CR19","DOI":"10.1109\/64.180407"},{"key":"12_CR20","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0743-1066(97)10001-2","volume":"35","author":"K. Inoue","year":"1998","unstructured":"K. Inoue and C. Sakama. Negation as failure in the head. Journal of Logic Programming. 35:39\u201378, 1998.","journal-title":"Journal of Logic Programming"},{"doi-asserted-by":"crossref","unstructured":"R. Kowalski and F. Sadri. Towards a unified agent architecture that combines rationality with reactivity. In D. Pedreschi and C Zaniolo, editors, Proceedings of LID-96, volume 1154 of LNAI, pages 137\u2013149, 1996.","key":"12_CR21","DOI":"10.1007\/BFb0031739"},{"doi-asserted-by":"crossref","unstructured":"J. A. Leite. A modified semantics for LUPS. In P. Brazdil and A. Jorge, editors, Progress in Artificial Intelligence, Proceedings of the 10th Portuguese International Conference on Artificial Intelligence (EPIA01), volume 2258 of LNAI, pages 261\u2013275. Springer, 2001.","key":"12_CR22","DOI":"10.1007\/3-540-45329-6_27"},{"unstructured":"V. Lifschitz and T. Woo. Answer sets in general non-monotonic reasoning (preliminary report). In B. Nebel, C. Rich, and W. Swartout, editors, Proceedings of the 3th International Conference on Principles of Knowledge Representation and Reasoning (KR-92). Morgan-Kaufmann, 1992.","key":"12_CR23"},{"issue":"2","key":"12_CR24","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/S0304-3975(97)00092-3","volume":"190","author":"V. Marek","year":"1998","unstructured":"V. Marek and M. Truszcczy\u0144ski. Revision programming. Theoretical Computer Science, 190(2):241\u2013277, 1998.","journal-title":"Theoretical Computer Science"},{"key":"12_CR25","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"A. S. Rao","year":"1996","unstructured":"A. S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In W. van der Velde and J. W. Perram, editors, Agents Breaking Away (LNAI 1038), pages 42\u201355. Springer-Verlag: Heidelberg, Germany, 1996."},{"unstructured":"F. Sadri and F. Toni. Computational logic and multiagent systems: a roadmap. Technical report, Department of Computing, Imperial College of Science, Technology and Medicine, 1999.","key":"12_CR26"}],"container-title":["Lecture Notes in Computer Science","Logic Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45607-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T02:59:56Z","timestamp":1556420396000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45607-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439158","9783540456070"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-45607-4_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}