Situational calculus, linear connection proofs and STRIPS-like planning: an experimental comparison

DOI10.1007/3-540-61208-4_13MaRDI QIDQ4645236zbMATH OpenOpenAlexFDO

Authors 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

linear connectionframe problemtheorem provingproof searchHorn clause

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Linear deductive planning
• scientific article; zbMATH DE number 1292302
• Fast planning through planning graph analysis
• scientific article; zbMATH DE number 1203398
• An abductive event calculus planner

Cites work

• scientific article; zbMATH DE number 3664336 (Why is no real title available?)
• scientific article; zbMATH DE number 3744581 (Why is no real title available?)
• scientific article; zbMATH DE number 3774914 (Why is no real title available?)
• scientific article; zbMATH DE number 18649 (Why is no real title available?)
• scientific article; zbMATH DE number 67452 (Why is no real title available?)
• scientific article; zbMATH DE number 89002 (Why is no real title available?)
• scientific article; zbMATH DE number 1292302 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• A deductive solution for plan generation
• A new deductive approach to planning
• Controlled integration of the cut rule into connection tableau calculi
• Linear deductive planning
• Linearity and plan generation
• Partial-order planning: Evaluating possible efficiency gains
• SETHEO: A high-performance theorem prover
• The search efficiency of theorem proving strategies

Cited in

(3)

• scientific article; zbMATH DE number 3986669 (Why is no real title available?)
• Planning with Perspectives -- Decomposing Epistemic Planning using Functional STRIPS
• Applying the mu-calculus in planning and reasoning about action

Describes a project that uses

Uses Software

• UCPOP
• SETHEO

This page was built for publication: Situational calculus, linear connection proofs and STRIPS-like planning: an experimental comparison

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4645236)