The temporal reasoning tools TimeGraph I-II

Bibliographic Details
Title: The temporal reasoning tools TimeGraph I-II
Authors: Gerevini, A., Schubert, L., Schaeffer, S.
Source: Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 Tools with artificial intelligence Tools with Artificial Intelligence, 1994. Proceedings., Sixth International Conference on. :513-520 1994
Relation: Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94
Database: IEEE Xplore Digital Library