Proof Theory for Description Logics

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

Autor: Alexandre Rademaker

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer London Ltd

Dostupnost: U nakladatele na objednávku

Odesíláme za 17-27 dnů

1 357 Kč

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

Informace o knize

Autor

Alexandre Rademaker

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2012

Stránek

106

EAN

9781447140016

ISBN

144714001X

Enbook ID

01425944

Vydavatel

Springer London Ltd

Hmotnost

192

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Proof Theory for Description Logics

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také