Master your Minecraft
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Tour our stores


    Recently Viewed clear list


    Best Books of the Year | December 9, 2014

    Aubrey: IMG Best YA Fiction of 2014



    So what is with all the hullabaloo about young adult literature these days? Do we have John Green to blame for getting us sucked in to the tragic... Continue »

    spacer
Qualifying orders ship free.
$59.95
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
8 Remote Warehouse Mathematics- Logic and Philosophy

More copies of this ISBN

A Proof Theory for Description Logics (Springerbriefs in Computer Science)

by

A Proof Theory for Description Logics (Springerbriefs in Computer Science) Cover

 

Synopses & Reviews

Publisher Comments:

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.

Table of Contents

Introduction.- Background.- Sequent Calculus for ALC.- Comparing SCalc with other ALC Deduction Systems.- Natural Deduction for ALC.-

Product Details

ISBN:
9781447140016
Author:
Rademaker, Alexandre
Publisher:
Springer
Subject:
Logic
Subject:
Description logics
Subject:
Natural deduction
Subject:
Proof theory
Subject:
Sequent calculus
Subject:
Mathematical Logic and Formal Languages
Subject:
Mathematics of Computing
Subject:
Computers-Reference - General
Copyright:
Edition Description:
2012
Series:
SpringerBriefs in Computer Science
Publication Date:
20120528
Binding:
TRADE PAPER
Language:
English
Pages:
116
Dimensions:
235 x 155 mm

Related Subjects

Computers and Internet » Computers Reference » General
Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » Logic and Philosophy

A Proof Theory for Description Logics (Springerbriefs in Computer Science) New Trade Paper
0 stars - 0 reviews
$59.95 In Stock
Product details 116 pages Springer - English 9781447140016 Reviews:
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.