scientific article; zbMATH DE number 1341464

zbMATH Open0934.03046MaRDI QIDQ4263003FDOQ4263003

Authors: Leendert van der Torre 

Publication date: 22 September 1999

Title of this publication is not available (Why is that?)

Recommendations

• Detecting non-provable goals
• scientific article; zbMATH DE number 1964822
• scientific article; zbMATH DE number 757648
• Soft Goals Can Be Compiled Away
• Defeasible conditionalization
• From Fuzzy Beliefs to Goals

zbMATH Keywords

planningproof theorylabelled deductive systemsphasingdefeasible goalslabelled logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Cited In (1)

• Soft Goals Can Be Compiled Away

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 Q4263003)