Pages that link to "Item:Q1182155"
From MaRDI portal
The following pages link to Nonmonotonic reasoning in the framework of situation calculus (Q1182155):
Displaying 13 items.
- A unifying action calculus (Q543584) (← links)
- A unifying semantics for time and events (Q814548) (← links)
- Value minimization in circumscription (Q1274886) (← links)
- Two counterexamples related to Baker's approach to the frame problem (Q1337689) (← links)
- Representing action: indeterminacy and ramifications (Q1389538) (← links)
- Ramification and causality (Q1399132) (← links)
- Nested abnormality theories (Q1855215) (← links)
- A circumscriptive calculus of events (Q1855238) (← links)
- Applying the persistent set approach in temporal reasoning (Q1924730) (← links)
- Constrained consequence (Q1941731) (← links)
- Event calculus and temporal action logics compared (Q2457610) (← links)
- Lifschitz and Circumscription (Q2900534) (← links)
- Knowledge assimilation in domains of actions: a possible causes approach (Q3128367) (← links)
