• Back to main document

Bibliography

BRST00

C. Boutilier, R. Reiter, M. Soutchanski, and S. Thrun.
Decision-theoretic, high-level agent programming in the situation calculus.
In Proc. of AAAI-00, pages 355-362. AAAI Press, 2000.

DFL03

Frank Dylla, Alexander Ferrein, and Gerhard Lakemeyer.
Specifying multirobot coordination in ICPGolog - from simulation towards real robots.
In AOS-4 at IJCAI-03, 2003.

DGL99

G. De Giacomo and H. Levesque.
An incremental interpreter for high-level programs with sensing.
In H. J. Levesque and F. Pirri, editors, Logical Foundation for Cognitive Agents: Contributions in Honor of Ray Reiter, pages 86-102. Springer, 1999.

DGLL00

G. De Giacomo, Y. Lésperance, and H. J. Levesque.
ConGolog, A concurrent programming language based on situation calculus.
Artificial Intelligence, 121(1-2):109-169, 2000.

FFL05

A. Ferrein, Ch. Fritz, and G. Lakemeyer.
Using golog for deliberation and team coordination in robotic soccer.
KI Künstliche Intelligenz, (1), 2005.

GL02

H. Grosskreutz and Gerhard Lakemeyer.
cc-Golog - An Action Language with Continous Change.
Logic Journal of the IGPL, 2002.

Gro00

H. Grosskreutz.
Probabilistic projection and belief update in the pgolog framework.
In Proc. 2nd Int. Cognitive Robotics Workshop, pages pages 34-41. 2000.

LRL⁺97

H. J. Levesque, R. Reiter, Y. Lesperance, F. Lin, and R. B. Scherl.
GOLOG: A logic programming language for dynamic domains.
Journal of Logic Programming, 31(1-3):59-83, 1997.

McC63

J. McCarthy.
Situations, actions and causal laws.
Technical report, Stanford University, 1963.

Rei01

R. Reiter.
Knowledge in Action.
MIT Press, 2001.

• Back to main document