1737 search results - page 179 / 348 » On Interpolation in Existence Logics |
264
click to vote
CSAC
2006
15 years 8 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
187
click to vote
DLOG
2004
15 years 8 months ago
2004
Reasoning capability is of crucial importance to many applications developed for the Semantic Web. Description Logics provide sound and complete reasoning algorithms that can effe...
171
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
Abstract. Constraint logic programming combines declarativity and efficiency thanks to constraint solvers implemented for specific domains. Value withdrawal explanations have been ...
207
click to vote
JMLR
2010
15 years 1 months ago
2010
There is a growing interest in building probabilistic models with high order potentials (HOPs), or interactions, among discrete variables. Message passing inference in such models...
160
click to vote
IJCAI
1997
15 years 8 months ago
1997
The AI literature contains many definitions of diagnostic reasoning most of which are defined in terms of the logical entailment relation. We use existing work on approximate en...