Sciweavers

3776 search results - page 49 / 756
» Partition-Based Logical Reasoning
Sort
View
CADE
2012
Springer
12 years 13 days ago
SPARQL Query Containment under RDFS Entailment Regime
The problem of SPARQL query containment is defined as determining if the result of one query is included in the result of another for any RDF graph. Query containment is important...
Melisachew Wudage Chekol, Jérôme Euze...
CADE
2008
Springer
14 years 10 months ago
Evaluation of Systems for Higher-order Logic (ESHOL)
Christoph Benzmüller, Florian Rabe, Carsten S...
IJAR
2008
108views more  IJAR 2008»
13 years 10 months ago
Extending uncertainty formalisms to linear constraints and other complex formalisms
Linear constraints occur naturally in many reasoning problems and the information that they represent is often uncertain. There is a difficulty in applying AI uncertainty formalis...
Nic Wilson