426 search results - page 1 / 86 » Specification, Abduction, and Proof |
54
Voted
ATVA
2004
Springer
15 years 4 months ago
2004
Springer
121
Voted
ICLP
2010
Springer
14 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...
88
Voted
SWAP
2008
15 years 10 days ago
2008
Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on the...
96
Voted
JELIA
2004
Springer
15 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...
112
click to vote
EON
2008
15 years 11 days ago
2008
We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to...