The rational agent community uses Michael Bratman's planning theory of intention as its theoretical foundation for the development of its agentoriented BDI languages. We prese...
In this paper we study a process algebra whose semantics is based on true concurrency. In our model, actions are defined in terms of the resources they need to execute, which allo...
Innovations from multiple directions have been proposed to improve software reliability. Unfortunately, many of the innovations are not fully exploited by programmers. To bridge t...
We present an integrated approach to speech and natural language processing which uses a single parser to create training for a statistical speech recognition component and for in...
SOFIA (Artemis project: http://www.sofiaproject.eu/) focuses on answering the challenge of creating smart environments and its goal is to make information that resides in the phys...