CADE
15 years 9 months ago
2006 Springer  CADE
15 years 9 months ago
2006 Springer
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...
CADE
15 years 9 months ago
2006 Springer
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...
CADE
15 years 9 months ago
2006 Springer 
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...
CADE
15 years 9 months ago
2006 Springer |
Logical Reasoning