scientific article; zbMATH DE number 1341464

zbMATH Open0934.03046MaRDI QIDQ4263003

Leendert W. N. van der Torre

Publication date: 22 September 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

proof theoryplanninglabelled deductive systemsphasingdefeasible goalslabelled logic

Mathematics Subject Classification ID

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

Related Items (1)

Soft Goals Can Be Compiled Away

Recommendations

• Defeasible conditionalization 👍 👎
• From Fuzzy Beliefs to Goals 👍 👎
• Soft Goals Can Be Compiled Away 👍 👎
• Detecting non-provable goals 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: