15754 search results - page 850 / 3151 » Programs are Knowledge Bases |
160
Voted
AAAI
2006
15 years 9 months ago
2006
We report on random stimuli generation for hardware verification in IBM as a major application of various artificial intelligence technologies, including knowledge representation,...
215
click to vote
ACL
2006
15 years 9 months ago
2006
This paper proposes a knowledge representation model and a logic proving setting with axioms on demand successfully used for recognizing textual entailments. It also details a lex...
200
Voted
FLAIRS
2000
15 years 9 months ago
2000
Hierarchical conceptual clustering has been proven to be a useful data mining technique. Graph-based representation of structural information has been shown to be successful in kn...
194
click to vote
DLOG
1997
15 years 9 months ago
1997
Abstract: This paper presents a theoretical basis for terminological reasoning about objects and their qualitative spatial relationships. In contrast to existing work, which mainly...
220
click to vote
SYRCODIS
2007
15 years 8 months ago
2007
Recommender systems apply statistical and knowledge discovery techniques to the problem of making recommendations during live user interaction. This paper describes a novel approa...