Alexandre Rademaker – författare
Visar alla böcker från författaren Alexandre Rademaker. Handla med fri frakt och snabb leverans.
2 produkter
Proof Theory for Description Logics
Häftad, 2012
545 kr
Lägg i varukorg
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 logics provide various inference capabilities that deduce implicit knowledge from the explicitly …
Proof Theory for Description Logics
E-bok, 2012
755 kr
Lägg i varukorg
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 logics provide various inference capabilities that deduce implicit knowledge from the explicitly …
