Pages that link to "Item:Q4352529"
From MaRDI portal
The following pages link to GOLOG: A logic programming language for dynamic domains (Q4352529):
Displaying 50 items.
- GOLOG (Q14703) (← links)
- 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)
- 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)
- How to progress a database (Q1402735) (← links)
- ConGolog, a concurrent programming language based on the situation calculus (Q1583234) (← 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)
- An action language for multi-agent domains (Q2060726) (← 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)
- Regression and progression in stochastic domains (Q2303514) (← links)
- A model of three-way decisions for knowledge harnessing (Q2310297) (← links)
- Computing programs for generalized planning using a classical planner (Q2321292) (← links)
- A paraconsistent approach to actions in informationally complex environments (Q2330540) (← links)
- Asynchronous knowledge with hidden actions in the situation calculus (Q2344356) (← links)
- Extending movilog for supporting web services (Q2433297) (← links)
- JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming (Q2485090) (← links)
- A formal characterisation of Hamblin's action-state semantics (Q2642475) (← links)
- Knowledge-based programs as building blocks for planning (Q2667817) (← links)
- Reactive Policies with Planning for Action Languages (Q2835891) (← links)
