3 search results - page 1 / 1 » A Top-Down Procedure for Disjunctive Well-Founded Semantics |
CADE
2001
Springer
14 years 4 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...
LPNMR
2001
Springer
13 years 9 months ago
2001
Springer
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...
LPKR
1997
Springer
13 years 8 months ago
1997
Springer
In this overview we show how Knowledge Representation (KR) can be done with the help of generalized logic programs. We start by introducing the core of PROLOG, which is based on de...