3970 search results - page 460 / 794 » A Logic For Causal Reasoning |
153
Voted
ECSQARU
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In previous papers, we have presented a framework for merging structured information in XML involving uncertainty in the form of probabilities, degrees of beliefs and nec...
171
click to vote
FLOPS
2004
Springer
16 years 5 days ago
2004
Springer
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computa...
142
Voted
ILP
2004
Springer
16 years 4 days ago
2004
Springer
ILP systems induce first-order clausal theories performing a search through very large hypotheses spaces containing redundant hypotheses. The generation of redundant hypotheses ma...
182
click to vote
LPNMR
2004
Springer
16 years 4 days ago
2004
Springer
We investigate a generalization of weight-constraint programs with stable semantics, as implemented in the ASP solver smodels. Our programs admit atoms of the form X, F where X is ...
160
click to vote
HICSS
1996
IEEE
15 years 11 months ago
1996
IEEE
Parallel simulation is expected to speed up simulation run time in a signi cant way. This paper describes a framework that is used to evaluate the performance of parallel simulati...