2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2004
Automatic Generation of CHR Constraint Solvers
Slim Abdennadher, Christophe Rigotti
In this paper, we present a framework for automatic generation of CHR solvers given the logical specification of the constraints. This approach takes advantage of the power of tabl…
cs.AI2004★ 2 cited
The Munich Rent Advisor: A Success for Logic Programming on the Internet
Thom Fruehwirth, Slim Abdennadher
Most cities in Germany regularly publish a booklet called the {\em Mietspiegel}. It basically contains a verbal description of an expert system. It allows the calculation of the es…