959 search results - page 71 / 192 » Formal Description Techniques - How Formal and Descriptive a... |
ECP
1997
Springer
14 years 9 days 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...
EHCI
2004
13 years 9 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...
JLP
2000
13 years 8 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...
SEMWEB
2009
Springer
14 years 20 days ago
2009
Springer
Abstract—For many tasks, such as the integration of knowledge bases in the semantic web, one must not only handle the knowledge itself, but also characterizations of this knowled...
ACL
2004
13 years 9 months ago
2004
The purpose of this paper is to re-examine the balance between clarity and efficiency in HPSG design, with particular reference to the design decisions made in the English Resourc...