4617 search results - page 415 / 924 » Automation of Diagrammatic Reasoning |
156
click to vote
ECSQARU
2007
Springer
16 years 29 days ago
2007
Springer
Traditional Dempster Shafer belief theory does not provide a simple method for judging the effect of statistical and probabilistic data on belief functions and vice versa. This put...
200
click to vote
ICLP
2007
Springer
16 years 28 days ago
2007
Springer
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
185
Voted
ICCBR
2005
Springer
16 years 9 days ago
2005
Springer
We focus on the problem of selecting the few vehicles in a fleet that are expected to last the longest without failure. The prediction of each vehicle’s remaining life is based o...
177
click to vote
CSL
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...
179
click to vote
KR
2004
Springer
16 years 4 days ago
2004
Springer
Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential first-order log...