1436 search results - page 19 / 288 » Description Logic Unplugged |
121
click to vote
AAAI
2012
13 years 4 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ï...
CADE
1999
Springer
15 years 6 months ago
1999
Springer
107
Voted
DLOG
2001
15 years 3 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 ...
121
Voted
BIRTHDAY
2010
Springer
15 years 25 days ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...