7167 search results - page 150 / 1434 » Answer Set Programming |
METMBS
2003
13 years 10 months ago
2003
Abstract Technological advancements are constantly increasing the size and complexity of data resulting from microarray experiments. This fact has led biologists to ask complex que...
DM
2011
13 years 4 months ago
2011
Fix an element x of a finite partially ordered set P on n elements. Then let hi(x) be the number of linear extensions of P in which x is in position i, counting from the bottom. T...
MICAI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Often, qualitative values have an ordering, such as (veryshort, short, medium-height, tall) or a hierarchical level, such as (TheWorld, Europe, Spain, Madrid), which are ...
CSR
2009
Springer
14 years 14 days ago
2009
Springer
In this paper we investigate the following two questions: Q1: Do there exist optimal proof systems for a given language L? Q2: Do there exist complete problems for a given promise ...
PADL
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...