4595 search results - page 264 / 919 » Reasoning about Plans |
250
click to vote
ACL2
2006
ACM
16 years 1 months 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 ...
204
click to vote
CSFW
2005
IEEE
16 years 1 months 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...
177
click to vote
DALT
2003
Springer
16 years 18 days 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...
223
click to vote
ECAI
2010
Springer
15 years 7 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...
145
click to vote
SAC
2002
ACM
15 years 7 months ago
2002
ACM
We will describe a simulator and simulated teamwork among a number of Personal Satellite Assistants (PSA) onboard the simulated space station patrolling for problem detection and ...