Meta-Reasoning in Executable Temporal Logic (1991)

Cached

Download Links

by Howard Barringer , Michael Fisher , Oxford Road , Dov Gabbay , Anthony Hunter
Venue:Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR
Citations:35 - 15 self