Sciweavers

2 search results - page 1 / 1
» A Complete, Co-inductive Syntactic Theory of Sequential Cont...
Sort
View
BIRTHDAY
2009
Springer
13 years 11 months ago
A Complete, Co-inductive Syntactic Theory of Sequential Control and State
Kristian Støvring, Søren B. Lassen
ECAI
2000
Springer
13 years 9 months ago
An Embedding of ConGolog in 3APL
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...
Koen V. Hindriks, Yves Lespérance, Hector J...