7326 search results - page 70 / 1466 » Methods for modalities 3 |
141
click to vote
FOSSACS
2007
Springer
16 years 6 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
149
click to vote
ICMCS
2006
IEEE
16 years 2 days ago
2006
IEEE
In future videocommunication services, the user’s communication device, such as PC, laptop, PDA or mobile phone is equipped with new interaction modalities. These can be cameras...
159
click to vote
LOGCOM
2007
15 years 6 months ago
2007
The syntactic approach to epistemic logic avoids the logical omniscience problem by taking knowledge as primary rather than as defined in terms of possible worlds. In this study, ...
172
click to vote
FAABS
2000
Springer
15 years 9 months ago
2000
Springer
This paper discusses automated reasoning in the KARO framework. The KARO framework accommodates a range of expressive modal logics for describing the behaviour of intelligent agent...
166
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...