Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

Proof Theory for Description Logics

Language EnglishEnglish
Book Paperback
Book Proof Theory for Description Logics Alexandre Rademaker
Libristo code: 01425944
Publishers Springer London Ltd, May 2012
Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are... Full description
? points 147 b
59.99 € VAT included
Print on demand Shipping in 17-27 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

Les Fievres d'Acces Dans La Vallee de Lutzelbourg Meurthe Schwing-N-P / Book Paperback
common.buy 13.19 €
Tonio et son ami magique Meilliez / Book Paperback
common.buy 17.09 €
Súvislosti Pavol Stanislav / Book Paperback
common.buy 3.79 €
UVA ALIMENTOS SANOS VALPIANA / Book Book
common.buy 7.09 €
Návrat Krále Šumavy Žák David Jan / Audio Audio CD
common.buy 13.89 €
Les Chamanes de la préhistoire ((Réédition)) Jean Clottes / Book Paperback
common.buy 12.09 €
Peter Tutt: Zustande In Amerika (1862) Adelbert Baudissin / Book Paperback
common.buy 31.79 €
Lucky Luke - Western Circus René Goscinny / Book Hardback
common.buy 15.00 €
Solo Vonda Shepard / Audio Audio CD
common.buy 23.89 €
True Love Kai-Uwe Freudenberger / Book Paperback
common.buy 7.90 €
Elora im Tal der Elfen Renate Schweitzer / Book Paperback
common.buy 11.99 €
Das Glucksmilieu oder die Illusion des ICH Pepe Holzer / Book Hardback
common.buy 21.79 €
Manipulacion del Producto Pesquero a Bordo de Las Embarcaciones Fabián Chavarría Solera / Book Paperback
common.buy 36.49 €

Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantic. 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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Proof Theory for Description Logics
Author Alexandre Rademaker
Language English
Binding Book - Paperback
Date of issue 2012
Number of pages 106
EAN 9781447140016
ISBN 144714001X
Libristo code 01425944
Publishers Springer London Ltd
Weight 192
Dimensions 155 x 235 x 20

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Databases > Data capture & analysis
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Blueberries for Sal Cookbook: Sweet Recipes Inspired by the Beloved Children's Classic MCCLOSKEY ROBERT / Book Hardback
common.buy 12.69 €
Edil's New Shoes: A tale of family, sacrifice, and reward Xingyu Wei / Book Paperback
common.buy 10.69 €
Cyborg Anna Hackett / Book Paperback
common.buy 12.59 €
Matisse Picasso and Gertrudis Stein: With Two Shorter Stories Gertrude Stein / Book Paperback
common.buy 20.09 €
Practical Guide to Clinical Computing Systems: Design, Operations, and Infrastructure Thomas Payne / Book Paperback
common.buy 132.49 €
Christianity's Family Tree Participant's Guide Adam Hamilton / Book Paperback
common.buy 15.79 €
Figuraciones del deseo y coyunturas generacionales en literatura y cine postdictatorial Moises Park / Book Hardback
common.buy 91.59 €
Law at War Ammunition United States. Department of the Army Allocations Committee / Book Paperback
common.buy 23.99 €
Nuclear Command and Control in NATO Shaun R. Gregory / Book Hardback
common.buy 118.29 €
Coming soon
Reducing Process Costs with Lean, Six Sigma, and Value Engineering Techniques Kim H Pries / Book Hardback
common.buy 195.49 €
65th Conference on Glass Problems (Ceramic Engineering and Science Proceedings V26 Number 1) Drummond III / Book Paperback
common.buy 142.59 €
What We Can Never Know David Gamez / Book Hardback
common.buy 159.89 €
Heritage, Labour and the Working Classes Laurajane Smith / Book Paperback
common.buy 70.19 €
Draughtsmen, Botanists and Nature: Kärin Nickelsen / Book Hardback
common.buy 107.29 €
Decline of the Anglo-American Middle East, 1961-1969 Tore T. Petersen / Book Paperback
common.buy 59.79 €
Soul Mates Jenny Smedley / Book Paperback
common.buy 19.89 €
Performing Gender Violence Barbara Ozieblo / Book Hardback
common.buy 43.59 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?