Sciweavers

1512 search results - page 20 / 303
» Description Logic Terminology
Sort
View
AISC
1998
Springer
15 years 1 months ago
Optimising Propositional Modal Satisfiability for Description Logic Subsumption
Effective optimisation techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. Because of the corre...
Ian Horrocks, Peter F. Patel-Schneider
87
Voted
AAAI
2012
13 years 19 hour 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»
14 years 9 months ago
Fusions of Description Logics and Abstract Description Systems
Franz Baader, Carsten Lutz, Holger Sturm, Frank Wo...
CADE
1999
Springer
15 years 1 months ago
System Description: inka 5.0 - A Logic Voyager
Serge Autexier, Dieter Hutter, Heiko Mantel, Axel ...