scientific article
From MaRDI portal
Publication:3976054
zbMath0758.03017MaRDI QIDQ3976054
M. Masseron, Jacqueline Vauzeilles, Christophe Tollu
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
sequentsconcrete actionformal actionpseudo-planfragment of intuitionistic linear logicplanification problems
Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Other applications of logic (03B80)
Related Items
On proof normalization in linear logic ⋮ Default reasoning by deductive planning ⋮ Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison ⋮ Generating plans in linear logic. I: Actions as proofs ⋮ Generating plans in linear logic. II: A geometry of conjunctive actions ⋮ Let's plan it deductively! ⋮ Connection-based proof construction in linear logic ⋮ On linear logic planning and concurrency
