×

GOLOG

swMATH ID: 2159
Software Authors: Levesque, Hector J.; Reiter, Raymond; Lespérance, Yves; Lin, Fangzhen; Scherl, Richard B.
Description: GOLOG: A logic programming language for dynamic domains. This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled, on the basis of user supplied axioms about the preconditions and effects of actions and the initial state of the world. This allows programs to reason about the state of the world and consider the effects of various possible courses of action before committing to a particular behavior. The net effect is that programs may be written at a much higher level of abstraction than is usually possible. The language appears well suited for applications in high level control of robots and industrial processes, intelligent software agents, discrete event simulation, etc. It is based on a formal theory of action specified in an extended version of the situation calculus. A prototype implementation in Prolog has been developed
Homepage: http://cindy.informatik.uni-bremen.de/cosy/staff/dylla/publications/Diplomarbeit/node20.html
Keywords: cognitive robotics; situation calculus
Related Software: ConGolog; AgentSpeak; METATEM; Graphplan; Jason; CCalc; PDDL; MCMAS; PVS; Maude; IndiGolog; PREGO; 2APL; KARO; 3APL; Walksat; Smodels; OTTER; Clingo; Moise+
Cited in: 158 Documents
all top 5

Cited by 233 Authors

18 Levesque, Hector J.
12 De Giacomo, Giuseppe
12 Lespérance, Yves
8 Baldoni, Matteo
8 Martelli, Alberto
8 McIlraith, Sheila A.
8 Thielscher, Michael
7 Lakemeyer, Gerhard
7 Lin, Fangzhen
7 Patti, Viviana
6 Baroglio, Cristina
6 Reiter, Ray
5 Baral, Chitta R.
5 Sardina, Sebastian
5 Scherl, Richard B.
4 Gabaldon, Alfredo
4 Giordano, Laura
4 Patrizi, Fabio
3 Belle, Vaishak
3 Dovier, Agostino
3 Logan, Brian
3 Pearce, Adrian R.
3 Reiter, Raymond
3 Sierra-Santibáñez, Josefina
3 Son, Tran Cao
2 Alechina, Natasha
2 Baier, Jorge A.
2 Beetz, Michael
2 Campo, Marcelo R.
2 do Lago Pereira, Silvio
2 Eiter, Thomas
2 Fisher, Michael
2 Formisano, Andrea
2 Fox, Dieter
2 Jenkin, Michael R. M.
2 Kelly, Ryan F.
2 Liu, Hongkai
2 Lukasiewicz, Thomas
2 Mascardi, Viviana
2 Nunes de Barros, Leliane
2 Pinto, Javier A.
2 Pirri, Fiora
2 Pontelli, Enrico
2 Sadri, Fariba
2 Schaub, Torsten H.
2 Schwind, Camilla B.
2 Shapiro, Steven
2 Spalazzi, Luca
2 Tam, Kenneth
2 Zunino, Alejandro
1 Amandi, Analía
1 Aminof, Benjamin
1 Amir, Eyal
1 Andres, Benjamin
1 Ankolekar, Anupriya
1 Aranda-Corral, Gonzalo A.
1 Autexier, Serge
1 Baader, Franz
1 Babaian, Tamara
1 Bacchus, Fahiem
1 Balduccini, Marcello
1 Barták, Roman
1 Beck, Daniel
1 Benerecetti, Massimo
1 Białek, Łukasz
1 Bienvenu, Meghyn
1 Bikakis, Antonis
1 Blom, Michelle L.
1 Bonner, Anthony J.
1 Bonzon, Pierre
1 Borrego-Díaz, Joaquín
1 Boutilier, Craig
1 Burgard, Wolfram
1 Burstein, Mark
1 Calì, Andrea
1 Calvanese, Diego
1 Carlucci Aiello, Luigia
1 Castilho, Marcos Alexandre
1 Chella, Antonio
1 Chen, Xiaoping
1 Chittaro, Luca
1 Cholvy, Laurence
1 Cremers, Armin B.
1 D’Asaro, Fabio Aurelio
1 Dastani, Mehdi M.
1 de A. Lima Neto, Eufrásio
1 de A. T. de Carvalho, Francisco
1 Delgrande, James P.
1 Demolombe, Robert
1 Dickens, Luke
1 Dix, Jurgen
1 Drescher, Conrad
1 Dunin-Kȩplicz, Barbara
1 Dworschak, Steve
1 Erdem, Esra
1 Errico, Bruno
1 Faber, Wolfgang
1 Felli, Paolo
1 Finzi, Alberto
1 Foo, Norman Y.
...and 133 more Authors

Citations by Year