1498 search results - page 11 / 300 » Description logic for coalitions |
CADE
2006
Springer
15 years 11 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...
109
click to vote
AISC
1998
Springer
15 years 3 months ago
1998
Springer
Effective optimisation techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. Because of the corre...
FROCOS
2009
Springer
15 years 5 months ago
2009
Springer
JAIR
2002
14 years 11 months ago
2002
CADE
1999
Springer
15 years 3 months ago
1999
Springer