Browsing by Subject Knowledge representation
Showing results 1 to 3 of 3
| Issue Date | Title | Author(s) |
|---|---|---|
| Nov-2014 | Computer representation of building codes for automated compliance checking | Macit, Sibel |
| 2017 | An extended syllogistic logic for automated reasoning | Çine, Ersin; Kumova, Bora İsmail |
| 2018 | Syllogistic knowledge bases with description logic reasoners | Çine, Ersin |