Greedy default logic

DOI10.13328/J.CNKI.JOS.005066zbMATH Open1399.03006MaRDI QIDQ4640960FDOQ4640960

Authors: Bo Chen, Yuefei Sui, Cungen Cao 

Publication date: 25 May 2018

Recommendations

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

zbMATH Keywords

Gentzen systemdefault logicGD-extensionpseudo-formula

Mathematics Subject Classification ID

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

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)