Pages that link to "Item:Q1182155"
From MaRDI portal
The following pages link to Nonmonotonic reasoning in the framework of situation calculus (Q1182155):
Displaying 22 items.
- A unifying action calculus (Q543584) (← links)
- A unifying semantics for time and events (Q814548) (← links)
- The anomalous extension problem in default reasoning (Q1104922) (← links)
- Nonmonotonic logic and temporal projection (Q1108819) (← links)
- Knowledge representation and defeasible reasoning (Q1188702) (← 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)
- Nonmonotonic reasoning, conditional objects and possibility theory (Q1402739) (← 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)
- The dramatic true story of the frame default (Q2341259) (← 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)
- Qualitative decision theory (Q3455538) (← links)
- Frame problem in dynamic logic (Q3647228) (← links)
- Nonmonotonic reasoning with multiple belief sets (Q4632309) (← links)
- Situation calculus specifications for event calculus logic programs (Q5101452) (← links)