GOLOG: A logic programming language for dynamic domains
From MaRDI portal
Recommendations
Cited in
(90)- 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
- How to progress a database
- GOLOG
- ConGolog, a concurrent programming language based on the situation calculus
- Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
- Experiences with an interactive museum tour-guide robot
- An epistemic approach to nondeterminism: believing in the simplest course of events
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation
- An action language for multi-agent domains
- Verification of agent navigation in partially-known environments
- Non-terminating processes in the situation calculus
- Probabilistic reasoning about epistemic action narratives
- Regression and progression in stochastic domains
- A model of three-way decisions for knowledge harnessing
- Computing programs for generalized planning using a classical planner
- A paraconsistent approach to actions in informationally complex environments
- Asynchronous knowledge with hidden actions in the situation calculus
- Extending movilog for supporting web services
- JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming
- A formal characterisation of Hamblin's action-state semantics
- Reactive computing as model generation
- Knowledge-based programs as building blocks for planning
- scientific article; zbMATH DE number 1629871 (Why is no real title available?)
- A formalization of programs in first-order logic with a discrete linear order
- A linear meta-interpreter for reasoning about states and actions
- Reactive policies with planning for action languages
- Bounded situation calculus action theories
- Extending action language \(\mathcal{C}+\) by formalizing composite actions
- A PDL approach for qualitative velocity
- ALPprolog - a new logic programming method for dynamic domains
- Making Golog norm compliant
- Progression and verification of situation calculus agents with bounded beliefs
- A logical theory of localization
- Propositional dynamic logic for reasoning about first-class agent interaction protocols
- Integrating ASP into ROS for reasoning in robots
- Multivalued action languages with constraints in CLP(FD)
- Action programming languages.
- A Semantical Account of Progression in the Presence of Defaults
- Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
- Practical reasoning about knowledge states for open world planning with sensing
- Putting ABox updates into action
- scientific article; zbMATH DE number 1305385 (Why is no real title available?)
- cc-Golog - An Action Language with Continuous Change
- Planning under uncertainty as G<scp>OLOG</scp>programs
- scientific article; zbMATH DE number 2080347 (Why is no real title available?)
- scientific article; zbMATH DE number 1497762 (Why is no real title available?)
- scientific article; zbMATH DE number 1759735 (Why is no real title available?)
- Agent deliberation in an executable temporal framework
- Planning as tabled logic programming
- Intelligent agents in the Situation Calculus: An application to user modelling
- scientific article; zbMATH DE number 1882053 (Why is no real title available?)
- scientific article; zbMATH DE number 773989 (Why is no real title available?)
- Incorporating action models into the situation calculus
- Reasoning about actions with Temporal Answer Sets
- Advances in Artificial Intelligence – SBIA 2004
- 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
- Computational Logic in Multi-Agent Systems
- Incremental execution of guarded theories
- scientific article; zbMATH DE number 6606384 (Why is no real title available?)
- SHIP -- a logic-based language and tool to program smart environments
- Temporal disjunctive logic programming
- On methodology of representing knowledge in dynamic domains
- A description logic based situation calculus
- Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs
- The situation calculus: a case for modal logic
- Specifying and computing preferred plans
- Runtime enforcement using knowledge bases
- Excursions in first-order logic and probability: infinitely many random variables, continuous distributions, recursive programs and beyond
- Reasoning about plan revision in BDI agent programs
- Where logic and agents meet
- Abstracting situation calculus action theories
- A framework for belief-based programs and their verification
- Toward a logical theory of fairness and bias
- Linear-time temporal answer set programming
- Knowledge, action, and the frame problem
- Logic-based subsumption architecture
- Heuristic planning: A declarative approach based on strategies for action selection
- Practical solution techniques for first-order MDPs
- Reasoning about interaction protocols for customizing web service selection and composition
- Proof systems for planning under 0-approximation semantics
- Agent planning programs
- Robot location estimation in the situation calculus
- Modeling biological networks by action languages via answer set programming
- Property persistence in the situation calculus
This page was built for publication: GOLOG: A logic programming language for dynamic domains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4352529)
