830 search results - page 10 / 166 » Topological Reasoning and The Logic of Knowledge |
FLAIRS
2007
13 years 9 months ago
2007
Much work has been done in the area of qualitative spatial reasoning over the past years, with application in various domains. However, existing models only capture particular asp...
KR
1994
Springer
13 years 11 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
2007
Springer
14 years 1 months ago
2007
Springer
ASP
2003
Springer
14 years 21 days ago
2003
Springer
MICAI
2000
Springer
13 years 11 months ago
2000
Springer
We introduce the new paradigm of High-Level Non-Monotonic reasoning (HLNM). This paradigm is the consolidation of our recent results on disjunctions, sets, explicit and implicit ne...