Linear deductive planning

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

zbMATH Keywords

deductive planningequational Horn logic

Mathematics Subject Classification ID

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