Linear deductive planning

DOI10.1093/LOGCOM/6.2.233MaRDI QIDQ4881298zbMATH OpenOpenAlexFDO

Authors Gerd Große, Steffen Hölldobler, Josef Schneeberger

Publication date 9 June 1996

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/17706d8dafa1b4f85325c2dcf79c97396835b318

zbMATH Keywords

deductive planningequational Horn logic

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• A new deductive approach to planning
• Generating plans in linear logic. I: Actions as proofs
• scientific article; zbMATH DE number 18649
• Let's plan it deductively!

Cited in

(13)

• scientific article; zbMATH DE number 3986669 (Why is no real title available?)
• How to clear a block: a theory of plans
• A deductive solution for plan generation
• A new deductive approach to planning
• Advances in Artificial Intelligence – SBIA 2004
• scientific article; zbMATH DE number 1696782 (Why is no real title available?)
• scientific article; zbMATH DE number 1203398 (Why is no real title available?)
• Linearity and plan generation
• Let's plan it deductively!
• Situational calculus, linear connection proofs and STRIPS-like planning: an experimental comparison
• Artificial Intelligence and Symbolic Computation
• On Linear Logic Planning and Concurrency
• On linear logic planning and concurrency

This page was built for publication: Linear deductive planning

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