279 search results - page 3 / 56 » Constructive Interval Disjunction |
KR
2004
Springer
15 years 2 months ago
2004
Springer
Disjunction is generally considered to add expressive power to logic programs under the stable model semantics, which have become a popular programming paradigm for knowledge repr...
DATE
1998
IEEE
15 years 1 months ago
1998
IEEE
Simple disjunctive decomposition is a special case of logic function decompositions, where variables are divided into two disjoint sets and there is only one newly introduced vari...
104
click to vote
ASP
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...
JCO
2010
14 years 4 months ago
2010
Let Fn q be a n-dimensional vector space over Fq. In this paper we construct a new family of inclusion matrices associated with subspaces of Fn q, and exhibit their disjunct proper...
CP
2003
Springer
15 years 2 months ago
2003
Springer
In this paper, we propose a new language-independent representation of adhoc constraints, called a box constraint collection. Using constructive disjunction, this representation ac...