Introduction to Description Logic

Description logics (DLs) have a long tradition ...

Term Rewriting and All That

This textbook offers a unified and self-contain...

Description Logic Handbook

Description Logics are a family of knowledge re...

Logic for Programming, Artificial Intelligence, and Reasoning

Term Rewriting and All That

This textbook offers a unified and self-contain...

Description Logic Handbook

Description logics are embodied in several know...

Introduction to Description Logic

Description logics (DLs) have a long tradition ...

Term Rewriting and Applications

The 18th International Conference on Rewriting ...

Fermenta cognitionis, Heft 1.

BAADER: FERMENTA COGNITIONIS1 E-BOOK

Automated Deduction - CADE-19

The refereed proceedings of the 19th Internatio...

Handbuch Studierendenseelsorge

Studierendengemeinden sind Gemeinden auf Zeit u...

KI 2001: Advances in Artificial Intelligence

This volume contains the contributions to the J...