Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

A Proof Theory for Description Logics

A Proof Theory for Description Logics

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9781447140016
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Die Gemeinde und ihr Territorium

$59.99

Oligodendrocytes

$199.99

Berichte zu Pflanzenschutzmitteln 2009

$29.99

Dokumentation in der Mess- und Prftechnik

$29.99

Katalyse in der Organischen Chemie

$59.99

Surface Phonons

$54.99

Drug and Alcohol Abuse

$54.99

Japans Rush to the Pacific War

$129.99

Medien, Geschichte und Wahrnehmung

$34.99

Betty Crocker Simply Delicious Diabetes Cookbook- 160+ Nutritious Recipes for Foods You Love by Betty Crocker Editors

$24.99

Der Patient als Kunde und Konsument

$39.99

Principles of Distributed Systems

$39.99

In the Light of Medieval Spain

$84.99

Der Mythenjger

$39.99

Finite Volumes for Complex Applications VII-Methods and Theoretical Aspects

$109.99

Advanced Data Mining and Applications

$74.99

Angeborene Anomalien Lichtdermatosen Pflanengifte Thermische Schdigungen Einfluss Innerer Strun

$59.99

Critical Management Research in Eastern Europe

$109.99

Technological Innovation for Cyber-Physical Systems

$109.99

The Philosophy of History

$109.99

Finanzmarkt ohne Grenzen?

$74.99

Basic Concepts in Enhanced Oil Recovery Processes

$219.99

Depression und Manie

$39.99

Die Eigenschaften der Stoffe: Suszeptibilitten und Transportkoeffizienten

$17.99

Verkehrsdynamik

$159.99

Hypermedia Systems and Applications

$54.99

The Nuclear Age in Popular Media

$119.99

Systematische Bibliographie von Zeitungen, Zeitschriften und Bchern zur politischen und gesellschaf

$49.99

The Nation of Islam, Louis Farrakhan, and the Men Who Follow Him

$109.99

Noch mehr Analysis

$29.99

Japans Population Implosion

$159.99

Experimental Physics Compact for Scientists

$64.99

Whistle For Willie (Hardcover)

$17.95

Politikwissenschaft trifft Politikdidaktik

$74.99

Information Systems Development

$329.99

The Construction Superintendents Handbook

$179.99

Progress in Artificial Intelligence

$79.99

Meshless Methods in Solid Mechanics

$39.99

Numerische Mathematik

$29.99