Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. J. Allen. Towards a General Theory of Action and Time. Artif. Intell., 23:123–154, 1984.
2. J. Allen. Planning as Temporal Reasoning. In Proc. of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, 1991.
3. A. Baker and M. Ginsberg. Temporal Projection and Explanation. In Proc. of the 11th International Joint Conference on AI, 1989.
4. M. Bauer, S. Biundo, D. Dengler, M. Hecking, J. Köhler, and G. Merziger. Integrated Plan Generation and Recognition — a Logic-based Approach. In W. Brauer, editor, 4. Internationaler GI-Kongreβ Wissensbasierte Systeme. Springer, 1991.
5. J. Burgess. Basic Tense Logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, Vol. II, pages 89–133, 1984.