82 search results - page 10 / 17 » CR-Prolog with Ordered Disjunction |
104
click to vote
LFCS
1992
Springer
15 years 1 months ago
1992
Springer
This paper addresses the problem of extending the formulae-as-types principle to classical logic. More precisely, we introduce a typed lambda-calculus (-LK ) whose inhabited types...
CAV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Modern termination provers rely on a safety checker to construct disjunctively well-founded transition invariants. This safety check is known to be the bottleneck of the ...
AIRS
2006
Springer
15 years 1 months ago
2006
Springer
Document clustering techniques mostly depend on models that impose explicit and/or implicit priori assumptions as to the number, size, disjunction characteristics of clusters, and/...
CSL
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. A positive temporal template (or a positive temporal constraint language) is a relational structure whose relations can be defined over countable dense linear order witho...
IJCAI
1993
14 years 10 months ago
1993
While decision trees have been used primarily for classification, they can also model regression or function approximation. Like classification trees, regression trees often yield...