scientific article; zbMATH DE number 1341460

MaRDI QIDQ4262999zbMATH OpenFDO

Authors Stefan Brüning, Torsten Schaub

Publication date 9 May 2000

zbMATH Keywords

knowledge representationreasoning

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 1453066
• scientific article; zbMATH DE number 1390355
• A comparative survey of default logic variants
• scientific article; zbMATH DE number 762062
• scientific article; zbMATH DE number 611096

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 Q4262999)