Search results

Record: oai:ARNO:90207

1

Author C.E. Areces Title Logic Engineering. The Case of Description and Hybrid Logics Promotor J.F.A.K. van Benthem Co-promotor M. de Rijke Date 12-10-2000 Publisher ILLC dissertation series 2000-05 Place Amsterdam Year 2000 ISBN 90 577G-053 3 Faculty Faculty of Science Institute/dept. FNWI: Institute for Logic, Language and Computation (ILLC) Classification - Language English Document type Dissertation Download papers 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 Document finder Use this url to link to this page: http://dare.uva.nl/en/record/90207 Contact us about this recordNotify a colleague Add to bookbag

• Disclaimer/Complaints regulations
  If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the University Library know, stating your reasons. In case of a legitimate complaint the University Libary will make the material inaccessible and/or remove it from the website.
  Please send an e-mail to: dare@uva.nl, or a letter to: Bibliotheek van de Universiteit van Amsterdam, Dept. Electronic Services, UvA-DARE, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.

• UvA-DARE is a service of the Library of the University of Amsterdam and is part of a national and international network of scientific and scholarly information services.