{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:53:33Z","timestamp":1725551613720},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540637929"},{"type":"electronic","value":"9783540696476"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63792-3_5","type":"book-chapter","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T21:12:11Z","timestamp":1270501931000},"page":"26-32","source":"Crossref","is-referenced-by-count":0,"title":["From action theories to updates, transactions, triggers and agents \u2014 A tutorial"],"prefix":"10.1007","author":[{"given":"Chitta","family":"Baral","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Lobo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,8,17]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"S. Abiteboul. Updates, a new frontier. In Second International Conference on Database Theory, pages 1\u201318, 1988.","DOI":"10.1007\/3-540-50171-1_1"},{"issue":"1\u20133","key":"5_CR2","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/S0743-1066(96)00141-0","volume":"31","author":"C. Baral","year":"1997","unstructured":"C. Baral, M. Gelfond, and A. Provetti. Representing Actions: Laws, Observations and Hypothesis. Journal of Logic Programming, 31(1\u20133):201\u2013243, May 1997.","journal-title":"Journal of Logic Programming"},{"key":"5_CR3","unstructured":"A. Bonner and M. Kifer. Transaction logic programming. In D. S. Warren, editor, Logic Programming: Proc. of the 10th International Conf., pages 257\u2013279, 1993."},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0304-3975(94)90190-2","volume":"133","author":"A. Bonner","year":"1994","unstructured":"A. Bonner and M. Kifer. An overview of transaction logic. Theoretical computer science, 133:205\u2013265, October 1994.","journal-title":"Theoretical computer science"},{"key":"5_CR5","unstructured":"F. Bacchus and F. Kabanza. Planning for temporally extended goals. In AAAI 96, pages 1215\u20131222, 1996."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"C. Baral and J. Lobo. Formal characterization of active databases. In Proc. of International Workshop on Logic in Databases, 1996.","DOI":"10.1007\/BFb0031741"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"C. Baral and G. Lobo, J. Trajcevski. Formal characterization of active databases part ii. In DOOD 97, 1997.","DOI":"10.1007\/3-540-63792-3_19"},{"key":"5_CR8","unstructured":"C. Baral, J. Lobo, and G. Trajcevski. Formal workflows as collections of condition-action rules. In DYNAMIC 97 (an ILPS workshop), 1997."},{"volume-title":"Proceedings of the 1987 workkshop on The Prame Problem in AI","year":"1987","key":"5_CR9","unstructured":"F. Brown, editor. Proceedings of the 1987 workkshop on The Prame Problem in AI. Morgan Kaufmann, CA, USA, 1987."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"R. Brooks. Elephants don't play chess. In P. Maes, editor, Designing Autonomous Agents, pages 3\u201316. MIT Press, 1991.","DOI":"10.1016\/S0921-8890(05)80025-9"},{"key":"5_CR11","unstructured":"R. Brooks. Intelligence without reason. In Proc. of IJCAI 91, pages 569\u2013595, 1991."},{"key":"5_CR12","unstructured":"C. Baral and T. Son. Relating theories of actions and reactive robot control. In Proc. of AAAI 96 Workshop on Reasoning about actions, planning and robot control: bridging the gap., 1996."},{"key":"5_CR13","unstructured":"C. Baral and T. Son. Approximate reasoning about actions in presence of sensing and incomplete information. In Proc. of International Logic Programming Symposium (ILPS 97), 1997."},{"issue":"3","key":"5_CR14","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1145\/185827.185828","volume":"19","author":"S. Ceri","year":"1994","unstructured":"S. Ceri, P. Fraternali, S. Paraboschi, and L. Tauca. Automatic generation of production rules for integrity maintenance. ACM Transactions on Database Systems, 19(3):367\u2013422, 1994.","journal-title":"ACM Transactions on Database Systems"},{"key":"5_CR15","unstructured":"D. Chamberlin. Using the new DB2: IBM's Object-relational database system. Morgan Kaufmann, 1996."},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"W. Chen. Declarative specification and evaluation of database updates. In Proc. of DOOD'91, pages 147\u2013166, 1991.","DOI":"10.1007\/3-540-55015-1_8"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"W. Chen. Declarative updates of relational databases. ACM transactions on Database Systems (to appear), 1995.","DOI":"10.1145\/202106.202110"},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0167-6423(83)90017-5","volume":"2","author":"E. A. Emerson","year":"1982","unstructured":"E. A. Emerson and E. Clarke. Using branching time temporal logic to synthesize synchronization skeletons. In Science of Computer programming, vol 2, pages 241\u2013266. 1982.","journal-title":"Science of Computer programming"},{"key":"5_CR19","unstructured":"P. Fraternali, D. Montesi, and L. Tanca. Active database semantics. In Proc. of the Fifth Australasian Database Conference, 1994."},{"issue":"4","key":"5_CR20","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1145\/219035.219042","volume":"20","author":"P. Fraternali","year":"1995","unstructured":"P. Fraternali and L. Tanca. A structured approach for the definition of the semantics of active databases. ACM Transactions on Database Systems, 20(4):414\u2013471, 1995.","journal-title":"ACM Transactions on Database Systems"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"M. Georgeff, editor. Journal of Logic and Computation, Special issue on Action and Processes, volume 4 (5). Oxford University Press, October 1994.","DOI":"10.1093\/logcom\/4.5.463"},{"issue":"234","key":"5_CR22","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(2,3,4):301\u2013323, 1993.","journal-title":"Journal of Logic Programming"},{"key":"5_CR23","unstructured":"Lobo. J., S. Taylor, and G. Mendez. Adding knowledge to the action description language A. In AAAI 97, 1997."},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"V. Lifschitz, editor. Special issue of the Journal of Logic Programming on Reasoning about actions and change, volume 31(1\u20133), May 1997.","DOI":"10.1016\/S0743-1066(96)00139-2"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"H. Levesque, R. Reiter, Y. Lesperance, F. Lin, and R. Scherl. Golog: A logic programming language for dynamic domains. Journal of Logic Programming, May 1997.","DOI":"10.1016\/S0743-1066(96)00121-5"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"W. Marek and M. Truszczy\u0144ski. Revision programming, database updates and integrity constraints. In In 5th International conference in Database theory, Prague, 1994.","DOI":"10.1007\/3-540-58907-4_28"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"S. Manchanda and D. S. Warren. A logic-based language for database updates. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 363\u2013394. Morgan Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50014-2"},{"key":"5_CR28","unstructured":"R. Reiter. Formalizing database evolution in the situation calculus. In ICOT, editor, Proc. of the International Conference on Fifth Generation Computer Systems, pages 600\u2013609, 1992."},{"issue":"20","key":"5_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(94)90022-1","volume":"19","author":"R. Reiter","year":"1994","unstructured":"R. Reiter. On specifying database updates. Journal of Logic Programming, 19,20:1\u201339, 1994.","journal-title":"Journal of Logic Programming"},{"key":"5_CR30","unstructured":"A. Silberschatz, H. Korth, and S. Sudershan. Database System Concepts. McGraw Hill, 3rd edition, 1996."},{"key":"5_CR31","unstructured":"R. Scherl and H. Levesque. The frame problem and knowledge producing actions. In AAAI 93, pages 689\u2013695, 1993."},{"key":"5_CR32","unstructured":"J. Widom and S Ceri, editors. Active Database Systems \u2014 Triggers and Rules for advanced database processing. Morgan Kaufmann, 1996."},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"C. Zaniolo. A unified semantics for active and deductive databases. In Proceedings of 1st international workshop on rules in database systems, pages 271\u2013287. Springer-Verlag, 1993.","DOI":"10.1007\/978-1-4471-3225-7_16"},{"key":"5_CR34","doi-asserted-by":"crossref","unstructured":"C. Zaniolo. Active database rules with transaction-conscious stable models semantics. In Proceedings of DOOD 1996, pages 55\u201372, 1996.","DOI":"10.1007\/3-540-60608-4_34"}],"container-title":["Lecture Notes in Computer Science","Deductive and Object-Oriented Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63792-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T18:27:28Z","timestamp":1685557648000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63792-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540637929","9783540696476"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-63792-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}