H ? « ‹ ← → › »

Language peer sets for Golog:
Canada↑
Canada/1993↑
Designed 1993 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

Golog(ID:2691/gol004)

alternate simple view
Country: Canada
Designed 1993
Published: 1994

1997 logic programming language for dynamic domains
Related languages
Prolog → Golog   Extension of
Golog → ccGolog   Extension of
Golog → conGolog   Evolution of
Golog → Golex   Intermediate language for
Golog → indiGOLOG   Evolution of
Golog → pGOLOG   Extension of
References:
  • Pinto, J. (1994) Pinto, J. Temporal Reasoning in the Situation Calculus. Department of Computer Science, University of Toronto, Tech. Report KRR-TR-94-1 1994
  • Pinto, J. (1994) Pinto, J. Temporal Reasoning in the Situation Calculus. PhD thesis, Department of Computer Science, University of Toronto, 1994
  • Plexousakis, Dimitris (1995) Plexousakis, Dimitris "Simulation and analysis of business processes using GOLOG" Conference on Supporting Group Work/Organizational Computing Systems Milpitas, California, United States 1995 pp311-322 Abstract DOI
  • Levesque, H.; Reiter, R.; Lesperance, Y.; Lin, F.; (1997) Levesque, H.; Reiter, R.; Lesperance, Y.; Lin, F.; and Scherl, R. "Golog: A logic programming language for dynamic domains" Copy at Citeseer Abstract
          in (1997) Journal of Logic Programming 31 1997
  • Scherl, Richard; Bieber, Michael; Vitali, Fabio (1998) Scherl, Richard; Bieber, Michael; Vitali, Fabio "A Situation Calculus Model of Hypertext" Abstract Online copy Extract: Intro
          in [Proceedings] (1999) Proceedings of CAISE'99, 1999
  • Baier, Jorge; Pinto, Javier (1999) Baier, Jorge; Pinto, Javier "Integrating True Concurrency into the Robot Programming Language" p179 Abstract Online copy
          in [Proceedings] (1999) 19th International Conference of the Chilean Computer Science Society November 11 - 13, 1999 Talca, Chile
  • Lakemeyer, G. (1999) Lakemeyer, G. "On sensing and off-line interpreting in Golog" pp173-187 1999
          in Logical Foundations for Cognitive Agents, Contr. (1999) Logical Foundations for Cognitive Agents, Contr. in Honor of Ray Reiter, 1999
  • Baral, Chitta and Son, Tran Cao (2000) Baral, Chitta and Son, Tran Cao "Extending ConGolog to allow partial ordering"
          in Jennings N.R. (1999) Jennings N.R. and Lesperance, Y. (eds), Intelligent Agents VI --- Proceedings of the Sixth International Workshop on Agent Theories, Architectures, and Languages (ATAL-99), Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 2000
  • Liu, Y; (2000) Liu, Y; "Hoare Logic For Golog Programs" PhD Toronto, Ontario Toronto Univ., 2000 Abstract
          in Jennings N.R. (1999) Jennings N.R. and Lesperance, Y. (eds), Intelligent Agents VI --- Proceedings of the Sixth International Workshop on Agent Theories, Architectures, and Languages (ATAL-99), Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 2000
  • Letia, Ioan Alfred; Precup, Doina (2001) Letia, Ioan Alfred; Precup, Doina "Developing Collaborative Golog Agents by Reinforcement Learning" p195 Abstract Online copy
          in [Proceedings] (2001) 13th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'01) November 07 - 09, 2001 Dallas, Texas
  • Reiter, Raymond (2001) Reiter, Raymond "Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems" MIT 10 2001 Abstract Buy at Amazon UK Buy at Amazon Japan Buy at Amazon Buy at Amazon Germany Buy at Amazon Canada Picture:
          in [Proceedings] (2001) 13th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'01) November 07 - 09, 2001 Dallas, Texas
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder