Sciweavers

193 search results - page 39 / 39
» On the Progression Semantics and Boundedness of Answer Set P...
Sort
View
SIGMOD
2012
ACM
224views Database» more  SIGMOD 2012»
11 years 7 months ago
Tiresias: the database oracle for how-to queries
How-To queries answer fundamental data analysis questions of the form: “How should the input change in order to achieve the desired output”. As a Reverse Data Management probl...
Alexandra Meliou, Dan Suciu
JACM
2010
137views more  JACM 2010»
13 years 3 months ago
Reconciling description logics and rules
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
Boris Motik, Riccardo Rosati
PODS
1995
ACM
139views Database» more  PODS 1995»
13 years 8 months ago
Normalizing Incomplete Databases
Databases are often incomplete because of the presence of disjunctive information, due to con icts, partial knowledge and other reasons. Queries against such databases often ask q...
Leonid Libkin