506 search results - page 10 / 102 » Logics for Action |
AIR
2004
14 years 9 months ago
2004
In this paper we describe an approach to the construction of adaptive tutoring systems, based on techniques from the research area of Reasoning about Actions and Change. This appro...
ICMCS
2006
IEEE
15 years 3 months ago
2006
IEEE
Automatic facial expression analysis is an important aspect of Human Machine Interaction as the face is an important communicative medium. We use our face to signal interest, disa...
100
click to vote
JOLLI
2010
14 years 4 months ago
2010
The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define ...
ICLA
2009
Springer
15 years 4 months ago
2009
Springer
74
Voted
SP
1996
IEEE
15 years 1 months ago
1996
IEEE
Covert channels are a critical concern for multilevel secure (MLS) systems. Due to their subtlety, it is desirable to use formal methods to analyze MLS systems for the presence of...