Description Logic, Theory Combination, and All That
user-5f03edee4c775ed682ef5237(2019)
摘要
This Festschrift has been put together on the occasion of Franz Baader’s 60th birthday to celebrate his scientific contributions. It was initiated by Anni-Yasmin Turhan, who brought in the other four editors. We contacted Franz’s friends and colleagues, asking for their contributions, and the response was enthusiastic. The result is a volume containing 30 articles from contributors all over the world, starting with an introductory article that provides our personal accounts of Franz’s career and achievements and covering many of the several scientific areas Franz has worked on: description logics, unification and matching, term rewriting, and the combination of decision procedures. Although this volume does not come close to covering all of the work that Franz has done, we hope that the reader will gain some insights into the remarkable breadth and depth of his research over the past 30+ years. We thank all contributors …
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络