franz baader

Die Supernasen

Die Supernasen ist einer der großen Kassenerfolge des deutschen Kinos der 80er-Jahre. Millionen p...

Description Logic Handbook

Description Logics are a family of knowledge representation languages that have been studied exte...

Description Logic Handbook

Description logics are embodied in several knowledge-based systems and are used to develop variou...

Introduction to Description Logic

Description logics (DLs) have a long tradition in computer science and knowledge representation, ...

Term Rewriting and All That

This textbook offers a unified and self-contained introduction to the field of term rewriting. It...

Introduction to Description Logic

Description logics (DLs) have a long tradition in computer science and knowledge representation, ...

Term Rewriting and All That

This textbook offers a unified and self-contained introduction to the field of term rewriting. It...

Term Rewriting and Applications

The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France...

Logic for Programming, Artificial Intelligence, and Reasoning

Fermenta cognitionis, Heft 1.

BAADER: FERMENTA COGNITIONIS1 E-BOOK

Automated Deduction - CADE-19

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, ...

KI 2001: Advances in Artificial Intelligence

This volume contains the contributions to the Joint German Austrian Con- rence on Arti?cial Intel...