123
Voted
CADE
16 years 2 months ago
2006 Springer  132
click to vote
CADE
16 years 2 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 ...
113
click to vote
CADE
16 years 2 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...
122
click to vote
CADE
16 years 2 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 ...
|
Logical Reasoning