1036 search results - page 4 / 208 » Verification Programs for Abduction |
AGP
2003
IEEE
14 years 21 days ago
2003
IEEE
Constraint Logic Programming (CLP) and Abductive Logic Programming (ALP) share the important concept of conditional answer. We exploit their deep similarities to implement an effic...
PADL
2009
Springer
14 years 8 months ago
2009
Springer
RR
2009
Springer
13 years 12 months ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
LPNMR
2007
Springer
14 years 1 months ago
2007
Springer
We show how to deploy the CIFF System 4.0 for abductive logic programming with constraints in a number of applications, ranging from combinatorial applications to web management. W...
LPKR
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. We study the relationship between argumentation (abduction) and disjunctive logic programming. Based on the paradigm of argumentation, an abductive semantic framework for...