Avoiding non-ground variables

DOI10.1007/3-540-48747-6_9MaRDI QIDQ4262999zbMATH OpenFDO

Authors Stefan Brüning, Torsten Schaub

Publication date 9 May 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48747-6_9

zbMATH Keywords

knowledge representationreasoning

Mathematics Subject Classification ID

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

Recommendations

• Default reasoning via blocking sets
• Toward efficient default reasoning
• 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: Avoiding non-ground variables

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