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

3 avg rating
( 1 ratings by Goodreads )
 
9781447140016: A Proof Theory for Description Logics (SpringerBriefs in Computer Science)

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.

"synopsis" may belong to another edition of this title.

Buy New View Book
List Price: US$ 59.95
US$ 52.04

Convert Currency

Shipping: FREE
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Alexandre Rademaker
Published by Springer London Ltd, United Kingdom (2012)
ISBN 10: 144714001X ISBN 13: 9781447140016
New Paperback Quantity Available: 1
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description Springer London Ltd, United Kingdom, 2012. Paperback. Book Condition: New. 2012 ed.. Language: English . Brand New Book. 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. Bookseller Inventory # LIB9781447140016

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 52.04
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Alexandre Rademaker
Published by Springer London Ltd, United Kingdom (2012)
ISBN 10: 144714001X ISBN 13: 9781447140016
New Paperback Quantity Available: 1
Seller:
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description Springer London Ltd, United Kingdom, 2012. Paperback. Book Condition: New. 2012 ed.. Language: English . Brand New Book. 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. Bookseller Inventory # LIB9781447140016

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 56.12
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

Alexandre Rademaker
Published by Springer London Ltd (2012)
ISBN 10: 144714001X ISBN 13: 9781447140016
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer London Ltd, 2012. PAP. Book Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IQ-9781447140016

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 52.14
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

4.

Rademaker, Alexandre
Published by Springer (2016)
ISBN 10: 144714001X ISBN 13: 9781447140016
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer, 2016. Paperback. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9781447140016_lsuk

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 52.41
Convert Currency

Add to Basket

Shipping: US$ 5.15
From United Kingdom to U.S.A.
Destination, Rates & Speeds

5.

Alexandre Rademaker
Published by Springer London Ltd (2012)
ISBN 10: 144714001X ISBN 13: 9781447140016
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer London Ltd, 2012. PAP. Book Condition: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # LQ-9781447140016

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 47.36
Convert Currency

Add to Basket

Shipping: US$ 11.99
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

ALEXANDRE RADEMAKER
Published by Springer (2012)
ISBN 10: 144714001X ISBN 13: 9781447140016
New Paperback Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2012. Paperback. Book Condition: NEW. 9781447140016 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Bookseller Inventory # HTANDREE0299358

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 49.39
Convert Currency

Add to Basket

Shipping: US$ 10.66
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

Alexandre Rademaker
Published by Springer London 2012-05-17, London (2012)
ISBN 10: 144714001X ISBN 13: 9781447140016
New paperback Quantity Available: > 20
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Springer London 2012-05-17, London, 2012. paperback. Book Condition: New. Bookseller Inventory # 9781447140016

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 55.67
Convert Currency

Add to Basket

Shipping: US$ 7.99
From United Kingdom to U.S.A.
Destination, Rates & Speeds

8.

Alexandre Rademaker
Published by Springer (2012)
ISBN 10: 144714001X ISBN 13: 9781447140016
New Softcover Quantity Available: 1
Seller:
Rating
[?]

Book Description Springer, 2012. Book Condition: New. Bookseller Inventory # L9781447140016

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 62.90
Convert Currency

Add to Basket

Shipping: US$ 3.51
From Germany to U.S.A.
Destination, Rates & Speeds

9.

Rademaker, Alexandre
Published by Springer 2012-05-18 (2012)
ISBN 10: 144714001X ISBN 13: 9781447140016
New Quantity Available: 5
Seller:
Chiron Media
(Wallingford, United Kingdom)
Rating
[?]

Book Description Springer 2012-05-18, 2012. Book Condition: New. Brand new book, sourced directly from publisher. Dispatched within 2 working days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Bookseller Inventory # NU-BNT-01045387

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 69.06
Convert Currency

Add to Basket

Shipping: US$ 3.98
From United Kingdom to U.S.A.
Destination, Rates & Speeds

10.

Rademaker, Alexandre
Published by Springer (2012)
ISBN 10: 144714001X ISBN 13: 9781447140016
New Paperback Quantity Available: 10
Print on Demand
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 2012. Paperback. Book Condition: New. This item is printed on demand. Bookseller Inventory # INGM9781447140016

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 68.25
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book