895 search results - page 7 / 179 » A Spectrum of Applications of Automated Reasoning |
LICS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labelled transition systems, and formats ...
TIME
2007
IEEE
15 years 4 months ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...
DLOG
2001
14 years 11 months ago
2001
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized ...
EWCBR
1998
Springer
15 years 1 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...
126
click to vote
ICCBR
2007
Springer
15 years 1 months ago
2007
Springer
Case-based reasoning aims at solving a problem by the adaptation of the solution of an already solved problem that has been retrieved in a case base. This paper defines an approach...