2308 search results - page 105 / 462 » Representing Symbolic Reasoning |
195
click to vote
TABLEAUX
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
167
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
We present a general logic of explicit knowledge represented as finite sets of logical formulae which can evolve by nondeterministic reasoning and communication. It is partly bas...
172
click to vote
TIME
2002
IEEE
15 years 11 months ago
2002
IEEE
Local search techniques have attracted considerable interest in the Artificial Intelligence (AI) community since the development of GSAT [9] and the min-conflicts heuristic [5] ...
164
click to vote
EWCBR
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, an interactive system for the development of Image Processing applications is described. This system is intended to provide some assistance to Image Processing exper...
218
click to vote
EWCBR
2000
Springer
15 years 10 months ago
2000
Springer
This paper proposes a methodology of maintaining Case Based Reasoning (CBR) systems by using fuzzy decision tree induction - a machine learning technique. The methodology is mainly...