Wassenaar, H. (2007) Taming Frankenstein's Logic. Master's Thesis / Essay, Artificial Intelligence.
|
Text
AI_Ma_2007_HWassenaar.CV.pdf - Published Version Download (3MB) | Preview |
Abstract
In recent years the research into hybrid logic ha.s taken flight; a number of advances have been made in axiomatizing, proof systems, completeness results and other areas. In this thesis we develop a theorem prover for infinitary hybrid logic and treat the necessary theory to achieve this.
| Item Type: | Thesis (Master's Thesis / Essay) |
|---|---|
| Degree programme: | Artificial Intelligence |
| Thesis type: | Master's Thesis / Essay |
| Language: | English |
| Date Deposited: | 15 Feb 2018 07:30 |
| Last Modified: | 15 Feb 2018 07:30 |
| URI: | https://fse.studenttheses.ub.rug.nl/id/eprint/9009 |
Actions (login required)
 |
View Item |