6 search results - page 1 / 2 » Walking the Decidability Line for Rules with Existential Var... |
KR
2010
Springer
13 years 9 months ago
2010
Springer
We consider positive rules in which the conclusion may contain existentially quantified variables, which makes reasoning tasks (such as Deduction) undecidable. These rules have t...
AI
2011
Springer
12 years 11 months ago
2011
Springer
ICCS
2009
Springer
13 years 11 months ago
2009
Springer
This paper is an extended abstract of the talk given at ICCS’09. Rules have long been considered as an essential component of knowledge-based systems. We focus here on conceptual...
SEMWEB
2004
Springer
13 years 10 months ago
2004
Springer
Both OWL-DL and function-free Horn rules3 are decidable logics with interesting, yet orthogonal expressive power: from the rules perspective, OWL-DL is restricted to tree-like rule...
AAAI
2012
11 years 7 months ago
2012
We tackle the problem of defining a well-founded semantics (WFS) for Datalog rules with existentially quantified variables in their heads and negations in their bodies. In partic...