3891 search results - page 36 / 779 » A logic for strategic reasoning |
ESOP
2006
Springer
13 years 11 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
TABLEAUX
2000
Springer
13 years 11 months ago
2000
Springer
mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for ...
AAAI
2012
11 years 10 months ago
2012
This paper addresses the problem of automated advice provision in settings that involve repeated interactions between people and computer agents. This problem arises in many real ...
HICSS
2003
IEEE
14 years 28 days ago
2003
IEEE
Context scenarios are widely used for assessing the robustness of strategies and policies in both the private and the public sector. Royal Dutch Shell, for instance, has become re...
LICS
1997
IEEE
13 years 12 months ago
1997
IEEE