scientific article; zbMATH DE number 18649

MaRDI QIDQ3976054zbMATH OpenFDO

Authors M. Masseron, Christophe Tollu, Jacqueline Vauzeilles

Publication date 26 June 1992

zbMATH Keywords

concrete actionformal actionfragment of intuitionistic linear logicplanification problemspseudo-plansequents

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Logic in computer science (03B70) Other applications of logic (03B80) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Generating plans in linear logic. I: Actions as proofs
• Plans, actions and dialogues using linear logic
• Generating plans in linear logic. II: A geometry of conjunctive actions
• On Linear Logic Planning and Concurrency
• On linear logic planning and concurrency

Cited in

(22)

• Plans, actions and dialogues using linear logic
• On linear logic planning and concurrency
• Linearity and plan generation
• 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
• The logic of tasks
• The propositional logic of elementary tasks
• Default reasoning by deductive planning
• On Linear Logic Planning and Concurrency
• scientific article; zbMATH DE number 1203398 (Why is no real title available?)
• scientific article; zbMATH DE number 1292302 (Why is no real title available?)
• scientific article; zbMATH DE number 1305704 (Why is no real title available?)
• scientific article; zbMATH DE number 1351101 (Why is no real title available?)
• Situational calculus, linear connection proofs and STRIPS-like planning: an experimental comparison
• Linear deductive planning
• Connection-based proof construction in linear logic
• Computer Science Logic
• Linear logic as a tool for planning under temporal uncertainty
• Artificial Intelligence and Symbolic Computation
• A deductive solution for plan generation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3976054)