Franz Baader: 2 books

An Introduction to Description Logic

by Franz Baader, Ian Horrocks, Carsten Lutz
Language: English
Release Date: April 7, 2017

Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely...

Term Rewriting and All That

by Franz Baader, Tobias Nipkow
Language: English
Release Date: August 5, 1999

This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, unification...