Pages that link to "Item:Q1313962"
From MaRDI portal
The following pages link to Proving properties of states in the situation calculus (Q1313962):
Displaying 20 items.
- First-order logical filtering (Q543591) (← links)
- The well-designed logical robot: learning and experience from observations to the Situation Calculus (Q543604) (← links)
- Knowledge, action, and the frame problem (Q814427) (← links)
- Heuristic planning: A declarative approach based on strategies for action selection (Q814564) (← links)
- Property persistence in the situation calculus (Q991025) (← links)
- What robots can do: robot programs and effective achievability (Q1274278) (← links)
- How to progress a database (Q1402735) (← links)
- ConGolog, a concurrent programming language based on the situation calculus (Q1583234) (← links)
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem (Q1606307) (← links)
- Reasoning about time in the situation calculus (Q1924726) (← links)
- Asynchronous knowledge with hidden actions in the situation calculus (Q2344356) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Event calculus and temporal action logics compared (Q2457610) (← links)
- Existential assertions and quantum levels on the tree of the situation calculus (Q2457629) (← links)
- Planning from second principles (Q2676578) (← links)
- Propositional statecharts for agent interaction protocols (Q2848468) (← links)
- Knowledge assimilation in domains of actions: a possible causes approach (Q3128367) (← links)
- (Q4941936) (← links)
- Progression of Decomposed Local-Effect Action Theories (Q5278214) (← links)
- Temporal representation and reasoning in artificial intelligence: A review (Q5943344) (← links)
