Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. S. Abiteboul. Updates, a new frontier. In Second International Conference on Database Theory, pages 1–18, 1988.
2. C. Baral, M. Gelfond, and A. Provetti. Representing Actions: Laws, Observations and Hypothesis. Journal of Logic Programming, 31(1–3):201–243, May 1997.
3. 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.
4. A. Bonner and M. Kifer. An overview of transaction logic. Theoretical computer science, 133:205–265, October 1994.
5. F. Bacchus and F. Kabanza. Planning for temporally extended goals. In AAAI 96, pages 1215–1222, 1996.