Pages that link to "Item:Q922685"
From MaRDI portal
The following pages link to A new deductive approach to planning (Q922685):
Displaying 22 items.
- John McCarthy's legacy (Q543573) (← links)
- A semantic characterization of a useful fragment of the situation calculus with knowledge (Q543586) (← links)
- A deductive solution for plan generation (Q578927) (← links)
- A history based approximate epistemic action theory for efficient postdictive reasoning (Q893597) (← links)
- A new methodology for developing deduction methods (Q1037405) (← links)
- On linear logic planning and concurrency (Q1041042) (← links)
- How to clear a block: a theory of plans (Q1100936) (← links)
- Reasoning about actions: steady versus stabilizing state constraints (Q1274697) (← links)
- Let's plan it deductively! (Q1274761) (← links)
- The logic of totally and partially ordered plans: A deductive database approach (Q1370626) (← 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)
- Planning from second principles (Q2676578) (← links)
- Planning with natural actions in the situation calculus (Q2734938) (← links)
- Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic (Q3449236) (← links)
- An abductive event calculus planner (Q4484729) (← links)
- (Q4533359) (← links)
- Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison (Q4645236) (← links)
- (Q4708296) (← links)
- Linear deductive planning (Q4881298) (← links)
