1036 search results - page 8 / 208 » Verification Programs for Abduction |
ECAI
2006
Springer
15 years 3 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 ...
102
click to vote
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
ABSTRACT. Action-probabilistic logic programs (ap-programs) are a class of probabilistic logic programs that have been extensively used during the last few years for modeling behav...
JELIA
2004
Springer
15 years 5 months ago
2004
Springer
80
Voted
NMELP
1994
15 years 3 months ago
1994
DAGSTUHL
2007
15 years 1 months ago
2007