392 search results - page 5 / 79 » Negation as Partial Failure |
116
click to vote
ESWS
2006
Springer
15 years 3 months ago
2006
Springer
Knowledge representation formalisms used on the Semantic Web adhere to a strict open world assumption. Therefore, nonmonotonic reasoning techniques are often viewed with scepticism...
84
Voted
MEMBRANE
2007
Springer
15 years 5 months ago
2007
Springer
Some initial results on the study of conformon-P systems with negative values are reported. One model of these conformon-P systems is proved to be computationally universal while a...
80
Voted
PODS
1989
ACM
15 years 3 months ago
1989
ACM
The alternating xpoint of a logic program with negation is de ned constructively. The underlying idea is monotonically to build up a set of negative conclusions until the least xp...
112
Voted
CL
2000
Springer
15 years 4 months ago
2000
Springer
How to extract negative information from programs is an important issue in logic programming. Here we address the problem for functional logic programs, from a proof-theoretic pers...
IROS
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— In this paper we consider ways to alleviate negative estimated depth for the inverse depth parameterisation of bearing-only SLAM. This problem, which can arise even if ...