Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei
Easybox 20 lei
Cargus 25 lei
FAN 25 lei
Cum să cumpăr
Ajutor
Livrare
Packeta 15 lei
Easybox 20 lei
Cargus 25 lei
FAN 25 lei
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Consilier de cumpărături
Suntem aici pentru tine!
031 22 95 182
Contul meu
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje
Creați-vă un cont gratuit
▸
Gol :-(
0
Proof Theory for Description Logics
Limba
engleză
engleză
Carte
Carte broșată
Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are...
Descrierea completă
Codul Libristo: 01425944
?
142 b
142 b
288
lei
La editor doar la comandă
Expediem în 3-5 zile
30 de zile pentru retur bunuri
Ar putea de asemenea, să te intereseze
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.
Informații despre carte
Titlu complet
Proof Theory for Description Logics
Autor
Alexandre Rademaker
Limba
engleză
engleză
Legare
Carte - Carte broșată
Data publicării
2012
Număr pagini
106
EAN
9781447140016
ISBN
144714001X
Codul Libristo
01425944
Editura
Springer London Ltd
Greutatea
192
Dimensiuni
155 x 235 x 20
