From action theories to updates, transactions, triggers and agents — A tutorial

  • Chitta Baral
  • Jorge Lobo
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1341)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Abi88]
    S. Abiteboul. Updates, a new frontier. In Second International Conference on Database Theory, pages 1–18, 1988.Google Scholar
  2. [BGP97]
    C. Baral, M. Gelfond, and A. Provetti. Representing Actions: Laws, Observations and Hypothesis. Journal of Logic Programming, 31(1–3):201–243, May 1997.CrossRefGoogle Scholar
  3. [BK93]
    A. Bonner and M. Kifer. Transaction logic programming. In D. S. Warren, editor, Logic Programming: Proc. of the 10th International Conf., pages 257–279, 1993.Google Scholar
  4. [BK94]
    A. Bonner and M. Kifer. An overview of transaction logic. Theoretical computer science, 133:205–265, October 1994.CrossRefGoogle Scholar
  5. [BK96]
    F. Bacchus and F. Kabanza. Planning for temporally extended goals. In AAAI 96, pages 1215–1222, 1996.Google Scholar
  6. [BL96]
    C. Baral and J. Lobo. Formal characterization of active databases. In Proc. of International Workshop on Logic in Databases, 1996.Google Scholar
  7. [BL97]
    C. Baral and G. Lobo, J. Trajcevski. Formal characterization of active databases part ii. In DOOD 97, 1997.Google Scholar
  8. [BLT97]
    C. Baral, J. Lobo, and G. Trajcevski. Formal workflows as collections of condition-action rules. In DYNAMIC 97 (an ILPS workshop), 1997.Google Scholar
  9. [Bro87]
    F. Brown, editor. Proceedings of the 1987 workkshop on The Prame Problem in AI. Morgan Kaufmann, CA, USA, 1987.Google Scholar
  10. [Bro91a]
    R. Brooks. Elephants don't play chess. In P. Maes, editor, Designing Autonomous Agents, pages 3–16. MIT Press, 1991.Google Scholar
  11. [Bro91b.
    R. Brooks. Intelligence without reason. In Proc. of IJCAI 91, pages 569–595, 1991.Google Scholar
  12. [BS96]
    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.Google Scholar
  13. [BS97]
    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.Google Scholar
  14. [CFPT94]
    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–422, 1994.CrossRefGoogle Scholar
  15. [Cha96]
    D. Chamberlin. Using the new DB2: IBM's Object-relational database system. Morgan Kaufmann, 1996.Google Scholar
  16. [Che91]
    W. Chen. Declarative specification and evaluation of database updates. In Proc. of DOOD'91, pages 147–166, 1991.Google Scholar
  17. [Che95]
    W. Chen. Declarative updates of relational databases. ACM transactions on Database Systems (to appear), 1995.Google Scholar
  18. [EC82]
    E. A. Emerson and E. Clarke. Using branching time temporal logic to synthesize synchronization skeletons. In Science of Computer programming, vol 2, pages 241–266. 1982.CrossRefGoogle Scholar
  19. [FMT94]
    P. Fraternali, D. Montesi, and L. Tanca. Active database semantics. In Proc. of the Fifth Australasian Database Conference, 1994.Google Scholar
  20. [FT95]
    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–471, 1995.CrossRefGoogle Scholar
  21. [Geo94]
    M. Georgeff, editor. Journal of Logic and Computation, Special issue on Action and Processes, volume 4 (5). Oxford University Press, October 1994.Google Scholar
  22. [GL93]
    M. Gelfond and V. Lifschitz. Representing actions and change by logic programs. Journal of Logic Programming, 17(2,3,4):301–323, 1993.CrossRefGoogle Scholar
  23. [JTM97]
    Lobo. J., S. Taylor, and G. Mendez. Adding knowledge to the action description language A. In AAAI 97, 1997.Google Scholar
  24. [Lif97]
    V. Lifschitz, editor. Special issue of the Journal of Logic Programming on Reasoning about actions and change, volume 31(1–3), May 1997.Google Scholar
  25. [LRL+97]
    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.Google Scholar
  26. [MT94]
    W. Marek and M. Truszczyński. Revision programming, database updates and integrity constraints. In In 5th International conference in Database theory, Prague, 1994.Google Scholar
  27. [MW88]
    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–394. Morgan Kaufmann, 1988.Google Scholar
  28. [Rei92]
    R. Reiter. Formalizing database evolution in the situation calculus. In ICOT, editor, Proc. of the International Conference on Fifth Generation Computer Systems, pages 600–609, 1992.Google Scholar
  29. [Rei94]
    R. Reiter. On specifying database updates. Journal of Logic Programming, 19,20:1–39, 1994.CrossRefGoogle Scholar
  30. [SKS96]
    A. Silberschatz, H. Korth, and S. Sudershan. Database System Concepts. McGraw Hill, 3rd edition, 1996.Google Scholar
  31. [SL93]
    R. Scherl and H. Levesque. The frame problem and knowledge producing actions. In AAAI 93, pages 689–695, 1993.Google Scholar
  32. [WC96]
    J. Widom and S Ceri, editors. Active Database Systems — Triggers and Rules for advanced database processing. Morgan Kaufmann, 1996.Google Scholar
  33. [Zan93]
    C. Zaniolo. A unified semantics for active and deductive databases. In Proceedings of 1st international workshop on rules in database systems, pages 271–287. Springer-Verlag, 1993.Google Scholar
  34. [Zan96]
    C. Zaniolo. Active database rules with transaction-conscious stable models semantics. In Proceedings of DOOD 1996, pages 55–72, 1996.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Chitta Baral
    • 1
  • Jorge Lobo
    • 2
  1. 1.Department of Computer ScienceUniv. of Texas at El PasoEl PasoUSA
  2. 2.Department of EELSUniv. of Illinois at ChicagoChicagoUSA

Personalised recommendations