1 द्वारा ईबुक 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
अंग्रेज़ी
€53.49
