Modeling of, and reasoning with recurrent events with imprecise durations
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
Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic
Proceedings of the 17th International Conference on Logic Programming
Linear and affine logics with temporal, spatial and epistemic operators
Theoretical Computer Science
Encoding of Planning Problems and Their Optimizations in Linear Logic
Applications of Declarative Programming and Knowledge Management
Protocol analysis through alternating-time temporal logic and timed petri net models
WiCOM'09 Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing
Hi-index | 0.00 |