Pages that link to "Item:Q922685"
From MaRDI portal
The following pages link to A new deductive approach to planning (Q922685):
Displaying 12 items.
- John McCarthy's legacy (Q543573) (← links)
- A semantic characterization of a useful fragment of the situation calculus with knowledge (Q543586) (← links)
- A history based approximate epistemic action theory for efficient postdictive reasoning (Q893597) (← links)
- On linear logic planning and concurrency (Q1041042) (← links)
- Reasoning about actions: steady versus stabilizing state constraints (Q1274697) (← links)
- Let's plan it deductively! (Q1274761) (← links)
- Ramification and causality (Q1399132) (← links)
- The qualification problem: A solution to the problem of anomalous models (Q1606323) (← links)
- Default reasoning by deductive planning (Q1896366) (← links)
- Event calculus and temporal action logics compared (Q2457610) (← links)
- Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic (Q3449236) (← links)
- Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison (Q4645236) (← links)
