1436 search results - page 19 / 288 » Description Logic Unplugged |
143
click to vote
AAAI
2012
13 years 6 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ï...
136
Voted
FROCOS
2009
Springer
15 years 10 months ago
2009
Springer
128
click to vote
DLOG
2001
15 years 5 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 ...
144
Voted
BIRTHDAY
2010
Springer
15 years 3 months 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...