Pages that link to "Item:Q4352529"

The following pages link to GOLOG: A logic programming language for dynamic domains (Q4352529):

Displaying 25 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)
• 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)
• 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)
• Reasoning about actions with Temporal Answer Sets (Q5299584) (← links)