1588 search results - page 55 / 318 » Modular action language |
130
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
The behavior of an agent is defined through the specification of plans and actions. Agents have a set of plans that are selected to be executed according to their goals (and other...
109
click to vote
ACL
2009
15 years 9 days ago
2009
In this paper, we present a reinforcement learning approach for mapping natural language instructions to sequences of executable actions. We assume access to a reward function tha...
118
Voted
HYBRID
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
117
click to vote
DOCENG
2004
ACM
15 years 8 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
124
click to vote
POPL
1996
ACM
15 years 6 months ago
1996
ACM
Module systems are a powerful, practical tool for managing the complexity of large software systems. Previous attempts to formulate a type-theoretic foundation for modular program...