Franz Baader - Böcker

The Description Logic Handbook

Theory, Implementation and Applications

An Introduction to Description Logic

Term Rewriting and All That

An Introduction to Description Logic

Fermenta Cognitionis, Heft 1.

Logic for Programming, Artificial Intelligence, and Reasoning

11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Automated Deduction - CADE-19

19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

KI 2001: Advances in Artificial Intelligence

Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings

Term Rewriting and Applications

18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings

Franz von Baader's sämtliche Werke

Philosophische Schriften

Band 4

Philosophische Schriften

Band 5