Greedy default logic

DOI10.13328/J.CNKI.JOS.005066MaRDI QIDQ4640960zbMATHFDO

Authors Bo Chen, Yuefei Sui, Cungen Cao

Publication date 25 May 2018

zbMATH Keywords

Gentzen systemdefault logicGD-extensionpseudo-formula

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 124281
• Some results on default logic
• On extensions of general default theories
• General Default Logic
• scientific article; zbMATH DE number 4160167

This page was built for publication: Greedy default logic

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