913 search results - page 146 / 183 » Formal Agent Development: Framework to System |
104
click to vote
TABLEAUX
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...
103
click to vote
AIPS
1994
15 years 1 months ago
1994
We consider the problem of representing plans for mixed-initiative planning, where several participants cooperate to develop plans. We claim that in such an environment, a crucial...
FMCAD
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
125
click to vote
APAQS
2001
IEEE
15 years 3 months ago
2001
IEEE
With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In ...
103
click to vote
IJCAI
2007
15 years 1 months ago
2007
Human intelligence requires decades of full-time training before it can be reliably utilised in modern economies. In contrast, AI agents must be made reliable but interesting in r...