2 citations · 3 across the 4 of their papers we have counts for
4 papers
Parallelism, Concurrency and Distribution in Constraint Handling Rules: A Survey
Thom Fruehwirth
Constraint Handling Rules is an effective concurrent declarative programming language and a versatile computational logic formalism. CHR programs consist of guarded reactive rules…
Theory of Finite or Infinite Trees Revisited
Khalil Djelloul, Thi-bich-hanh Dao, Thom Fruehwirth
We present in this paper a first-order axiomatization of an extended theory of finite or infinite trees, built on a signature containing an infinite set of function symbols and…
Optimal Union-Find in Constraint Handling Rules
Tom Schrijvers, Thom Fruehwirth
Constraint Handling Rules (CHR) is a committed-choice rule-based language that was originally intended for writing constraint solvers. In this paper we show that it is also possibl…
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…