352 search results - page 29 / 71 » Paraconsistent Declarative Semantics for Extended Logic Prog... |
129
Voted
LPNMR
2001
Springer
15 years 7 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...
145
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...
129
click to vote
ASP
2003
Springer
15 years 6 months ago
2003
Springer
The work aims at extending Answer Set Programming (ASP) with the possibility of quickly introducing new predefined constructs and to deal with compound data structures: we show ho...
141
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a ...
154
click to vote
CADE
2001
Springer
16 years 3 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...