Linear deductive planning

DOI10.1093/LOGCOM/6.2.233zbMATH Open0854.68091OpenAlexW2050373079MaRDI QIDQ4881298FDOQ4881298

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

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!

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)

Cited In (13)

• Title not available (Why is that?)
• How to clear a block: a theory of plans
• A deductive solution for plan generation
• Advances in Artificial Intelligence – SBIA 2004
• A new deductive approach to planning
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)