7167 search results - page 146 / 1434 » Answer Set Programming |
107
Voted
FQAS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Highly heterogeneous XML collections are thematic collections exploiting different structures: the parent-child or ancestor-descendant relationships are not preserved and...
101
click to vote
ACTA
2006
15 years 27 days ago
2006
Abstract Selectivity estimation of a boolean query based on frequent itemsets can be solved by describing the problem by a linear program. However, the number of variables in the e...
141
Voted
CORR
2010
Springer
15 years 28 days ago
2010
Springer
We propose a method for inferring parameterized regular types for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint s...
110
Voted
IPPS
2002
IEEE
15 years 5 months ago
2002
IEEE
Tabling or memoing is a technique where one stores intermediate answers to a problem so that they can be reused in further calls. Tabling is of interest to logic programming becau...
115
Voted
CASCON
2001
15 years 2 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...