Sciweavers

89 search results - page 5 / 18
» Abduction and the Dualization Problem
Sort
View
JWSR
2007
89views more  JWSR 2007»
14 years 9 months ago
Fully Automated Web Services Discovery and Composition Through Concept Covering and Concept Abduction
: We propose a framework and polynomial algorithms for semantic-based automated Web service composition, fully compliant with Semantic Web technologies. The approach exploits the r...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...
68
Voted
AUSAI
2006
Springer
15 years 1 months ago
Heyting Domains for Constraint Abduction
Abstract. We investigate constraint domains in which answers to constraint abduction problems can be represented compactly by a most general answer. We demonstrate several classes ...
Michael J. Maher
STACS
1993
Springer
15 years 1 months ago
The Complexity of Logic-Based Abduction
Abduction is an important form of nonmonotonic reasoning allowing one to find explanations for certain symptoms or manifestations. When the application domain is described by a l...
Thomas Eiter, Georg Gottlob
IJCAI
1993
14 years 10 months ago
Explanation in the Situation Calculus
This paper explores different techniques for explanation within the framework of the situation calculus, using the so-called stolen car problem as its main example. Two approaches...
Murray Shanahan
89
Voted
AAMAS
2008
Springer
14 years 9 months ago
DARE: a system for distributed abductive reasoning
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 ...
Jiefei Ma, Alessandra Russo, Krysia Broda, Keith C...