5243 search results - page 237 / 1049 » Reasoning About Strategies |
232
click to vote
ACL2
2006
ACM
16 years 19 days ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
180
click to vote
CSFW
2005
IEEE
16 years 8 days ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
163
click to vote
DALT
2003
Springer
15 years 12 months ago
2003
Springer
We introduce and motivate a non-standard multi-modal logic to represent and reason about ignorance in Multi-Agent Systems. We argue that in Multi-agent systems being able to reaso...
190
click to vote
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}] expressing that the coalition of all agents satisfying (x) can ac...
178
click to vote
AIM
2005
15 years 6 months ago
2005
This paper surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Descr...