Automated deduction for projection elimination.

MaRDI QIDQ3570083zbMATH OpenFDO

Authors Christoph Wernhard

Publication date 24 June 2010

zbMATH Keywords

first-order logicknowledge representationprojection operatorsecond-order logicknowledge compilationDPLL procedure

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• Tableaux for projection computation and knowledge compilation
• Literal Projection for First-Order Logic
• Projection in constraint logic programming (Diss., TU Berlin)
• Second-order quantifier elimination. Foundations, computational aspects and applications
• Projection and scope-determined circumscription

Cited in

(3)

• scientific article; zbMATH DE number 408798 (Why is no real title available?)
• Tableaux for projection computation and knowledge compilation
• Literal Projection for First-Order Logic

This page was built for publication: Automated deduction for projection elimination.

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