Sciweavers

1545 search results - page 25 / 309
» Defeasible Description Logics
Sort
View
AAAI
2012
13 years 2 months ago
Learning Games from Videos Guided by Descriptive Complexity
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ï...
Lukasz Kaiser
JAIR
2002
110views more  JAIR 2002»
15 years 3 days ago
Fusions of Description Logics and Abstract Description Systems
Franz Baader, Carsten Lutz, Holger Sturm, Frank Wo...
81
Voted
CADE
1999
Springer
15 years 4 months ago
System Description: inka 5.0 - A Logic Voyager
Serge Autexier, Dieter Hutter, Heiko Mantel, Axel ...
96
Voted
DLOG
2001
15 years 1 months ago
Description of the RACER System and its Applications
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 ...
Volker Haarslev, Ralf Möller