Linear deductive planning
From MaRDI portal
Publication:4881298
DOI10.1093/logcom/6.2.233zbMath0854.68091OpenAlexW2050373079MaRDI QIDQ4881298
Gerd Große, Josef Schneeberger, Steffen Hölldobler
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
Logic in artificial intelligence (68T27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Related Items
Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison ⋮ Let's plan it deductively! ⋮ On linear logic planning and concurrency
This page was built for publication: Linear deductive planning