4421 search results - page 374 / 885 » Libraries |
145
Voted
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
Most BDI agent architectures rely on plan libraries in order to ensure bounded time for means-ends reasoning. Nevertheless, the usage of fast planning algorithms to provide the ag...
148
Voted
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
121
Voted
IFL
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition sys...
129
click to vote
JELIA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present the design of our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most featu...
133
Voted
MLMI
2004
Springer
15 years 10 months ago
2004
Springer
The NITE XML Toolkit (NXT) provides library support for working with multimodal language corpora. We describe work in progress to explore its potential for the AMI project by appl...