Code: 01425944

Proof Theory for Description Logics

Name: Proof Theory for Description Logics
Brand: Springer London Ltd
SKU: 01425944
Price: 57.70 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.70 €

Print on demand
Shipping in 17 - 27 days

Add to wishlist

Návrat Krále Šumavy
12.80 € -15 %
Buy
Blueberries for Sal Cookbook: Sweet Recipes Inspired by the Beloved Children's Classic
11.29 € -25 %
Buy
Les Chamanes de la préhistoire ((Réédition))
11.69 €
Buy
Lucky Luke - Western Circus
12.70 € -16 %
Buy
Solo
22.99 €
Buy
Matisse Picasso and Gertrudis Stein: With Two Shorter Stories
18.35 € -6 %
Buy
Elora im Tal der Elfen
10.89 € -10 %
Buy
Edil's New Shoes: A tale of family, sacrifice, and reward
9.78 € -6 %
Buy
Súvislosti
3.02 € -25 %
Buy
What We Can Never Know
146.58 €
Buy
Scenic Route to Purpose
15.53 € -10 %
Buy
Decline of the Anglo-American Middle East, 1961-1969
55.58 €
Buy
Reducing Process Costs with Lean, Six Sigma, and Value Engineering Techniques
187.74 €
Pre-order
Manipulacion del Producto Pesquero a Bordo de Las Embarcaciones
34.80 € -14 %
Buy
Practical Guide to Clinical Computing Systems: Design, Operations, and Infrastructure
127.91 €
Buy
Cyborg
11.49 € -7 %
Buy
65th Conference on Glass Problems (Ceramic Engineering and Science Proceedings V26 Number 1)
130.54 € -2 %
Buy
Tonio et son ami magique
16.64 €
Buy
True Love
7.25 € -8 %
Buy
Christianity's Family Tree Participant's Guide
14.01 € -25 %
Buy
Les Fievres d'Acces Dans La Vallee de Lutzelbourg Meurthe
12.10 € -1 %
Buy
Performing Gender Violence
38.73 € -25 %
Buy
Figuraciones del deseo y coyunturas generacionales en literatura y cine postdictatorial
87.76 € -4 %
Buy
Law at War
22.19 €
Buy
Nuclear Command and Control in NATO
109.15 €
Buy
Heritage, Labour and the Working Classes
64.76 €
Buy
Das Glucksmilieu oder die Illusion des ICH
20.97 € -3 %
Buy
Peter Tutt: Zustande In Amerika (1862)
29.15 € -1 %
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 140 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.