[email protected]
Wir antworten innerhalb von 24 Stunden
DHL Abholort 4.69 €
Hermes Kurierdienst 4.99 €
DHL-Kurier 3.99 €
Hermes-Stelle 4.49 €
GLS-Kurierdienst 3.99 €
Kontakt
Wie einkaufen
Hilfe
Versand
DHL Abholort 4.69 €
Hermes Kurierdienst 4.99 €
DHL-Kurier 3.99 €
Hermes-Stelle 4.49 €
GLS-Kurierdienst 3.99 €
Kaufberater
Wir sind für Sie da!
[email protected]
Mein Konto
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
▸
Leer :-(
0
Proof Theory for Description Logics
Sprache
Englisch
Englisch
Buch
Broschur
Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are...
Vollständige Beschreibung
Libristo-Code: 01425944
?
156 b
156 b
62.34
€
inkl. MwSt.
Beim Verlag auf Bestellung
Wir versenden in 3-5 Tagen
30 Tage für die Rückgabe der Ware
Das könnte Sie auch interessieren
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.
Informationen zum Buch
Vollständiger Name
Proof Theory for Description Logics
Autor
Alexandre Rademaker
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
2012
Anzahl der Seiten
106
EAN
9781447140016
ISBN
144714001X
Libristo-Code
01425944
Verlag
Springer London Ltd
Gewicht
192
Abmessungen
155 x 235 x 20
