1636 search results - page 15 / 328 » Reasoning About Quantum Systems |
116
click to vote
AAAI
1990
15 years 3 months ago
1990
There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...
105
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Understanding the collaborations that arise between the instances of classes in object-oriented programs is important for the analysis, optimization, or modification of ...
112
Voted
FLAIRS
2008
15 years 4 months ago
2008
Typical application fields of spatial and spatio-temporal representation formalisms and reasoning techniques include geographic information systems (GIS), mobile assistance system...
107
Voted
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
108
click to vote
FLAIRS
2006
15 years 3 months ago
2006
The aim of this paper is to extend the modal logic of knowledge due to Moss and Parikh by state transformers arising, eg, from actions of agents. The peculiarity of Moss and Parik...