Sciweavers

859 search results - page 28 / 172
» Abduction in Temporal Reasoning
Sort
View
LPAR
1994
Springer
15 years 9 months ago
Projection in Temporal Logic Programming
Zhenhua Duan, Maciej Koutny, Chris Holt