Advertisement

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

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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