3891 search results - page 60 / 779 » A logic for strategic reasoning |
CADE
2007
Springer
14 years 8 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
CADE
2001
Springer
14 years 8 months ago
2001
Springer
MKM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses ...
DLOG
2001
13 years 9 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 ...
CADE
2003
Springer
14 years 8 months ago
2003
Springer