40 search results - page 1 / 8 » Nonmonotonic Reasoning with Well Founded Semantics |
ICLP
1991
Springer
14 years 1 months ago
1991
Springer
Well Founded Semantics is adequate to capture nonmonotonic reasoning if we interpret the Well Founded model of a program P as a (possibly incomplete) view of the world. Thus the W...
COOPIS
2002
IEEE
14 years 3 months ago
2002
IEEE
Abstract. F-logic is a popular formalism for knowledge-intensive applications and, especially, for ontology management in Semantic Web. However, the original F-logic’s semantics ...
AAAI
2012
12 years 19 days 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...
LPNMR
1991
Springer
14 years 1 months ago
1991
Springer
IJCAI
1989
13 years 11 months ago
1989
A modest exception allowing inheritance reasoner is presented. The reasoner allows restricted, but semantically well founded, defeasible property inheritance. Furthermore, it give...