2911 search results - page 37 / 583 » A Theory of Expressiveness in Mechanisms |
155
click to vote
AAAI
1998
15 years 7 months ago
1998
AI planning techniques are beginning to find use in a number of practical planning domains. However, the backward-chaining and partial-order-planning control strategies traditiona...
134
click to vote
TYPES
2000
Springer
15 years 9 months ago
2000
Springer
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic ru...
166
click to vote
ESOP
2008
Springer
15 years 7 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...
144
click to vote
ICMAS
2000
15 years 7 months ago
2000
In this paper, I motivate, define, and illustrate the notion of computationally grounded theories of agency. A theory of agency is said to be computationally grounded if we can gi...
182
click to vote
ACL
1989
15 years 7 months ago
1989
This paper describes the referring expression generation mechanisms used in EPICURE, a computer program which produces natural language descriptions of cookery recipes. Major feat...