Sciweavers

1614 search results - page 48 / 323
» Planning as Temporal Reasoning
Sort
View
ICEIS
2003
IEEE
15 years 11 months ago
A Temporal Reasoning Approach of Communication Based Workflow Modelling
José Luis Caro, Antonio Guevara, Sergio G&a...
CP
2006
Springer
15 years 10 months ago
Towards an Efficient SAT Encoding for Temporal Reasoning
Abstract. In this paper, we investigate how an IA network can be effectively encoded into the SAT domain. We propose two basic approaches to modelling an IA network as a CSP: one r...
Duc Nghia Pham, John Thornton, Abdul Sattar
IJCAI
2001
15 years 7 months ago
Temporal Constraint Reasoning With Preferences
Lina Khatib, Paul H. Morris, Robert A. Morris, Fra...