Image from Amazon.com
A proof theory for description logics / Alexandre Rademaker
Material type:
TextSeries: SpringerBriefs in computer sciencePublication details: London ; New York : Springer, c2012.Description: x, 106p. ; 21cmISBN: - 9781447140016
- 144714001X
Contents:
Introduction -- Background -- The Sequent Calculus for ALC -- Comparing SC ALC SC with Other ALC Deduction Systems -- A Natural Deduction for ALC -- Towards a Proof Theory for ALCQI -- Proofs and Explanations -- A Prototype Theorem Prover -- Conclusion.
| Item type | Current library | Home library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Book
|
LIC(LABUAN INTERNATIONAL CAMPUS) LIC General Collection | LIC(LABUAN INTERNATIONAL CAMPUS) LIC General Collection | Q335 . R33 2012 (Browse shelf(Opens below)) | 1 | Available | 1000323990 |
Includes bibliographical references.
Introduction -- Background -- The Sequent Calculus for ALC -- Comparing SC ALC SC with Other ALC Deduction Systems -- A Natural Deduction for ALC -- Towards a Proof Theory for ALCQI -- Proofs and Explanations -- A Prototype Theorem Prover -- Conclusion.