2638 search results - page 4 / 528 » Frameworks for Reasoning about Agent Based Systems |
130
Voted
KR
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we investigate knowledge reasoning within a simple framework called knowledge structure. We use variable forgetting as a basic operation for one agent to reason abo...
113
click to vote
ICCBR
2010
Springer
15 years 5 months ago
2010
Springer
The vast majority of research on AI planning has focused on automated plan recognition, in which a planning agent is provided with a set of inputs that include an initial goal (or ...
ATAL
2011
Springer
14 years 1 months ago
2011
Springer
123
click to vote
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...
124
click to vote
BIRTHDAY
2006
Springer
15 years 5 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...