Greedy default logic

DOI10.13328/J.CNKI.JOS.005066MaRDI QIDQ4640960zbMATH OpenFDO

Authors Bo Chen, Yuefei Sui, Cungen Cao

Publication date 25 May 2018

Full work available at URL https://doi.org/10.13328/J.CNKI.JOS.005066

zbMATH Keywords

default logicGD-extensionGentzen systempseudo-formula

Mathematics Subject Classification ID

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

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)