2685 search results - page 426 / 537 » A Formal Semantics for SPKI |
158
click to vote
AIPS
1996
15 years 7 months ago
1996
An increasing number of planners can handle uncertainty in the domain or in action outcomes. However, less work has addressed building plans when the planner's world can chan...
167
click to vote
AIPS
1994
15 years 7 months ago
1994
We consider the problem of representing plans for mixed-initiative planning, where several participants cooperate to develop plans. We claim that in such an environment, a crucial...
162
click to vote
EACL
1993
ACL Anthology
15 years 7 months ago
1993
ACL Anthology
The paper shows how the verbal lexicon can be formalised in a way that captures and exploits generalisations about the alternation behaviour of verb classes. An alternation is a p...
132
click to vote
COLING
1996
15 years 7 months ago
1996
2 Focus theory Pulman has shown that Higher-Order Unifcation (HOU) can be used to model the interpretation of focus. In this paper, we extend the unification based approach to case...
155
click to vote
IJCAI
1989
15 years 7 months ago
1989
This paper considers the composition of tuples from two relations in order to derive additional tuples of one of these relations. Our purpose is to determine when the composition i...