Ebook: A proof theory for description logics
Author: Alexandre Rademaker
- Series: SpringerBriefs in computer science
- Year: 2012
- Publisher: Springer
- City: London ; New York
- Language: English
- pdf
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
Download the book A proof theory for description logics for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)