Book chapter
A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction
Description Logic, Theory Combination, and All That, pp.1-14
Lecture Notes in Computer Science, Springer International Publishing
06/01/2019
DOI: 10.1007/978-3-030-22102-7_1
Abstract
This article provides an introduction to the Festschrift that has been put together on the occasion of Franz Baader’s 60th birthday to celebrate his fundamental and highly influential scientific contributions. We start with a brief and personal overview of Franz’s career, listing some important collaborators, places, and scientific milestones, and then provide first person accounts of how each one of us came in contact with Franz and how we benefitted from his collaboration and mentoring. Our selection is not intended to be complete and it is in fact strongly biased by our own personal experience and preferences. Many of Franz’s contributions that we had to leave out are discussed in later chapters of this volume.
Details
- Title: Subtitle
- A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction
- Creators
- Carsten Lutz - University of BremenUli Sattler - University of ManchesterCesare Tinelli - University of IowaAnni-Yasmin Turhan - TU DresdenFrank Wolter - University of Liverpool
- Resource Type
- Book chapter
- Publication Details
- Description Logic, Theory Combination, and All That, pp.1-14
- Publisher
- Springer International Publishing; Cham
- Series
- Lecture Notes in Computer Science
- DOI
- 10.1007/978-3-030-22102-7_1
- eISSN
- 1611-3349
- ISSN
- 0302-9743
- Language
- English
- Date published
- 06/01/2019
- Academic Unit
- Computer Science
- Record Identifier
- 9984259423002771
Metrics
8 Record Views