Description Logic, Theory Combination, and All That
Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Editors: Lutz, C., Sattler, U., Tinelli, C., Turhan, A.-Y., Wolter, F. (Eds.)
Free Preview- Written by experts
- High-quality selected papers
- State-of-the-art research
Buy this book
- About this book
-
This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. We hope that readers will enjoy the articles gathered in Franz's honour and appreciate the breadth and depth of his favourite areas of computer science.
- Table of contents (30 chapters)
-
-
A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction
Pages 1-14
-
Hierarchic Superposition Revisited
Pages 15-56
-
Theory Combination: Beyond Equality Sharing
Pages 57-89
-
Initial Steps Towards a Family of Regular-Like Plan Description Logics
Pages 90-109
-
Reasoning with Justifiable Exceptions in $$\mathcal{E}\mathcal{L}_\bot $$ Contextualized Knowledge Repositories
Pages 110-134
-
Table of contents (30 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Description Logic, Theory Combination, and All That
- Book Subtitle
- Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
- Editors
-
- Carsten Lutz
- Uli Sattler
- Cesare Tinelli
- Anni-Yasmin Turhan
- Frank Wolter
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 11560
- Copyright
- 2019
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer Nature Switzerland AG
- eBook ISBN
- 978-3-030-22102-7
- DOI
- 10.1007/978-3-030-22102-7
- Softcover ISBN
- 978-3-030-22101-0
- Edition Number
- 1
- Number of Pages
- XIII, 662
- Number of Illustrations
- 1216 b/w illustrations, 14 illustrations in colour
- Topics