The following pages link to (Q4028811):
Displaying 11 items.
- Metatheory of actions: beyond consistency (Q1028966) (← links)
- Frames in the space of situations (Q1174513) (← links)
- Proving properties of states in the situation calculus (Q1313962) (← links)
- Two counterexamples related to Baker's approach to the frame problem (Q1337689) (← links)
- Nested abnormality theories (Q1855215) (← links)
- A circumscriptive calculus of events (Q1855238) (← links)
- Alternative action theory. Simultaneously a critique of Georg Henrik von Wright's practical philosophy. Translated from the German by Jacques Zwart (Q1975744) (← links)
- Lifschitz and Circumscription (Q2900534) (← links)
- The ramification problem in temporal databases: Concurrent execution (Q3563646) (← links)
- A Complete Axiomatization for Blocks World (Q4434615) (← links)
- On Action Theory Change (Q5190270) (← links)