65 search results - page 1 / 13 » Deriving epistemic conclusions from agent architecture |
TARK
2009
Springer
14 years 5 months ago
2009
Springer
AOSE
2001
Springer
14 years 3 months ago
2001
Springer
FLAIRS
2007
14 years 1 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
14 years 3 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
14 years 4 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 ...