Items related to A Proof Theory for Description Logics (SpringerBriefs...
Synopsis
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.
From the Back Cover
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.
"About this title" may belong to another edition of this title.
Buy New
View this item
£ 41.16
£ 2.38 shipping from Italy to United Kingdom
Destination, rates & speedsOther Popular Editions of the Same Title
Search results for A Proof Theory for Description Logics (SpringerBriefs...
Stock Image
A Proof Theory for Description Logics
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 106 | Sprache: Englisch | Produktart: Sonstiges. Seller Inventory # 12007945/12
Quantity: 1 available
Stock Image
A Proof Theory for Description Logics (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 4 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # 65c0b231896e841ff43a5bd6edfa11a0
Quantity: Over 20 available
Seller Image
A Proof Theory for Description Logics
Published by
SPRINGER NATURE Mai 2012, 2012
ISBN 10: 144714001X
ISBN 13: 9781447140016
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
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
Quantity: 2 available
Seller Image
A Proof Theory for Description Logics
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage 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
Quantity: 2 available
Seller Image
A Proof Theory for Description Logics
Published by
Springer London, 2012
ISBN 10: 144714001X
ISBN 13: 9781447140016
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: New. Seller Inventory # 4184833
Quantity: Over 20 available
Stock Image
A Proof Theory for Description Logics
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 118 16 Illus. Seller Inventory # 51009803
Quantity: 4 available
Stock Image
A Proof Theory for Description Logics
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 118. Seller Inventory # 2658582740
Quantity: 4 available
Stock Image
A Proof Theory for Description Logics
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 118. Seller Inventory # 1858582750
Quantity: 4 available
Stock Image
A Proof Theory for Description Logics
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 106 pages. 9.25x6.20x0.25 inches. In Stock. Seller Inventory # zk144714001X
Quantity: 1 available
Stock Image
A Proof Theory for Description Logics (SpringerBriefs in Computer Science)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Like New. Like New. book. Seller Inventory # ERICA796144714001X6
Quantity: 1 available