ConGolog, a concurrent programming language based on the situation calculus

De Giacomo G, Lespérance Y, Levesque HJ
August 2000
Journal article
Journal:
Artificial Intelligence
Volume:
121
Issue:
1-2
,
Elsevier
,
pp.
109 - 169
No abstract available
Keywords:

4613 Theory Of Computation

,

46 Information and Computing Sciences

DOI
10.1016/s0004-3702(00)00031-x