Reasoning in Description Logics
| Thesis title in Czech: | Usuzování v deskriptivní logice |
|---|---|
| Thesis title in English: | Reasoning in Description Logics |
| Key words: | Deskriptivní logika, dokazovač, kartézský součin, nemonotónní usuzování |
| English key words: | Description logic, Reasoner, Cartesian product, Non-monotonic reasoning |
| Academic year of topic announcement: | 2004/2005 |
| Thesis type: | dissertation |
| Thesis language: | angličtina |
| Department: | Department of Theoretical Computer Science and Mathematical Logic (32-KTIML) |
| Supervisor: | doc. RNDr. Antonín Kučera, CSc. |
| Author: | hidden - assigned and confirmed by the Study Dept. |
| Date of registration: | 01.10.2004 |
| Date of assignment: | 01.10.2004 |
| Date and time of defence: | 21.01.2013 13:00 |
| Date of electronic submission: | 04.09.2012 |
| Date of submission of printed version: | 03.09.2012 |
| Date of proceeded defence: | 21.01.2013 |
| Opponents: | prof. doc. PhDr. Alena Lukasová, CSc. |
| Ing. Petr Křemen, Ph.D. | |