Code: 01425944

Proof Theory for Description Logics

Name: Proof Theory for Description Logics
Brand: Springer London Ltd
SKU: 01425944
Price: 57.54 EUR
Availability: BackOrder
Author: Alexandre Rademaker
ISBN: 9781447140016

by Alexandre Rademaker

Language: English
Binding: Paperback
Number of pages: 106
Publisher: Springer London Ltd, 2012
More about this

57.54 €

Print on demand
Shipping in 17 - 27 days

Add to wishlist

Návrat Krále Šumavy
12.83 € -15 %
Buy
Blueberries for Sal Cookbook: Sweet Recipes Inspired by the Beloved Children's Classic
11.32 € -25 %
Buy
Das Erbe des Weißen Wolfs
16.27 €
Buy
Matisse Picasso and Gertrudis Stein: With Two Shorter Stories
18.40 € -6 %
Buy
Les Chamanes de la préhistoire ((Réédition))
10.81 €
Buy
Lucky Luke - Western Circus
12.73 € -16 %
Buy
Dnewnik, kotorogo ne bylo
52.38 € -14 %
Buy
Solo
23.05 €
Buy
Elora im Tal der Elfen
10.91 € -10 %
Buy
Les Fievres d'Acces Dans La Vallee de Lutzelbourg Meurthe
12.13 € -1 %
Buy
Nuclear Command and Control in NATO
109.42 €
Buy
What We Can Never Know
143.81 €
Buy
Excursions d'Une Francaise Dans La Regence de Tunis (Ed.1884)
22.85 €
Buy
Decline of the Anglo-American Middle East, 1961-1969
60.06 €
Buy
Heritage, Labour and the Working Classes
67.95 €
Buy
Cyborg
11.52 € -7 %
Buy
Christianity's Family Tree Participant's Guide
14.05 € -25 %
Buy
Draughtsmen, Botanists and Nature:
102.95 € -7 %
Buy
Law at War
22.24 €
Buy
Edil's New Shoes: A tale of family, sacrifice, and reward
9.80 € -6 %
Buy
Practical Guide to Clinical Computing Systems: Design, Operations, and Infrastructure
131.67 €
Buy
Súvislosti
3.02 € -25 %
Buy
Manipulacion del Producto Pesquero a Bordo de Las Embarcaciones
34.88 € -14 %
Buy
Das Glucksmilieu oder die Illusion des ICH
20.72 €
Buy
65th Conference on Glass Problems (Ceramic Engineering and Science Proceedings V26 Number 1)
130.15 € -10 %
Buy
Tonio et son ami magique
15.56 €
Buy
Figuraciones del deseo y coyunturas generacionales en literatura y cine postdictatorial
87.98 € -4 %
Buy
Women in Moroccan Cinema
24.16 € -2 %
Buy
Reducing Process Costs with Lean, Six Sigma, and Value Engineering Techniques
203.48 €
Pre-order
Kleinere Schriften und Briefe
31.24 € -11 %
Buy
Soul Mates
18.30 €
Buy
Performing Gender Violence
38.83 € -25 %
Buy
True Love
7.27 € -8 %
Buy
Peter Tutt: Zustande In Amerika (1862)
29.22 € -1 %
Buy
UVA ALIMENTOS SANOS
6.77 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Proof Theory for Description Logics

Book details
Synopsis
Trending among others

You get 139 loyalty points

Book synopsis

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.