9719 search results - page 144 / 1944 » Answer Set Optimization |
107
Voted
LPNMR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper describes a system called SELP for studying strong equivalence in answer set logic programming. The basic function of the system is to check if two given groun...
106
Voted
CAV
2005
Springer
15 years 6 months ago
2005
Springer
Recent work on weighted-pushdown systems shows how to generalize interprocedural-dataflow analysis to answer “stack-qualified queries”, which answer the question “what data...
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...
117
click to vote
EDBTW
2006
Springer
15 years 4 months ago
2006
Springer
One of the goals of cleaning an inconsistent database is to remove conflicts between tuples. Typically, the user specifies how the conflicts should be resolved. Sometimes this spec...
107
Voted
IS
2008
15 years 24 days ago
2008
Consistent query answering is the problem of characterizing and computing the semantically correct answers to queries from a database that may not satisfy certain integrity constr...