3134 search results - page 15 / 627 » Computing full disjunctions |
SAC
2002
ACM
13 years 9 months ago
2002
ACM
A version space is a set of all hypotheses consistent with a given set of training examples, delimited by the specific boundary and the general boundary. In existing studies [5, 6...
SUM
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
NMR
2004
Springer
14 years 3 months ago
2004
Springer
We define the class of head-cycle free nested logic programs, and its proper subclass of acyclic nested programs, generalising similar classes originally defined for disjunctive...
SOFSEM
2010
Springer
14 years 6 months ago
2010
Springer
ICNP
1996
IEEE
14 years 2 months ago
1996
IEEE
