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; 3APL; KARO; Walksat; Smodels; OTTER; Clingo; Moise+ Cited in: 157 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year GOLOG: A logic programming language for dynamic domains. Zbl 0880.68008Levesque, Hector J.; Reiter, Raymond; Lespérance, Yves; Lin, Fangzhen; Scherl, Richard B. 1997 all top 5 Cited by 230 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 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. 1 Fritz, Christian ...and 130 more Authors all top 5 Cited in 30 Serials 31 Artificial Intelligence 9 Annals of Mathematics and Artificial Intelligence 4 Studia Logica 4 Theory and Practice of Logic Programming 3 Journal of Logic and Computation 3 The Journal of Artificial Intelligence Research (JAIR) 2 The Journal of Logic Programming 2 International Journal of Approximate Reasoning 2 Logic Journal of the IGPL 2 Fundamenta Informaticae 2 Computer Languages, Systems & Structures 2 ACM Transactions on Computational Logic 2 Journal of Applied Logic 1 Journal of Philosophical Logic 1 Theoretical Computer Science 1 New Generation Computing 1 Robotics and Autonomous Systems 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Artificial Intelligence Review 1 Journal of Logic, Language and Information 1 Constraints 1 Journal of the ACM 1 The Journal of Logic and Algebraic Programming 1 Computational Intelligence 1 Frontiers in Artificial Intelligence and Applications 1 Lecture Notes in Computer Science 1 Studies in Computational Intelligence 1 Applied Mathematical Sciences (Ruse) 1 Logical Methods in Computer Science 1 Science China. Information Sciences all top 5 Cited in 9 Fields 152 Computer science (68-XX) 28 Mathematical logic and foundations (03-XX) 7 Systems theory; control (93-XX) 3 Operations research, mathematical programming (90-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 History and biography (01-XX) 1 Statistics (62-XX) 1 Mechanics of particles and systems (70-XX) 1 Mathematics education (97-XX) Citations by Year