4573 search results - page 190 / 915 » Automated Reasoning |
185
Voted
LPNMR
2011
Springer
14 years 6 months ago
2011
Springer
This paper investigates a new approach for computing the inference of defeasible logic. The algorithm proposed can substantially reduced the theory size increase due to transformat...
105
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. We describe methods for automated theorem proving in extensional type theory with primitive equality. We discuss a complete, cut-free sequent calculus as well as a compac...
132
Voted
LPAR
2005
Springer
15 years 9 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...
126
Voted
ICCBR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Distributed case-based reasoning architectures have the potential to improve the overall performance of case-based reasoning systems. In this paper we describe a collabor...
123
Voted
DLOG
1998
15 years 5 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...