30 search results - page 5 / 6 » Interpreting Abduction in CLP |
IUI
2000
ACM
13 years 9 months ago
2000
ACM
This article is about applications that can be customized or extended through their own user interface. This is achieved by the interface’s ability to interpret users’ non-lit...
AAAI
1996
13 years 6 months ago
1996
We present a connectionist architecture that supports almost instantaneous deductive and abductive reasoning. The deduction algorithm responds in few steps for single rule queries...
EPIA
1999
Springer
13 years 9 months ago
1999
Springer
In this paper we propose a hybrid system that bridges the gap between traditional image processing methods, used for low-level object recognition, and abductive constraint logic pr...
AMAST
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
AI
2004
Springer
13 years 5 months ago
2004
Springer
In this paper we present a new approach to reason about actions and causation which is based on a conditional logic. The conditional implication is interpreted as causal implicati...