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
Molecular Mechanisms of Hormone Action
$84.99
Modeling and Control of Logical Discrete Event Systems
$84.99
Beginning Robotics Programming in Java with LEGO Mindstorms
$69.99
Madeline Finn: Madeline Finn and the Therapy Dog
$6.71
Die Budgetrechnung als Lenkungsinstrument der Geschftsleitung einer Universalbank
$64.99
Introduction to Dynamics of Structures and Earthquake Engineering
$119.00
Fundamentals of Traffic Simulation
$229.00
The Urban Logistic Network
$179.99
Marktrisiken
$19.99
Wahlen und Whlerverhalten
$39.99
Frontiers in Clinical Neuroscience
$84.99
Integrated Formal Methods
$39.99
Sozialpsychologie der Partnerschaft
$89.99
Modern Thoraco-Lumbar Implants for Spinal Fusion
$109.99
Lorentzian Geometry and Related Topics
$109.99
Management unternehmerischer Handlungspotentiale
$49.99
Neonatal Screening for Inborn Errors of Metabolism
$129.00
The Impact of European Employment Strategy in Greece and Portugal
$39.99
Co-Evolution of Standards in Innovation Systems
$129.00
Operator Calculus and Spectral Theory
$39.99
Juvenile Delinquency and the Limits of Western Influence, 1850-2000
$109.99
Faith, Finance, and Economy
$31.00
Kooperation und Innovation fr eine nachhaltige Stadtentwicklung
$89.99
Impact of Scientific Computing on Science and Society
$219.99
Computational Science and Its Applications - ICCSA 2003
$84.99
Focal Points in Framed Games
$54.99
Human Work Interaction Design
$169.99
Systematische Planung anwendungsspezifischer Materialflusteuerung
$59.99
Online Multiplayer Games
$19.99
Communication Systems
$169.99
Phytoplankton Ecology
$84.99
Tuberculosis in Adults and Children
$24.99
The Archaeology of Science
$39.99
Reusable Firmware Development
$79.99
Elektrotechnik im Maschinenbau
$49.99
Dialogue and Learning in Mathematics Education
$84.99
Big Data Management
$159.99
I Survived - Graphix: Sobreviv los ataques del 11 de septiembre de 2001
$8.24
Hybrid Massive MIMO Precoding in Cloud-RAN
$129.99
Experimental Psychopharmacology
$169.99
