• GOLOG

  • Referenced in 170 articles [sw02159]
  • 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...
  • pGOLOG

  • Referenced in 3 articles [sw01479]
  • extension of the high-level programming language GOLOG, allows the specification of probabilistic beliefs about ... belief update, we introduce belief-based programs, GOLOG-style programs whose tests appeal...
  • POGTGolog

  • Referenced in 2 articles [sw32303]
  • Partially observable game-theoretic agent programming in golog. In this paper, we present the agent ... programming language POGTGolog (Partially Observable Game-Theoretic Golog), which integrates explicit agent programming in Golog...
  • GTGolog

  • Referenced in 2 articles [sw32304]
  • techniques. GTGolog combines explicit agent programming in Golog with multi-agent planning in stochastic games ... theory and high-level programs in the Golog framework...
  • ConGolog

  • Referenced in 48 articles [sw01801]
  • ConGolog, a concurrent programming language based on the...
  • Walksat

  • Referenced in 208 articles [sw04328]
  • GSAT and WalkSat are local search algorithms to...
  • METATEM

  • Referenced in 55 articles [sw06568]
  • MetateM: An introduction. A methodology for the use...