4617 search results - page 205 / 924 » Automation of Diagrammatic Reasoning |
177
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning abou...
161
click to vote
DLOG
1998
15 years 7 months ago
1998
Abstract: This paper presents a progress report on the implementation of an ALCRP(D) ABox reasoner and a knowledge representation framework. We present an ALC ABox reasoner which h...
181
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
173
click to vote
CAEPIA
2003
Springer
15 years 10 months ago
2003
Springer
CBR systems are normally used to assist experts in the resolution of problems. During the last few years, researchers have been working in the development of techniques to automate...
166
click to vote
DLOG
2004
15 years 7 months ago
2004
In this paper, we propose a tableau-based technique for reasoning with various distributed DL knowledge bases. This technique can be applied both to DDLs and to new and relevant s...