8337 search results - page 154 / 1668 » Reasoning With Characteristic Models |
127
click to vote
IFIP12
2004
15 years 6 months ago
2004
: Component retrieval, about how to locate and identify appropriate components, is one of the major problems in component reuse. It becomes more critical as more reusable component...
142
click to vote
JUCS
2010
15 years 3 months ago
2010
Abstract: Qualitative Spatial Reasoning can be greatly improved if metric information can be represented and reasoning can be performed on it; moreover, modelling vagueness and unc...
135
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
Ontologies are expected to play an important role in many application domains, as well as in software engineering in general. One problem with using ontologies within software engi...
133
click to vote
OWLED
2008
15 years 6 months ago
2008
Abstract. HermiT is a new OWL reasoner based on a novel "hypertableau" calculus. The new calculus addresses performance problems due to nondeterminism and model size--the...
124
click to vote
IJCAI
1993
15 years 6 months ago
1993
The problem of representing and reasoning about two notions of time that are relevant in the context of knowledge bases is addressed. These are called historical time and belief t...