4513 search results - page 221 / 903 » Logic programming with satisfiability |
79
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
120
Voted
DCOSS
2006
Springer
15 years 7 months ago
2006
Springer
97
Voted
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
126
click to vote
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 ...
109
Voted
APSEC
2001
IEEE
15 years 7 months ago
2001
IEEE