A Proof Theory for Description Logics

by Alexandre Rademaker

Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantics. Knowledge representation systems based on description... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 144714001X
• ISBN13: 9781447140016
• Release Date: May 2012
• Publisher: Springer
• Length: 106 Pages
• Weight: 0.50 lbs.
• Dimensions: 0.3" x 6.1" x 9.0"