7 search results - page 2 / 2 » Alternating states for dual nondeterminism in imperative pro... |
102
click to vote
IJCAI
1997
14 years 10 months ago
1997
As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...
116
click to vote
KR
1991
Springer
15 years 28 days ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...