3776 search results - page 48 / 756 » Partition-Based Logical Reasoning |
ATAL
2007
Springer
14 years 3 months ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
CADE
1994
Springer
14 years 1 months ago
1994
Springer
CADE
2007
Springer
14 years 9 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 9 months ago
2001
Springer
DLOG
2001
13 years 10 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 ...