1614 search results - page 48 / 323 » Planning as Temporal Reasoning |
ICEIS
2003
IEEE
15 years 7 months ago
2003
IEEE
CP
2006
Springer
15 years 5 months ago
2006
Springer
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...
91
Voted
FLAIRS
2008
15 years 4 months ago
2008
BIOSTEC
2008
15 years 3 months ago
2008
84
Voted
IJCAI
2001
15 years 3 months ago
2001