3773 search results - page 434 / 755 » Logical Reasoning |
125
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Individual-based models are a relatively new approach to modelling dynamical systems of interacting entities, for example molecules in a biological cell. Although they are computa...
159
click to vote
ECSQARU
2005
Springer
16 years 25 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...
192
click to vote
FLOPS
2004
Springer
16 years 20 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...
157
click to vote
ILP
2004
Springer
16 years 20 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...
192
click to vote
LPNMR
2004
Springer
16 years 19 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 ...