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
DPD courier 4.99 € GLS courier 11.49 €
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 140 b
57.91 €
Print on demand Shipping in 17-27 days

30-day return policy

Customers also purchased

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

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

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

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?