The formal specification and implementation of a modest first-order temporal logic
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
Selected M-Related Dissertations Bibliography
ACM SIGART Bulletin
A temporal argumentative system
AI Communications
Hi-index | 0.00 |