Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison

DOI10.1007/3-540-61208-4_13zbMath1412.68223OpenAlexW1602400484MaRDI QIDQ4645236

Bertram Fronhöfer

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

zbMATH Keywords

theorem provingframe problemproof searchlinear connectionHorn clause

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Uses Software

• SETHEO
• UCPOP

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