811 search results - page 84 / 163 » Integrating Formal Description Techniques |
ICADL
2003
Springer
15 years 5 months ago
2003
Springer
Building a shared and widely accessible repository, in order for scientists and end users to exploit it easily, results in tackling a variety of issues. Among others, the need for ...
ECP
1997
Springer
15 years 4 months ago
1997
Springer
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
JLP
2000
14 years 11 months ago
2000
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
SOCASE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper contributes to a line of research that aims to apply agent-oriented techniques in the field of service-oriented computing. In particular, we propose to use go...
EHCI
2004
15 years 1 months ago
2004
Many of the difficulties users experience when working with interactive systems arise from misfits between the user's conceptualisation of the domain and device with which the...