Published: 2022-05-01

Articles

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

Moulaye Ould Ahmed, Cheikh Mohamed Aafi (Author)

1-17

PDF