3891 search results - page 442 / 779 » A logic for strategic reasoning |
114
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...
153
Voted
ECSQARU
2005
Springer
16 years 11 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...
174
click to vote
FLOPS
2004
Springer
16 years 7 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...
143
Voted
ILP
2004
Springer
16 years 6 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 6 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 ...