che-chandler.de

Description Logic Handbook

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

Introduction to Description Logic

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

Description Logic Handbook

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

Logic for Programming, Artificial Intelligence, and Reasoning

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 All That

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

Automated Deduction - CADE-19

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

Handbuch Studierendenseelsorge

Studierendengemeinden von heute – Kirche von morgen

Term Rewriting and Applications

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