1313 search results - page 28 / 263 » Prioritized Reasoning in Logic Programming |
116
Voted
KR
1994
Springer
15 years 7 months ago
1994
Springer
In this paper we describe REVISE, an extended logic programming system for revising knowledge bases. REVISE is based on logic programming with explicit negation, plus a two-valued...
116
Voted
ECSQARU
2007
Springer
15 years 10 months ago
2007
Springer
113
Voted
LOPSTR
2007
Springer
15 years 9 months ago
2007
Springer
104
Voted
LPAR
2007
Springer
15 years 9 months ago
2007
Springer
113
Voted
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
