Franz Baader

No bio available. Add one in Open Library.

Books by Franz Baader (50 max)

+ shelf+ list

The description logic handbook: theory, implementation, and applications

2003

Franz Baader

+ shelf+ list

Fermenta Cognitionis 1

1822

Franz Baader

+ shelf+ list

The Description Logic Handbook: Theory, Implementation, and Applications

2007

Franz Baader

+ shelf+ list

Introduction to Description Logic

2008

Franz Baader, Carsten Lutz, Uli Sattler

+ shelf+ list

Term Rewriting and All That

1999

Franz Baader

+ shelf+ list

Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)

2003

Franz Baader

+ shelf+ list

Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings

2007

Franz Baader

+ shelf+ list

Ueber die Ekstase oder das Verzucktseyn der magnetischen Schlafredner aus einem Schreiben an Herrn Carl von Meyer in Frankfurt

1818

Franz Baader

+ shelf+ list

Frontiers of combining systems: first international workshop, Munich, March 1996

1996

Franz Baader

+ shelf+ list

Term rewriting and all that

1998

Franz Baader

+ shelf+ list

KI 2001 : Advances in Artificial Intelligence Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings

2003

Franz Baader, Gerhard Brewka, Thomas Eiter

+ shelf+ list

The Description Logic Handbook

2003

Franz Baader

+ shelf+ list

Fermenta Cognitionis, Heft 1

2019

Franz Baader