The description logic handbook View on Open Library

The description logic handbook

by Franz Baader

No reviews yet
First published: 2003 1 language ISBN: 9781283149402
Subjects
Description logics Handbooks, manuals Representation des connaissances COMPUTERS Expert Systems Logique de description Logic, symbolic and mathematical Knowledge representation (information theory)

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Franz Baader

Fermenta Cognitionis

Fermenta Cognitionis

Introduction to Description Logic

Introduction to Description Logic

The description logic handbook

The description logic handbook

Automated Deduction - CADE-19

Automated Deduction - CADE-19

Term Rewriting & All That

Term Rewriting & All That

Term Rewriting and Applications

Term Rewriting and Applications

You Might Also Like

More in Description logics
Kokuritsu Kokkai Toshokan shozō Meijiki kankō tosho maikuro-ban shūsei

Kokuritsu Kokkai Toshokan shozō Meijiki ...

Kokuritsu Kokkai Toshokan (Japan)
国立 国会 図書館 所蔵 明治期 刋行 図書 マイクロ版 集成

国立 国会 図書館 所蔵 明治期 刋行 図書 マイクロ版 集成

Kokuritsu Kokkai Toshokan (Japan)
The Enlightenment: an interpretation

The Enlightenment: an interpretation

Peter Gay
VHDL for logic synthesis

VHDL for logic synthesis

Andrew Rushton
Rapid prototyping of digital systems

Rapid prototyping of digital systems

James O. Hamblen
Principles of verifiable RTL design

Principles of verifiable RTL design

Lionel Bening