Sciweavers

1663 search results - page 9 / 333
» Description Logics for Interoperability
Sort
View
AISC
1998
Springer
15 years 6 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
AAAI
2012
13 years 4 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
95
Voted
JAIR
2002
110views more  JAIR 2002»
15 years 1 months ago
Fusions of Description Logics and Abstract Description Systems
Franz Baader, Carsten Lutz, Holger Sturm, Frank Wo...
CADE
1999
Springer
15 years 6 months ago
System Description: inka 5.0 - A Logic Voyager
Serge Autexier, Dieter Hutter, Heiko Mantel, Axel ...