20 search results - page 1 / 4 » Conjunctive Grammars with Restricted Disjunction |
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
CP
2009
Springer
14 years 5 months ago
2009
Springer
We investigate the global GRAMMAR constraint over restricted classes of context free grammars like deterministic and unambiguous context-free grammars. We show that detecting disen...
ICDT
2009
ACM
14 years 5 months ago
2009
ACM
The class of unions of conjunctive queries (UCQ) has been shown to be particularly well-behaved for data exchange; its certain answers can be computed in polynomial time (in terms...
SAC
2002
ACM
13 years 4 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...
LPAR
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no...