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...
Description Logics are a family of knowledge representation languages that have been studied exte...
This volume contains the contributions to the Joint German Austrian Con- rence on Arti?cial Intel...
This textbook offers a unified and self-contained introduction to the field of term rewriting. It...
This textbook offers a unified and self-contained introduction to the field of term rewriting. It...
Studierendengemeinden von heute – Kirche von morgen
Description logics are embodied in several knowledge-based systems and are used to develop variou...
Description logics (DLs) have a long tradition in computer science and knowledge representation, ...