1 Ebooks von Alexandre Rademaker
Alexandre Rademaker: A Proof Theory for Description Logics
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 descriptio …
PDF
Englisch
€53.49
