4126 search results - page 381 / 826 » Set based logic programming |
139
click to vote
PADL
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. One important advantage of logic programming is that it allows the implicit exploitation of parallelism. Towards this goal, we suggest that or-parallelism can be efficien...
140
click to vote
AAAI
2008
15 years 7 months ago
2008
Unifying first-order logic and probability is a long-standing goal of AI, and in recent years many representations combining aspects of the two have been proposed. However, infere...
143
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The paper presents the methodology and the results of checking consistency of the knowledge base of CADIAG-2, a large-scale medical expert system. Such knowledge base con...
213
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
Keyword search is recognized as an important technique to unlocking the information found in both structured and semistructured information. With XML as the data model and XQuery ...
122
click to vote
IFIP
2005
Springer
15 years 10 months ago
2005
Springer
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...