Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
A Proof Theory for Description Logics
Best Price (Coupon Required):
Buy A Proof Theory for Description Logics for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
North American Critical Theory After Postmodernism
$109.99
Strategic Human Resource Planning Applications
$39.99
Die Hoffnungen der Auguren: Techniken der Sozialprognose im Amerika des Kalten Krieges
$79.99
COVID-19 and Perinatology
$79.99
Artificial Intelligence and Industrial Applications
$279.99
Universal Multiservice Networks
$54.99
LAN Lokale PC-Netzwerke
$69.95
Korruption im ffentlichen Raum
$64.99
Satellite Navigation Systems
$219.99
Effects of Accumulation of Air Pollutants in Forest Ecosystems
$169.99
In the Desert
$3.71
An Extended Entity-Relationship Model
$39.99
Remarkable Me: You Be You
$4.46
Anti-Spam Measures
$39.99
Multi-Sensor Data Fusion
$89.00
Erfolgreiche Einstze von Interim-Managern im Personalwesen
$17.99
Wie aus Ideen Bilder werden
$69.99
Vagaler Herztonus und Herzfrequenz unter dem Einflu von Injektionsanaesthetika
$69.99
Laser/Optoelektronik in der Technik / Laser/Optoelectronics in Engineering
$59.99
Authenticity
$59.99
Die Gehirnerschtterung
$119.99
eCommerce and the Effects of Technology on Taxation
$39.99
Advances in Core Computer Science-Based Technologies
$109.99
Structures and Norms in Science
$219.99
Praxiswissen Digitale Gebudeautomation
$69.99
Logic Programming with Prolog
$49.99
Reading Plato through Jung
$39.99
debbie tucker green
$119.99
African American Religious Life and the Story of Nimrod
$54.99
Wrmediagramme fr grotechnische Kontaktprozesse
$59.99
Proceedings of 2nd International Conference on Computer Vision & Image Processing
$129.00
Creating Reusable Learning Objects
$39.99
Intelligent Systems and Networks
$139.00
China Engages Latin America
$119.99
Interdisciplinary Topics in Applied Mathematics, Modeling and Computational Science
$109.99
Fluorescence Angiography in Ophthalmology
$179.99
Computer Science Logic
$39.99
Domesticity in the Making of Modern Science
$99.00
Global Perspectives on the Health of Seeds and Plant Propagation Material
$109.99
Ethics in Public Life
$54.99
