740 search results - page 99 / 148 » Open Answer Set Programming with Guarded Programs |
142
Voted
EDBT
2009
ACM
15 years 9 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...
195
Voted
ICLP
2009
Springer
16 years 2 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...
147
Voted
ORDER
2010
15 years 18 days 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 ...
97
Voted
ICALP
1999
Springer
15 years 6 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...
151
Voted
TOOLS
1998
IEEE
15 years 6 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...