Browsing by Subject Automated reasoning
Showing results 1 to 4 of 4
| Issue Date | Title | Author(s) |
|---|---|---|
| 2017 | An extended syllogistic logic for automated reasoning | Çine, Ersin; Kumova, Bora İsmail |
| Jul-2018 | A framework for generalized syllogisms | Çine, Ersin |
| 2010 | The fuzzy syllogistic system | Kumova, Bora İsmail ; Çakır, Hüseyin |
| 2018 | Syllogistic knowledge bases with description logic reasoners | Çine, Ersin |