2836 search results - page 91 / 568 » Evaluating a Qualitative Reasoner |
130
click to vote
AAAI
2010
14 years 11 months ago
2010
Large scale ontology applications require efficient and robust description logic (DL) reasoning services. Expressive DLs usually have very high worst case complexity while tractab...
IJCAI
2003
14 years 11 months ago
2003
In previous work, Levesque proposed an extension to classical databases that would allow for a certain form of incomplete first-order knowledge. Since this extension was suffici...
AAAI
1996
14 years 11 months ago
1996
of it suffer from a number of limitations, including: The effectiveness of an analogical reasoner depends upon its ability to select a relevant analogical source. In many problem d...
ICMCS
2010
IEEE
14 years 11 months ago
2010
IEEE
Mood annotation of music is challenging as it concerns not only audio content but also extra-musical information. It is a representative research topic about how to traverse the w...
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...