Stock up on textbooks with 40% off + FREE shipping or choose from thousands of Protocols eBooks at just 9.99 each!

Theoretical Computer Science and General Issues Lect.Notes ComputerFestschrift

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
see more benefits

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-030-22102-7
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.99
price for USA in USD
  • ISBN 978-3-030-22101-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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)

Table of contents (30 chapters)
  • A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction

    Pages 1-14

    Lutz, Carsten (et al.)

  • Hierarchic Superposition Revisited

    Pages 15-56

    Baumgartner, Peter (et al.)

  • Theory Combination: Beyond Equality Sharing

    Pages 57-89

    Bonacina, Maria Paola (et al.)

  • Initial Steps Towards a Family of Regular-Like Plan Description Logics

    Pages 90-109

    Borgida, Alexander

  • Reasoning with Justifiable Exceptions in $$\mathcal{E}\mathcal{L}_\bot $$ Contextualized Knowledge Repositories

    Pages 110-134

    Bozzato, Loris (et al.)

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-030-22102-7
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.99
price for USA in USD
  • ISBN 978-3-030-22101-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

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