Sciweavers

40 search results - page 2 / 8
» iclp 2009
Sort
View
ICLP
2009
Springer
13 years 2 months ago
Automating Termination Proofs for CHR
Paolo Pilozzi, Danny De Schreye
ICLP
2009
Springer
13 years 2 months ago
Proving Termination by Invariance Relations
Paolo Pilozzi, Danny De Schreye
ICLP
2009
Springer
14 years 5 months ago
Debugging for Model Expansion
Johan Wittocx, Hanne Vlaeminck, Marc Denecker
ICLP
2009
Springer
14 years 5 months ago
Generative Modeling by PRISM
PRISM is a probabilistic extension of Prolog. It is a high level language for probabilistic modeling capable of learning statistical parameters from observed data. After reviewing ...
Taisuke Sato