499 search results - page 2 / 100 » Real-World Reasoning with OWL |
OWLED
2008
13 years 6 months ago
2008
SAT
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. During the recent years, the development of tools for deciding Quantified Boolean Formulas (QBFs) has been accompanied by a steady supply of real-world instances, i.e., ...
DAGSTUHL
2003
13 years 6 months ago
2003
JSW
2008
13 years 4 months ago
2008
--The vast amounts of data about people, things and the environment will require new ways of handling, searching and presenting information. New applications will increasingly be a...
WISE
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Approximation has been identified as a potential way of reducing the complexity of logical reasoning. Here we explore approximation for speeding up instance retrieval in...