1036 search results - page 5 / 208 » Verification Programs for Abduction |
ICLP
2005
Springer
14 years 27 days ago
2005
Springer
Abduction is usually carried out on partially-defined predicates. In this paper we investigate abduction applied to fully-defined predicates, specifically linear arithmetic cons...
NMR
2004
Springer
14 years 23 days ago
2004
Springer
This paper presents a computational model for reasoning with causal explanations of observations within the framework of Abductive Event Calculus (AEC). The model is based on abdu...
ICLP
2005
Springer
14 years 27 days ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
IFIP
2010
Springer
13 years 2 months ago
2010
Springer
ICLP
2001
Springer
13 years 12 months ago
2001
Springer
Multi-adjoint logic programs has been recently introduced [9, 10] as a generalization of monotonic logic programs [2, 3], in that simultaneous use of several implications in the ru...