3891 search results - page 399 / 779 » A logic for strategic reasoning |
169
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Terminator is a static analysis tool developed by Microsoft Research for proving termination of Windows device drivers written in C. This proof pearl describes a formalization in h...
151
Voted
CSL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a method of integrating linear rational arithmetic into superposition calculus for first-order logic. One of our main results is completeness of the resulting...
212
click to vote
MATES
2005
Springer
16 years 9 days ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
156
click to vote
AMAI
2004
Springer
16 years 7 days ago
2004
Springer
In reasoning tasks involving logical formulas, high expressiveness is desirable, although it often leads to high computational complexity. We study a simple measure of expressiven...
210
click to vote
FTRTFT
1992
Springer
15 years 11 months ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...