740 search results - page 99 / 148 » Open Answer Set Programming with Guarded Programs |
166
click to vote
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
Twig queries have been extensively studied as a major fragment of XPATH queries to query XML data. In this paper, we study PXMLRANK query, (Q, k), which is to rank top-k probabili...
216
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
168
click to vote
ORDER
2010
15 years 2 months ago
2010
Embedding a partially ordered set into a product of chains is a classical way to encode it. Such encodings have been used in various fields such as object oriented programming or ...
114
click to vote
ICALP
1999
Springer
15 years 8 months ago
1999
Springer
The data sets for many of today's computer applications are too large to t within the computer's internal memory and must instead be stored on external storage devices su...
168
click to vote
TOOLS
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we adopt a component model based on object-oriented systems, introducing the concepts of components and their structure. A component consists of a dynamically changi...