Linear deductive planning
From MaRDI portal
Publication:4881298
DOI10.1093/logcom/6.2.233zbMath0854.68091MaRDI 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
68T27: Logic in artificial intelligence
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68N17: Logic programming
Related Items
Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison, On linear logic planning and concurrency, Let's plan it deductively!