1582 search results - page 25 / 317 » On Higher-Order Description Logics |
DLOG
2007
13 years 10 months ago
2007
We introduce a description language for specifying partial ordering relations over concept descriptions in description logics, and show how the language can be used in combination ...
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...
AISC
1998
Springer
14 years 21 days 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...
AAAI
2012
11 years 11 months ago
2012
In recent years, several systems have been proposed that learn the rules of a simple card or board game solely from visual demonstration. These systems were constructed for speciï...
FROCOS
2009
Springer
14 years 3 months ago
2009
Springer