Resolution with Order and Selection for Hybrid Logics
Journal of Automated Reasoning
Planning temporal events using point-interval logic
Mathematical and Computer Modelling: An International Journal
Temporal representation and reasoning in artificial intelligence: A review
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.00 |