1036 search results - page 8 / 208 » Verification Programs for Abduction |
ECAI
2006
Springer
13 years 11 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 ...
ICLP
2010
Springer
13 years 11 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
14 years 23 days ago
2004
Springer
NMELP
1994
13 years 11 months ago
1994
DAGSTUHL
2007
13 years 8 months ago
2007