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)
View all copies of this ISBN edition:
 
 

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$ 69.99
US$ 51.09

Convert currency

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

Destination, rates & speeds

Add to Basket

Other Popular Editions of the Same Title

9781447140023: Proof Theory for Description Logics (Springerbriefs in Computer Science)

Featured Edition

ISBN 10:  1447140028 ISBN 13:  9781447140023
Publisher: Not Avail, 2014
Softcover

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. 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. Seller Inventory # LIB9781447140016

More information about this seller | Contact this seller

Buy New
US$ 51.09
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:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description Springer London Ltd, United Kingdom, 2012. Paperback. 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. Seller Inventory # LIB9781447140016

More information about this seller | Contact this seller

Buy New
US$ 55.53
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

3.

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. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9781447140016_lsuk

More information about this seller | Contact this seller

Buy New
US$ 51.10
Convert currency

Add to Basket

Shipping: US$ 5.03
From United Kingdom to U.S.A.
Destination, rates & speeds

4.

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

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

More information about this seller | Contact this seller

Buy New
US$ 58.25
Convert currency

Add to Basket

Shipping: US$ 3.16
From Germany to U.S.A.
Destination, rates & speeds

5.

Alexandre Rademaker (author)
Published by Springer London 2012-05-18, 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-18, London, 2012. paperback. Condition: New. Seller Inventory # 9781447140016

More information about this seller | Contact this seller

Buy New
US$ 52.25
Convert currency

Add to Basket

Shipping: US$ 9.74
From United Kingdom to U.S.A.
Destination, rates & speeds

6.

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

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

More information about this seller | Contact this seller

Buy New
US$ 62.15
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

7.

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

Book Description Springer-Verlag Gmbh Mai 2012, 2012. Taschenbuch. Condition: Neu. Neuware - 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. 106 pp. Englisch. Seller Inventory # 9781447140016

More information about this seller | Contact this seller

Buy New
US$ 58.25
Convert currency

Add to Basket

Shipping: US$ 13.57
From Germany to U.S.A.
Destination, rates & speeds

8.

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. 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. Seller Inventory # HTANDREE0299358

More information about this seller | Contact this seller

Buy New
US$ 66.88
Convert currency

Add to Basket

Shipping: US$ 10.36
From United Kingdom to U.S.A.
Destination, rates & speeds

9.

Alexandre Rademaker
Published by Springer-Verlag Gmbh Mai 2012 (2012)
ISBN 10: 144714001X ISBN 13: 9781447140016
New Taschenbuch Quantity Available: 1
Seller:
BuchWeltWeit Inh. Ludwig Meier e.K.
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description Springer-Verlag Gmbh Mai 2012, 2012. Taschenbuch. Condition: Neu. Neuware - 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. 106 pp. Englisch. Seller Inventory # 9781447140016

More information about this seller | Contact this seller

Buy New
US$ 58.25
Convert currency

Add to Basket

Shipping: US$ 19.38
From Germany to U.S.A.
Destination, rates & speeds

10.

Alexandre Rademaker
Published by Springer-Verlag Gmbh Mai 2012 (2012)
ISBN 10: 144714001X ISBN 13: 9781447140016
New Taschenbuch Quantity Available: 1
Seller:
Rheinberg-Buch
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description Springer-Verlag Gmbh Mai 2012, 2012. Taschenbuch. Condition: Neu. Neuware - 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. 106 pp. Englisch. Seller Inventory # 9781447140016

More information about this seller | Contact this seller

Buy New
US$ 58.25
Convert currency

Add to Basket

Shipping: US$ 19.38
From Germany to U.S.A.
Destination, rates & speeds

There are more copies of this book

View all search results for this book