1737 search results - page 70 / 348 » On Interpolation in Existence Logics |
161
click to vote
ICLP
2001
Springer
15 years 10 months ago
2001
Springer
In the paper we establish the xed-parameter complexity for several parameterized decision problems involving models, supported models and stable models of logic programs. We also e...
139
click to vote
LPAR
2001
Springer
15 years 10 months ago
2001
Springer
This paper focuses on the inference of modes for which a logic program is guaranteed to terminate. This generalizes traditional termination analysis where an analyzer tries to veri...
167
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning abou...
174
click to vote
AAAI
2008
15 years 8 months ago
2008
Logic programming with negation offers a compelling approach to abductive reasoning. This paper shows a simple view of abduction in this context for the completion semantics, unde...
152
click to vote
SEMWEB
2007
Springer
16 years 8 days ago
2007
Springer
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. As a solution we will combine fuzzy Description Logics with a possibilistic layer....