Now showing items 1-1 of 1

    • A framework for generalized syllogisms 

      Çine, Ersin (Izmir Institute of Technology, 2018-07)
      Reasoning is an indispensable action both for natural intelligence and for artificial intelligence. In automated reasoning, relatively expressive logics are used to define and derive complex facts about the real world. ...