3773 search results - page 120 / 755 » Logical Reasoning |
114
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...
ICLP
2001
Springer
15 years 8 months ago
2001
Springer
KR
1998
Springer
15 years 7 months ago
1998
Springer
110
Voted
PLILP
1998
Springer
15 years 7 months ago
1998
Springer
124
Voted
ICLP
1997
Springer
15 years 7 months ago
1997
Springer
