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

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

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

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

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

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

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

This volume contains the papers presented at the 19th International Conference on Automated Deduc...

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

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