Cargando…

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 description logics provide various inference capabilities that deduce implicit knowledge from the explicitly re...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Rademaker, Alexandre (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Springer London : Imprint: Springer, 2012.
Edición:1st ed. 2012.
Colección:SpringerBriefs in Computer Science,
Temas:
Acceso en línea:Texto Completo

Ejemplares similares