392 search results - page 1 / 79 » Negation as Partial Failure |
LPNMR
1993
Springer
13 years 8 months ago
1993
Springer
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...
ICLP
2003
Springer
13 years 10 months ago
2003
Springer
We equip ordered logic programs with negation as failure, using a simple generalization of the preferred answer set semantics for ordered programs. This extension supports a conven...
JLP
2000
13 years 4 months ago
2000
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
ELP
1989
13 years 8 months ago
1989
DLOG
2008
13 years 7 months ago
2008