886 search results - page 73 / 178 » Modal logic and invariance |
IJCAI
2007
13 years 11 months ago
2007
If modal logics for coalitions need to be applied, one must know how to translate coalition power into agents’ actions. To these days, the connection between coalition power and...
ECAI
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
BSL
2008
13 years 10 months ago
2008
CALCO
2007
Springer
14 years 2 months ago
2007
Springer
Specification-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal specification. We present in this paper an...
TABLEAUX
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. This paper presents the results of applying RACE, a description logic system for ALCNHR+ , to modal logic SAT problems. Some aspects of the RACE architecture are discusse...