S. M. Sripada (1993): A Metalogic Programming approach to Reasoning about Time in Knowledge Bases


Title: A Metalogic Programming approach to Reasoning about Time in Knowledge Bases
Author(s): S. M. Sripada
Year: 1993
Booktitle: Proceedings of the 13th International Joint Conference on Artificial Intelligence
Editor(s): Ruzena Bajcy
Volume: 2
Pages: 860-865
Publisher: Morgan Kaufmann
Address: San Mateo, CA

Concepts