View of Automated Deduction in Propositional Logic for Knowledge Base Validation: Ensuring Consistency and Completeness

Return to Article Details Automated Deduction in Propositional Logic for Knowledge Base Validation: Ensuring Consistency and Completeness Download Download PDF