2291 search results - page 222 / 459 » Representational Reasoning and Verification |
162
click to vote
AIME
2007
Springer
16 years 24 days ago
2007
Springer
Reification of parthood relations according to the SEP-triplet encoding pattern has been employed in the clinical terminology SNOMED CT to simulate transitivity of the part-of rel...
155
click to vote
CONTEXT
2007
Springer
16 years 24 days ago
2007
Springer
Informal notions of context often imply much more than that captured in many computational formalisms of it. The view presented in this paper, built on our understanding of designi...
145
click to vote
ECSQARU
2007
Springer
16 years 24 days ago
2007
Springer
The binary representation is widely used for representing focal sets of Dempster-Shafer belief functions because it allows to compute efficiently all relevant operations. However, ...
140
click to vote
ECSQARU
2005
Springer
16 years 4 days ago
2005
Springer
We describe an algorithm to build a graphical model—more precisely: a join tree representation of a Markov network—for a steady state analog electrical circuit. This model can ...
185
click to vote
ICANN
2003
Springer
15 years 11 months ago
2003
Springer
Fuzzy relations as representational tools and fuzzy compositional operators as reasoning components, are user in this paper in order to represent knowledge expressed in semantic ru...