2576 search results - page 71 / 516 » The Complexity of Zero Knowledge |
145
click to vote
DLOG
2011
14 years 3 months ago
2011
W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound a...
AIMS
2009
Springer
15 years 6 months ago
2009
Springer
Ontological modelling for machine inference has featured prominently in IT management research recently, but there is more immediate scope for knowledge modelling in the realm of h...
100
click to vote
AAAI
2007
15 years 2 months ago
2007
This paper presents a new approach for merging prioritized knowledge bases in possibilistic logic. Our approach is semantically defined by a model-based merging operator in propo...
103
click to vote
FLAIRS
2008
15 years 2 months ago
2008
There are a lot of approaches for solving planning problems. Many of these approaches are based on `brute force` search methods and do not care about structures of plans previousl...
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
We extend the knowledge compilation map introduced by Darwiche and Marquis with new propositional fragments obtained by applying closure principles to several fragments studied so...