1356 search results - page 88 / 272 » A variable-free dynamic semantics |
AH
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Applying traditional Adaptive Hypermedia techniques to the personalization of news can pose a number of problems. The first main difficulty is the fact that news is inher...
IEAAIE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper deals with plan execution on agents/robots in highly dynamic environments. Besides a formal semantics of plan execution and a representation of plans as progra...
ATAL
2003
Springer
15 years 3 months ago
2003
Springer
People can interact much more readily with a multi-agent system if they can understand it in cognitive terms. Modern work on “BDI agents” emphasizes explicit representation of ...
ASM
2000
ASM
15 years 2 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
CAISE
1999
Springer
15 years 2 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...