Sciweavers

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