The following pages link to GOLOG (Q14703):
Displayed 50 items.
- Reactive computing as model generation (Q264957) (← links)
- A formalization of programs in first-order logic with a discrete linear order (Q274400) (← links)
- Bounded situation calculus action theories (Q286407) (← links)
- Progression and verification of situation calculus agents with bounded beliefs (Q310089) (← links)
- A logical theory of localization (Q310092) (← links)
- Agent deliberation in an executable temporal framework (Q456706) (← links)
- John McCarthy's legacy (Q543573) (← links)
- Non-Markovian control in the Situation Calculus (Q543575) (← links)
- A semantic characterization of a useful fragment of the situation calculus with knowledge (Q543586) (← links)
- A new representation and associated algorithms for generalized planning (Q543617) (← links)
- Programming rational agents in a modal action logic (Q596475) (← links)
- On the semantics of deliberation in IndiGolog -- from theory to implementation (Q596477) (← links)
- A description logic based situation calculus (Q604908) (← links)
- The situation calculus: a case for modal logic (Q616039) (← links)
- Specifying and computing preferred plans (Q646542) (← links)
- Reasoning about plan revision in BDI agent programs (Q655407) (← links)
- Where logic and agents meet (Q657584) (← links)
- Knowledge, action, and the frame problem (Q814427) (← links)
- Logic-based subsumption architecture (Q814558) (← links)
- Heuristic planning: A declarative approach based on strategies for action selection (Q814564) (← links)
- Practical solution techniques for first-order MDPs (Q835833) (← links)
- Reasoning about interaction protocols for customizing web service selection and composition (Q861301) (← links)
- Proof systems for planning under 0-approximation semantics (Q893736) (← links)
- Agent planning programs (Q899440) (← links)
- Robot location estimation in the situation calculus (Q901076) (← links)
- Modeling biological networks by action languages via answer set programming (Q941667) (← links)
- Property persistence in the situation calculus (Q991025) (← links)
- What robots can do: robot programs and effective achievability (Q1274278) (← links)
- Formalizing narratives using nested circumscription (Q1274680) (← links)
- Remote Agent: to boldly go where no AI system has gone before (Q1274747) (← links)
- Reasoning about nondeterministic and concurrent actions: A process algebra approach (Q1277769) (← links)
- Scheduling in the situation calculus: A case study (Q1376099) (← links)
- The independent choice logic for modelling multiple agents under uncertainty (Q1391346) (← links)
- Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning (Q1397237) (← links)
- How to progress a database (Q1402735) (← links)
- ConGolog, a concurrent programming language based on the situation calculus (Q1583234) (← links)
- Temporal representation and reasoning in artificial intelligence: Issues and approaches (Q1601842) (← links)
- Reasoning about noisy sensors and effectors in the situation calculus (Q1606305) (← links)
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem (Q1606307) (← links)
- Web-based adaptive tutoring: An approach based on logic agents and reasoning about actions (Q1768894) (← links)
- Ability and knowing how in the situation calculus (Q1840653) (← links)
- Plan-based control of robotic agents. Improving the capabilities of autonomous robots (Q1855609) (← links)
- Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes) (Q1978240) (← links)
- Experiences with an interactive museum tour-guide robot (Q1978435) (← links)
- An epistemic approach to nondeterminism: believing in the simplest course of events (Q2009766) (← links)
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation (Q2060723) (← links)
- Verification of agent navigation in partially-known environments (Q2144175) (← links)
- Non-terminating processes in the situation calculus (Q2188782) (← links)
- Probabilistic reasoning about epistemic action narratives (Q2211870) (← links)
- Partially observable game-theoretic agent programming in Golog (Q2300459) (← links)