Browsing Department of Mathematics by Subject "Normal Forms"

EMU I-REP

Browsing Department of Mathematics by Subject "Normal Forms"

Sort by: Order: Results:

  • Propositional Logic for Knowledge Representation and Formalization of Reasoning 
    Rasol, Kurdman Abdulrahman (Eastern Mediterranean University (EMU). Doğu Akdeniz Universitesi (DAÜ), 2017-06)
    The purpose of this master thesis is to investigate the basic concepts of propositional logic for knowledge representation and formalization of reasoning in Artificial Intelligence. The different properties of logical ...