Sattler, Uli

An introduction to description logic

by Baader, Franz, Horrocks, Ian, Lutz, Carsten, Sattler, Uli

0 Type: Book

Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logi…

An introduction to description logic

by Horrocks, Ian, Lutz, Carsten, Sattler, Uli, Baader, Franz von

0 Type: Book

"Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the log…

An introduction to description logic

by Baader, Franz, Horrocks, Ian, Lutz, Carsten, Sattler, Uli

0 Type: Book

"Description logic (DL) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DL have recently gained increased importance since they form the logica…

An introduction to description logic

by Baader, Franz, Horrocks, Ian, Lutz, Carsten, Sattler, Uli

0 Type: Book

Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logi…

An introduction to description logic

by Baader, Franz, Horrocks, Ian, Lutz, Carsten, Sattler, Uli

0 Type: Book

Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logi…

Automated reasoning: 6th International Joint Conference, IJCAR 2012, M…

by Sattler, Uli, IJCAR (Conference), Manchester, England), Gramlich, Bernhard,, Dr.rer.nat, Miller, Dale, (Dale A.)

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated …

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, M…

by Miller, Dale, Sattler, Uli, Gramlich, Bernhard

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated …