9145 search results - page 2 / 1829 » Description Logic Systems |
78
Voted
CADE
2006
Springer
15 years 10 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...
FROCOS
2009
Springer
15 years 4 months ago
2009
Springer
JAIR
2002
14 years 10 months ago
2002
67
Voted
CADE
1999
Springer
15 years 2 months ago
1999
Springer
58
Voted
TABLEAUX
1999
Springer
15 years 2 months ago
1999
Springer
In this paper we present the results of applying HAM-ALC, a description logic system for ALCNR, to modal logic SAT problems.