3392 search results - page 330 / 679 » Using Knowledge Representation to Understand Interactive Sys... |
157
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
184
click to vote
PODS
2011
ACM
14 years 7 months ago
2011
ACM
In the traditional data exchange setting, source instances are restricted to be complete in the sense that every fact is either true or false in these instances. Although natural ...
104
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
Analyzing coverage of a student’s utterance or essay (completeness) and diagnosing errors (correctness) can be treated as a diagnosis problem and solved using a well-known techni...
161
Voted
WECWIS
1999
IEEE
15 years 9 months ago
1999
IEEE
All the specialists have agreed that the possibility of adding to multimedia WWW objects some sort of `conceptual' annotations describing their information content would grea...
132
click to vote
KES
2000
Springer
15 years 8 months ago
2000
Springer
Fuzzy classification rules are widely considered a well-suited representation of classification knowledge, as they allow readable and interpretable rule bases. The goal of this pa...