Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł
Poczta Polska 18.99 zł
Paczkomat 13.99 zł
DPD 25.99 zł
ORLEN Paczka 10.99 zł
Jak kupować
Pomoc
Dostawa
InPost 13.99 zł
Poczta Polska 18.99 zł
Paczkomat 13.99 zł
DPD 25.99 zł
ORLEN Paczka 10.99 zł
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
Doradca ds. zakupów
Jesteśmy tu dla Ciebie!
(32) 444 93 66
Moje konto
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści.
Załóż konto bezpłatnie
▸
Pusty :-(
0
Proof Theory for Description Logics
Język
Angielski
Angielski
Książka
Miękka
Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are...
Cały opis
Kod Libristo: 01425944
?
149 b
149 b
254.38
zł
Na zamówienie
Wysyłamy za 3-5 dni
common.delivery_to
common.delivery_to
30 dni na zwrot towaru
Mogłoby Cię także zainteresować
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.
Informacje o książce
Pełna nazwa
Proof Theory for Description Logics
Autor
Alexandre Rademaker
Język
Angielski
Angielski
Oprawa
Książka - Miękka
Data wydania
2012
Liczba stron
106
EAN
9781447140016
ISBN
144714001X
Kod Libristo
01425944
Wydawnictwo
Springer London Ltd
Waga
192
Wymiary
155 x 235 x 20
Kategoria
