30 search results - page 4 / 6 » SLT-Resolution for the Well-Founded Semantics |
FGCS
1992
13 years 8 months ago
1992
CORR
2000
Springer
13 years 7 months ago
2000
Springer
COOPIS
2002
IEEE
14 years 12 days 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 ...
ICLP
2009
Springer
14 years 2 months ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
EPIA
2005
Springer
14 years 1 months ago
2005
Springer
Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs. This problem is relevant for addressing highly ...