Browsing Department of Mathematics by Subject "Modus Tollens"

EMU I-REP

Browsing Department of Mathematics by Subject "Modus Tollens"

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 ...