Télécharger le livre :  A Proof Theory for Description Logics
Ajouter à ma liste d'envies
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...

Editeur : Springer
Parution : 2012-05-17
Collection : SpringerBriefs in Computer Science
ePub

52,74