6 citations · 8 across the 3 of their papers we have counts for
3 papers
cs.PL2014★ 6 cited
Visualization of Constraint Handling Rules
Nada Sharaf, Slim Abdennadher, Thom Fruehwirth
Constraint Handling Rules (CHR) has matured into a general purpose language over the past two decades. Any general purpose language requires its own development tools. Visualizatio…
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…