3773 search results - page 188 / 755 » Logical Reasoning |
169
click to vote
JELIA
1994
Springer
15 years 8 months ago
1994
Springer
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
117
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
One of the keys to the success of the Thousands of Problems for Theorem Provers (TPTP) problem library and related infrastructure is the consistent use of the TPTP language. This p...
153
click to vote
FSS
2008
15 years 3 months ago
2008
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has s...
142
click to vote
IJCAI
1997
15 years 5 months ago
1997
In the paper, we consider the problem of supporting automated reasoning in a large class of knowledge representation formalisms, including terminological and epistemic logics, who...
112
click to vote
AI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this paper, we present an argumentation-based approach to dealing with inconsistency occurring in knowledge bases. We investigate several important logical properties ...