-
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...
-
The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, ...
-
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 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, ...
-
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...
-
The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France...