Editors:
- Written by experts
- High-quality selected papers
- State-of-the-art research
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11560)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (30 chapters)
-
Front Matter
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.
Keywords
- artificial intelligence
- combination of theories
- complexity theory
- databases
- description logic
- formal languages
- formal logic
- knowledge representation
- knowledge-based system
- ontologies
- problem solving
- programming languages
- query languages
- semantic web
- semantics
- software engineering
- theorem proving
- unification
- World Wide Web
Editors and Affiliations
-
University of Bremen, Bremen, Germany
Carsten Lutz
-
University of Manchester, Manchester, UK
Uli Sattler
-
University of Iowa, Iowa City, USA
Cesare Tinelli
-
TU Dresden, Dresden, Germany
Anni-Yasmin Turhan
-
University of Liverpool, Liverpool, UK
Frank Wolter
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: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-22102-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2019
Softcover ISBN: 978-3-030-22101-0Published: 01 June 2019
eBook ISBN: 978-3-030-22102-7Published: 25 June 2019
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 662
Number of Illustrations: 1216 b/w illustrations, 14 illustrations in colour
Topics: Mathematical Logic and Formal Languages, Artificial Intelligence, Logics and Meanings of Programs, Computer Appl. in Administrative Data Processing, Software Engineering/Programming and Operating Systems, Information Systems and Communication Service