Sciweavers

267 search results - page 1 / 54
» Well Founded Semantics for Logic Program Updates
Sort
View
IBERAMIA
2004
Springer
13 years 9 months ago
Well Founded Semantics for Logic Program Updates
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...
Federico Banti, José Júlio Alferes, ...
RULEML
2004
Springer
13 years 9 months ago
Well-Founded Semantics for Description Logic Programs in the Semantic Web
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...
LPNMR
2001
Springer
13 years 8 months ago
A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs
Much work has been done on extending the well-founded semantics to general disjunctive logic programs and various approaches have been proposed. However, no consensus has been reac...
Kewen Wang
CADE
2001
Springer
14 years 3 months ago
A Top-Down Procedure for Disjunctive Well-Founded Semantics
Abstract. Skepticism is one of the most important semantic intuitions in artificial intelligence. The semantics formalizing skeptical reasoning in (disjunctive) logic programming i...
Kewen Wang
RR
2007
Springer
13 years 9 months ago
Decidability Under the Well-Founded Semantics
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...
Natalia Cherchago, Pascal Hitzler, Steffen Hö...