Springer Nature
A Proof Theory For Description Logics
Miglior prezzo disponibile
54,99$
Springer Nature · Spedizione gratuita
VISAPayPal
Prezzi aggiornati
Specifiche
MarcaSpringer Nature
CondizioneNuovo
Descrizione
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 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.
Storico prezzi
Ricevi una notifica se il prezzo scende
Ti invieremo un'email quando il prezzo di questo prodotto diminuirà.
- Aggiornamenti dei prezzi in tempo reale
- Oltre 50 negozi monitorati
- Avvisi gratuiti di calo prezzo
- Solo negozi verificati
Avvisami quando il prezzo scende sotto: 54,99$
Prodotti simili
Una selezione di prodotti che potrebbero interessarti. Guarda tutti
A Proof Theory For Description Logics
39,99$
Proof Theory For Fuzzy Logics
129,99$
R-Calculus, V: Description Logics
199,99$
Description Logics In Multimedia Reasoning
119,99$
Non-Standard Inferences In Description Logics
54,99$
Arnon Avron On Semantics And Proof Theory Of Non-Classical Logics
119,00$
Completeness Theory For Propositional Logics
54,99$
Constraints In Computational Logics: Theory And Applications
54,99$