Publication:3976054
From MaRDI portal
zbMath0758.03017MaRDI QIDQ3976054
M. Masseron, Jacqueline Vauzeilles, Christophe Tollu
Publication date: 26 June 1992
sequents; concrete action; formal action; pseudo-plan; fragment of intuitionistic linear logic; planification problems
03B70: Logic in computer science
03F05: Cut-elimination and normal-form theorems
03B20: Subsystems of classical logic (including intuitionistic logic)
03B80: Other applications of logic
Related Items
Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison, Connection-based proof construction in linear logic, On linear logic planning and concurrency, Let's plan it deductively!, On proof normalization in linear logic, Generating plans in linear logic. I: Actions as proofs, Generating plans in linear logic. II: A geometry of conjunctive actions, Default reasoning by deductive planning