The following pages link to How to progress a database (Q1402735):
Displaying 27 items.
- 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)
- A semantic characterization of a useful fragment of the situation calculus with knowledge (Q543586) (← links)
- First-order logical filtering (Q543591) (← links)
- A description logic based situation calculus (Q604908) (← links)
- Semantical considerations on multiagent only knowing (Q892188) (← links)
- Proof systems for planning under 0-approximation semantics (Q893736) (← links)
- Robot location estimation in the situation calculus (Q901076) (← links)
- Property persistence in the situation calculus (Q991025) (← links)
- What robots can do: robot programs and effective achievability (Q1274278) (← links)
- ConGolog, a concurrent programming language based on the situation calculus (Q1583234) (← links)
- Belief revision and projection in the epistemic situation calculus (Q1680698) (← links)
- On syntactic forgetting under uniform equivalence (Q2055801) (← links)
- On the limits of forgetting in answer set programming (Q2211850) (← links)
- Regression and progression in stochastic domains (Q2303514) (← links)
- Forgetting in multi-agent modal logics (Q2321251) (← links)
- Asynchronous knowledge with hidden actions in the situation calculus (Q2344356) (← links)
- Forgetting in ASP: The Forgotten Properties (Q2835900) (← links)
- Simulating Dynamic Systems Using Linear Time Calculus Theories (Q2931258) (← links)
- Action Theories over Generalized Databases with Equality Constraints (Q2938514) (← links)
- A Semantical Account of Progression in the Presence of Defaults (Q3637332) (← links)
- When you must forget: Beyond strong persistence when forgetting in answer set programming (Q4592710) (← links)
- A Syntactic Operator for Forgetting that Satisfies Strong Persistence (Q5108521) (← links)
- Progression of Decomposed Local-Effect Action Theories (Q5278214) (← links)
- On strongest necessary and weakest sufficient conditions (Q5941135) (← links)
- On the progression of belief (Q6136086) (← links)
