30 search results - page 1 / 6 » SLT-Resolution for the Well-Founded Semantics |
RULEML
2004
Springer
13 years 10 months ago
2004
Springer
CADE
2001
Springer
14 years 5 months ago
2001
Springer
Abstract. Skepticism is one of the most important semantic intuitions in artificial intelligence. The semantics formalizing skeptical reasoning in (disjunctive) logic programming i...
IBERAMIA
2004
Springer
13 years 10 months ago
2004
Springer
Over the last years various semantics have been proposed for dealing with updates of logic programs by (other) logic programs. Most of these semantics extend the stable models sema...
RR
2007
Springer
13 years 11 months ago
2007
Springer
The well-founded semantics (WFS) for logic programs is one of the few major paradigms for closed-world reasoning. With the advent of the Semantic Web, it is being used as part of r...
SEMWEB
2007
Springer
13 years 11 months ago
2007
Springer
Semantic descriptions of non-textual media available on the web can be used to facilitate retrieval and presentation of media assets and documents containing them. While technologi...