912 search results - page 16 / 183 » Abstract Saturation-Based Inference |
CORR
2000
Springer
13 years 9 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...
COGSR
2010
13 years 4 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...
APLAS
2004
ACM
14 years 3 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...
MPC
2010
Springer
14 years 2 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 ...
CP
1997
Springer
14 years 1 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...