912 search results - page 16 / 183 » Abstract Saturation-Based Inference |
136
click to vote
CORR
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. We introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on meta-knowledge about the in...
130
click to vote
COGSR
2010
14 years 10 months ago
2010
act 11 One of the fundamental human cognitive processes is problem solving. As a higher-layer cognitive process, problem solving interacts many other cognitive processes such as ab...
113
click to vote
APLAS
2004
ACM
15 years 8 months ago
2004
ACM
Abstract. Region-based memory management scheme has been proposed for the programming language ML. In this scheme, a compiler statically estimates the lifetime of each object by pe...
130
click to vote
MPC
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. It is natural to present subtyping for recursive types coinductively. However, Gapeyev, Levin and Pierce have noted that there is a problem with coinductive definitions ...
128
click to vote
CP
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Existing constraint programming systems offer a fixed set of inference engines implementing search strategies such as single, all, and best solution search. This is unfo...