5314 search results - page 56 / 1063 » Hybrid Dynamic Programming |
JAPLL
2006
13 years 10 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
POPL
2003
ACM
14 years 10 months ago
2003
ACM
TOOLS
2008
IEEE
14 years 4 months ago
2008
IEEE
CD
2005
Springer
14 years 3 months ago
2005
Springer
ESOP
2003
Springer
14 years 3 months ago
2003
Springer
