Pages that link to "Item:Q1840653"
From MaRDI portal
The following pages link to Ability and knowing how in the situation calculus (Q1840653):
Displaying 21 items.
- Knowledge, action, and the frame problem (Q814427) (← links)
- What robots can do: robot programs and effective achievability (Q1274278) (← links)
- Resolving distributed knowledge (Q1677430) (← links)
- Reasoning about actions with loops via Hoare logic (Q1712544) (← links)
- Analyzing generalized planning under nondeterminism (Q2124464) (← links)
- Non-terminating processes in the situation calculus (Q2188782) (← links)
- Probabilistic reasoning about epistemic action narratives (Q2211870) (← 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)
- Knowledge-based programs as building blocks for planning (Q2667817) (← links)
- Indexical knowledge and robot action -- a logical account (Q2675278) (← links)
- REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION (Q3096821) (← links)
- Knowledge Preconditions for Plans (Q4316301) (← links)
- Action Under Uncertainty (Q4316302) (← links)
- KI 2003: Advances in Artificial Intelligence (Q5897301) (← links)
- Tableaux for the Logic of Strategically Knowing How (Q6118724) (← links)
- A modal loosely guarded fragment of second-order propositional modal logic (Q6169327) (← links)
- How easy it is to know how: an upper bound for the satisfiability problem (Q6545554) (← links)
- First steps in updating knowing how (Q6550518) (← links)
- Uncertainty-based semantics for multi-agent knowing how logics (Q6642564) (← links)
- Knowing how to plan about planning: higher-order and meta-level epistemic planning (Q6665710) (← links)
