Sciweavers

40 search results - page 2 / 8

» iclp 2009

83

ICLP
2009
Springer

122views Automated Reasoning» more ICLP 2009»

Optimizing Compilation and Computational Complexity of Constraint Handling Rules

14 years 11 months ago

Optimizing Compilation and Computational Complexity of Constraint Handling Rules

Download www.cs.kuleuven.be

Jon Sneyers

claim paper

Read More »

41

ICLP
2009
Springer

123views Automated Reasoning» more ICLP 2009»

Automating Termination Proofs for CHR

13 years 8 months ago

Automating Termination Proofs for CHR

Download lirias.kuleuven.be

Paolo Pilozzi, Danny De Schreye

claim paper

Read More »

33

ICLP
2009
Springer

106views Automated Reasoning» more ICLP 2009»

Proving Termination by Invariance Relations

13 years 8 months ago

Proving Termination by Invariance Relations

Download lirias.kuleuven.be

Paolo Pilozzi, Danny De Schreye

claim paper

Read More »

70

ICLP
2009
Springer

118views Automated Reasoning» more ICLP 2009»

Debugging for Model Expansion

14 years 11 months ago

Debugging for Model Expansion

Download www.mai.kuleuven.be

Johan Wittocx, Hanne Vlaeminck, Marc Denecker

claim paper

Read More »

73

ICLP
2009
Springer

123views Automated Reasoning» more ICLP 2009»

Generative Modeling by PRISM

14 years 11 months ago

Generative Modeling by PRISM

Download sato-www.cs.titech.ac.jp

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

claim paper

Read More »

« Prev « First page 2 / 8 Last » Next »