A proof theory for description logics

dc.contributor.author	Rademaker, Alexandre	en_US
dc.date.accessioned	2017-08-08T09:13:19Z
dc.date.available	2017-08-08T09:13:19Z
dc.date.issued	2012	en_US
dc.identifier.isbn	9781447140023	en_US
dc.identifier.isbn	1447140028	en_US
dc.identifier.isbn	144714001X	en_US
dc.identifier.isbn	9781447140016	en_US
dc.identifier.other	HPU5160362	en_US
dc.identifier.uri	https://lib.hpu.edu.vn/handle/123456789/26358
dc.description.abstract	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	en_US
dc.format.extent	109 p.	en_US
dc.format.mimetype	application/pdf	en_US
dc.language.iso	en	en_US
dc.publisher	Springer	en_US
dc.subject	Description logics	en_US
dc.subject	Computer science	en_US
dc.subject	A proof theory for description logics	en_US
dc.title	A proof theory for description logics	en_US
dc.type	Book	en_US
dc.size	1,562Kb	en_US
dc.department	Technology	en_US