502 search results - page 11 / 101 » Development and Application of a Formal Agent Framework |
IPPS
1999
IEEE
15 years 3 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
RANLP
2003
15 years 1 months ago
2003
This paper proposes a formal framework for development and exploitation of a corpus, based on the HPSG linguistic theory. The formal representation of the annotation scheme facili...
100
Voted
AAMAS
2000
Springer
14 years 11 months ago
2000
Springer
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for...
AI
2001
Springer
15 years 4 months ago
2001
Springer
The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue...
136
Voted
ECMDAFA
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...