Handbook of logic in artificial intelligence and logic programming
By: edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson. Vol. 4, Epistemic and temporal reasoning / volume coordinator, Antony Galton.
Contributors: Gabbay, Dov M., 1945-; Hogger, Christopher John.; Robinson, J. A.
Series: Oxford science publications
Publisher: Clarendon Press
Published: 1995
Place of publication: Oxford
Language: eng
Number of pages: 611
Subjects: Logic programming.; Artificial intelligence.; Logic, Symbolic and mathematical.