GüNsel, Christian
(2005)
A tableaux-based reasoner for temporalised description logics.
PhD thesis, University of Liverpool.
|
Text
30632572.pdf - Unspecified Download (20MB) | Preview |
| Item Type: | Thesis (PhD) |
|---|---|
| Depositing User: | Symplectic Admin |
| Date Deposited: | 30 Oct 2024 18:52 |
| Last Modified: | 31 Oct 2024 01:42 |
| DOI: | 10.17638/03186717 |
| Copyright Statement: | Copyright © and Moral Rights for this thesis and any accompanying data (where applicable) are retained by the author and/or other copyright owners. A copy can be downloaded for personal non-commercial research or study, without prior permission or charge. |
| Digitisation Notes : | A tableaux-based reasoner for temporalised description logics, University of Liverpool. Pagination starts/ends at [15-143]; Missing page on physical [36, 54, 128, 144]. |
| URI: | https://livrepository.liverpool.ac.uk/id/eprint/3186717 |
Altmetric
Altmetric
