195 search results - page 1 / 39 » Distributed abductive reasoning with constraints |
AAMAS
2008
Springer
13 years 11 months ago
2008
Springer
Abductive reasoning is a well established field of Artificial Intelligence widely applied to different problem domains not least cognitive robotics and planning. It has been used ...
ATAL
2010
Springer
13 years 12 months ago
2010
Springer
ICLP
2010
Springer
13 years 9 months ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
ICLP
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
JELIA
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abduc...