Abstract. A key step in Natural Language Processing is creating representations of sentences and discourses. Sentences describe states and events. Thus a crucial component of seman...
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
Abstract. We propose a new approach to collaborative filtering in mobile tourist information systems based on spatio-temporal proximity in social contexts. Users store ratings and ...
Alexandre de Spindler, Moira C. Norrie, Michael Gr...
Abstract. In this paper a modelling approach to the dynamics within a multiagent organisation is presented. A declarative, executable temporal modelling language for organisation d...
Catholijn M. Jonker, Jan Treur, Wouter C. A. Wijng...
In this paper, we consider the problem of motion planning for mobile robots with nonlinear hybrid dynamics, and high-level temporal goals. We use a multi-layered synergistic framew...