Sciweavers

1512 search results - page 20 / 303
» Description Logic Terminology
Sort
View
144
Voted
AISC
1998
Springer
15 years 8 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
135
Voted
AAAI
2012
13 years 6 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
132
Voted
FROCOS
2009
Springer
15 years 10 months ago
Combining Description Logics, Description Graphs, and Rules
Boris Motik
113
Voted
JAIR
2002
110views more  JAIR 2002»
15 years 3 months ago
Fusions of Description Logics and Abstract Description Systems
Franz Baader, Carsten Lutz, Holger Sturm, Frank Wo...
107
Voted
CADE
1999
Springer
15 years 8 months ago
System Description: inka 5.0 - A Logic Voyager
Serge Autexier, Dieter Hutter, Heiko Mantel, Axel ...