7167 search results - page 190 / 1434 » Answer Set Programming |
132
click to vote
JACM
2010
15 years 17 days ago
2010
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
133
click to vote
ICTAI
2010
IEEE
15 years 1 days ago
2010
IEEE
Abstract--Today's molecular biology is confronted with enormous amounts of data, generated by new high-throughput technologies, along with an increasing number of biological m...
119
click to vote
DGCI
2003
Springer
15 years 7 months ago
2003
Springer
The problem of reconstructing finite subsets of the integer lattice from X-rays has been studied in discrete mathematics and applied in several fields like image processing, data...
105
click to vote
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Structural subtyping is popular in research languages, but all mainstream object-oriented languages use nominal subtyping. Since languages with structural subtyping are n...
101
click to vote
SIAMCOMP
2000
15 years 1 months ago
2000
We present a linear programming-based method for nding \gadgets", i.e., combinatorial structures reducing constraints of one optimization problem to constraints of another. A...