5314 search results - page 56 / 1063 » Hybrid Dynamic Programming |
146
Voted
JAPLL
2006
15 years 5 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...
231
Voted
POPL
2003
ACM
16 years 5 months ago
2003
ACM
118
Voted
CD
2005
Springer
15 years 10 months ago
2005
Springer
126
Voted
ESOP
2003
Springer
15 years 10 months ago
2003
Springer
