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

DOI10.1007/3-540-61208-4_13zbMATH Open1412.68223OpenAlexW1602400484MaRDI QIDQ4645236FDOQ4645236

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

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

zbMATH Keywords

linear connectionframe problemtheorem provingproof searchHorn clause

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• SETHEO: A high-performance theorem prover
• Title not available (Why is that?)
• A deductive solution for plan generation
• A new deductive approach to planning
• Linearity and plan generation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear deductive planning
• The search efficiency of theorem proving strategies
• Controlled integration of the cut rule into connection tableau calculi
• Partial-order planning: Evaluating possible efficiency gains
• Title not available (Why is that?)

Cited In (3)

• Title not available (Why is that?)
• Planning with Perspectives -- Decomposing Epistemic Planning using Functional STRIPS
• Applying the mu-calculus in planning and reasoning about action

Uses Software

• SETHEO
• UCPOP

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)