Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison
From MaRDI portal
Publication:4645236
DOI10.1007/3-540-61208-4_13zbMath1412.68223OpenAlexW1602400484MaRDI QIDQ4645236
Publication date: 10 January 2019
Published in: Theorem Proving with Analytic Tableaux and Related Methods (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61208-4_13
Uses Software
Cites Work
- A deductive solution for plan generation
- A new deductive approach to planning
- Linearity and plan generation
- SETHEO: A high-performance theorem prover
- Partial-order planning: Evaluating possible efficiency gains
- Controlled integration of the cut rule into connection tableau calculi
- Linear deductive planning
- The search efficiency of theorem proving strategies
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison