Proof Theory for Description Logics

Name: Proof Theory for Description Logics
Brand: Springer London Ltd
SKU: 9781447140016
Price: 56.22 EUR
Availability: InStock

Autor: Alexandre Rademaker

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer London Ltd

Dostupnosť: U vydavateľa na objednávku

Odosielame za 17-27 dní

56.22 €

Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are...

Informácie o knihe

Autor

Alexandre Rademaker

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2012

Stránok

106

EAN

9781447140016

ISBN

144714001X

Enbook ID

01425944

Vydavateľ

Springer London Ltd

Hmotnosť

192

Rozmery

155 x 235 x 20

Kompletný popis

Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantic. Knowledge representation systems based on description logics provide various inference capabilities that deduce implicit knowledge from the explicitly represented knowledge.§A Proof Theory for Description Logics introduces Sequent Calculi and Natural Deduction for some DLs (ALC, ALCQ). Cut-elimination and Normalization are proved for the calculi. The author argues that such systems can improve the extraction of computational content from DLs proofs for explanation purposes.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Proof Theory for Description Logics

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež