1545 search results - page 25 / 309 » Defeasible Description Logics |
AAAI
2012
11 years 10 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 2 months ago
2009
Springer
JAIR
2002
13 years 7 months ago
2002
CADE
1999
Springer
14 years 12 hour ago
1999
Springer
DLOG
2001
13 years 9 months ago
2001
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized ...