scientific article; zbMATH DE number 1341464

MaRDI QIDQ4263003zbMATHFDO

Authors Leendert van der Torre

Publication date 22 September 1999

zbMATH Keywords

planningproof theorylabelled deductive systemsphasingdefeasible goalslabelled logic

Mathematics Subject Classification ID

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

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

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)