scientific article; zbMATH DE number 1341464

zbMATH Open0934.03046MaRDI QIDQ4263003FDOQ4263003

Leendert van der Torre

Publication date: 22 September 1999

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

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

Recommendations

• Defeasible conditionalization 👍 👎
• Soft Goals Can Be Compiled Away 👍 👎
• From Fuzzy Beliefs to Goals 👍 👎
• Detecting non-provable goals 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)