65 search results - page 1 / 13 » Deriving epistemic conclusions from agent architecture |
TARK
2009
Springer
13 years 11 months ago
2009
Springer
AOSE
2001
Springer
13 years 9 months ago
2001
Springer
FLAIRS
2007
13 years 6 months ago
2007
In this paper, we extend Moss and Parikh’s approach to reasoning about topological properties of knowledge. We turn that system in a spatio-temporal direction by successively ad...
ATAL
1999
Springer
13 years 8 months ago
1999
Springer
Although many formalisms have been proposed for reasoning about intelligent agents, few of these have been semantically grounded in a concrete computational model. This paper prese...
CAISE
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Understanding and supporting the interaction between software requirements and architectures remains one of the challenging problems in software engineering research. To ...