ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Handling infinite temporal data
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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
Extending temporal databases to deal with telic/atelic medical data
Artificial Intelligence in Medicine
Reified temporal theories and how to unreify them
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |