Pages that link to "Item:Q3158539"

The following pages link to Some contributions to the metatheory of the situation calculus (Q3158539):

Displaying 20 items.

• Bounded situation calculus action theories (Q286407) (← links)
• Progression and verification of situation calculus agents with bounded beliefs (Q310089) (← links)
• John McCarthy's legacy (Q543573) (← links)
• Non-Markovian control in the Situation Calculus (Q543575) (← links)
• A unifying action calculus (Q543584) (← links)
• Iterated belief change in the situation calculus (Q543588) (← links)
• The well-designed logical robot: learning and experience from observations to the Situation Calculus (Q543604) (← links)
• A description logic based situation calculus (Q604908) (← links)
• Knowledge, action, and the frame problem (Q814427) (← links)
• Property persistence in the situation calculus (Q991025) (← links)
• Inductive situation calculus (Q1028914) (← links)
• Metatheory of actions: beyond consistency (Q1028966) (← links)
• Situation calculus for controller synthesis in manufacturing systems with first-order state representation (Q2060723) (← links)
• Partially observable game-theoretic agent programming in Golog (Q2300459) (← links)
• Asynchronous knowledge with hidden actions in the situation calculus (Q2344356) (← links)
• Existential assertions and quantum levels on the tree of the situation calculus (Q2457629) (← links)
• A formal characterisation of Hamblin's action-state semantics (Q2642475) (← links)
• Making Golog Norm Compliant (Q3092308) (← links)
• Planning under uncertainty as G<scp>OLOG</scp>programs (Q4467045) (← links)
• Progression of Decomposed Local-Effect Action Theories (Q5278214) (← links)