2050 search results - page 9 / 410 » A formal foundation for process modeling |
74
Voted
ICMAS
2000
14 years 10 months ago
2000
In this paper, we formulate agent's decision process under the framework of Markov decision processes, and in particular, the multi-agent extension to Markov decision process...
FM
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
ICFCA
2005
Springer
15 years 2 months ago
2005
Springer
DKE
1999
14 years 9 months ago
1999
In this paper, we propose a formal model for multilevel databases. This model aims at being a generic model, that is it can be interpreted for any kind of database (relational, ob...
ATAL
1997
Springer
15 years 1 months ago
1997
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...