Logic Engineering. The Case of Description and Hybrid Logics

Authors	C.E. Areces
Supervisors	J.F.A.K. van Benthem
Cosupervisors	M. de Rijke
Award date	12-10-2000
ISBN	90577G-0533
Publisher	Amsterdam: ILLC dissertation series 2000-05
Organisations	Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type	PhD thesis
Note	Research conducted at: ILLC
Language	English
Downloads	Thesis Cover Titlepage Contents Acknowledgments Abstract Samenvatting Part I Logic Engineering Chapter 1 Cutting Out Fragments Part II Two Kingdoms Chapter 2 Introducing Description Logics Chapter 3 Introducing Hybrid Logics Chapter 4 The Connection Part III Going Places Chapter 5 Improving Reasoning Methods Chapter 6 Investigating Expressive Power Chapter 7 Mapping Out Complexity Part IV The Things We've Learned Chapter 8 Conclusions Bibliography Index Titles in the ILL Dissertation Series Cover
Permalink to this page

Back

UvA-DARE