3481 search results - page 215 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
114
Voted
DCOSS
2006
Springer
15 years 7 months ago
2006
Springer
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
122
Voted
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that reasoning from the beliefs is performed ...
