Items related to A Proof Theory for Description Logics (SpringerBriefs...
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.
- PublisherSpringer
- Publication date2012
- ISBN 10 144714001X
- ISBN 13 9781447140016
- BindingPaperback
- Number of pages116
Buy New
Learn more about this copy
US$ 58.98
Shipping:
US$ 24.63
From Germany to U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
A Proof Theory for Description Logics
Published by
SPRINGER NATURE Mai 2012
(2012)
ISBN 10: 144714001X
ISBN 13: 9781447140016
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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
Buy New
US$ 58.98
Convert currency
Seller Image
A Proof Theory for Description Logics
Published by
Humana Press
(2012)
ISBN 10: 144714001X
ISBN 13: 9781447140016
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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 # 9781447140016
Buy New
US$ 62.25
Convert currency
Stock Image
A Proof Theory for Description Logics (SpringerBriefs in Computer Science)
Seller:
Rating
Book Description Condition: new. Seller Inventory # FrontCover144714001X
Buy New
US$ 98.61
Convert currency
Seller Image
A Proof Theory for Description Logics
Published by
Springer London
(2012)
ISBN 10: 144714001X
ISBN 13: 9781447140016
New
Kartoniert / Broschiert
Quantity: > 20
Seller:
Rating
Book Description Kartoniert / Broschiert. Condition: New. Seller Inventory # 4184833
Buy New
US$ 53.75
Convert currency
Stock Image
A Proof Theory for Description Logics
Published by
Springer Verlag
(2012)
ISBN 10: 144714001X
ISBN 13: 9781447140016
New
Paperback
Quantity: 1
Seller:
Rating
Book Description Paperback. Condition: Brand New. 106 pages. 9.25x6.20x0.25 inches. In Stock. Seller Inventory # zk144714001X
Buy New
US$ 97.39
Convert currency
Stock Image
A Proof Theory for Description Logics (SpringerBriefs in Computer Science)
Seller:
Rating
Book Description Paperback. Condition: new. New Copy. Customer Service Guaranteed. Seller Inventory # think144714001X
Buy New
US$ 124.48
Convert currency