162 search results - page 19 / 33 » Completeness Guarantees for Incomplete Reasoners |
ANSS
2007
IEEE
15 years 4 months ago
2007
IEEE
Accurate failure prediction in Grids is critical for reasoning about QoS guarantees such as job completion time and availability. Statistical methods can be used but they suffer f...
CAV
2004
Springer
15 years 1 months ago
2004
Springer
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
SIGMOD
2004
ACM
15 years 10 months ago
2004
ACM
Database selection is an important step when searching over large numbers of distributed text databases. The database selection task relies on statistical summaries of the databas...
107
click to vote
LPNMR
2005
Springer
15 years 3 months ago
2005
Springer
Loops and the corresponding loop formulas play an important role in answer set programming. On the one hand, they are used for guaranteeing correctness and completeness in SAT-base...
107
click to vote
DLOG
2011
14 years 1 months ago
2011
Query answering in Ontology Based Data Access (OBDA) exploits the knowledge of an ontology’s TBox to deal with incompleteness of the ABox (or data source). Current query-answerin...