GOLOG: A logic programming language for dynamic domains
From MaRDI portal
Publication:4352529
DOI10.1016/S0743-1066(96)00121-5zbMath0880.68008OpenAlexW2045474169MaRDI QIDQ4352529
Richard B. Scherl, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Hector J. Levesque
Publication date: 23 October 1997
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0743-1066(96)00121-5
Related Items (68)
Reactive computing as model generation ⋮ A formalization of programs in first-order logic with a discrete linear order ⋮ Bounded situation calculus action theories ⋮ Practical solution techniques for first-order MDPs ⋮ Integrating ASP into ROS for Reasoning in Robots ⋮ Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions ⋮ Progression and verification of situation calculus agents with bounded beliefs ⋮ A logical theory of localization ⋮ Verification of agent navigation in partially-known environments ⋮ Reasoning about actions with Temporal Answer Sets ⋮ A formal characterisation of Hamblin's action-state semantics ⋮ Reasoning about interaction protocols for customizing web service selection and composition ⋮ A description logic based situation calculus ⋮ Knowledge-based programs as building blocks for planning ⋮ The situation calculus: a case for modal logic ⋮ PROPOSITIONAL DYNAMIC LOGIC FOR REASONING ABOUT FIRST-CLASS AGENT INTERACTION PROTOCOLS ⋮ Non-terminating processes in the situation calculus ⋮ Planning as tabled logic programming ⋮ Proof systems for planning under 0-approximation semantics ⋮ How to progress a database ⋮ Agent planning programs ⋮ Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs ⋮ Robot location estimation in the situation calculus ⋮ Extending movilog for supporting web services ⋮ Probabilistic reasoning about epistemic action narratives ⋮ Specifying and computing preferred plans ⋮ Agent deliberation in an executable temporal framework ⋮ Reasoning about plan revision in BDI agent programs ⋮ Where logic and agents meet ⋮ Intelligent agents in the Situation Calculus: An application to user modelling ⋮ Multivalued action languages with constraints in CLP(FD) ⋮ Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes) ⋮ Experiences with an interactive museum tour-guide robot ⋮ Modeling biological networks by action languages via answer set programming ⋮ A PDL APPROACH FOR QUALITATIVE VELOCITY ⋮ Temporal disjunctive logic programming ⋮ JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming ⋮ John McCarthy's legacy ⋮ Non-Markovian control in the Situation Calculus ⋮ A semantic characterization of a useful fragment of the situation calculus with knowledge ⋮ A new representation and associated algorithms for generalized planning ⋮ An epistemic approach to nondeterminism: believing in the simplest course of events ⋮ SHIP - A Logic-Based Language and Tool to Program Smart Environments ⋮ Property persistence in the situation calculus ⋮ Regression and progression in stochastic domains ⋮ GOLOG ⋮ A Semantical Account of Progression in the Presence of Defaults ⋮ Making Golog Norm Compliant ⋮ Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web ⋮ Situation calculus for controller synthesis in manufacturing systems with first-order state representation ⋮ An action language for multi-agent domains ⋮ A model of three-way decisions for knowledge harnessing ⋮ What robots can do: robot programs and effective achievability ⋮ Formalizing narratives using nested circumscription ⋮ Remote Agent: to boldly go where no AI system has gone before ⋮ Reasoning about nondeterministic and concurrent actions: A process algebra approach ⋮ Practical reasoning about knowledge states for open world planning with sensing ⋮ Planning under uncertainty as G<scp>OLOG</scp>programs ⋮ Reactive Policies with Planning for Action Languages ⋮ Computing programs for generalized planning using a classical planner ⋮ Putting ABox Updates into Action ⋮ A paraconsistent approach to actions in informationally complex environments ⋮ ConGolog, a concurrent programming language based on the situation calculus ⋮ Incorporating Action Models into the Situation Calculus ⋮ Asynchronous knowledge with hidden actions in the situation calculus ⋮ Knowledge, action, and the frame problem ⋮ Logic-based subsumption architecture ⋮ Heuristic planning: A declarative approach based on strategies for action selection
This page was built for publication: GOLOG: A logic programming language for dynamic domains
