9145 search results - page 2 / 1829 » Description Logic Systems |
CADE
2006
Springer
14 years 8 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
14 years 2 months ago
2009
Springer
JAIR
2002
13 years 7 months ago
2002
CADE
1999
Springer
13 years 12 months ago
1999
Springer
TABLEAUX
1999
Springer
13 years 12 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.