Automated deduction for projection elimination.

zbMATH Open1200.68227MaRDI QIDQ3570083FDOQ3570083

Authors: Christoph Wernhard 

Publication date: 24 June 2010

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

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)

Cited In (3)

• Title not available (Why is that?)
• 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)