B. Herbig, Eine homogene Implementierungsebene fur einen hybriden Wissensrepr asentationsformalismus (in German), Master Thesis, University of Kaiserslautern, Germany, April 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Compiling Constraint Handling Rules - Holzbaur, Frühwirth (1998) (3 citations) (Correct)
....also includes more than 25 constraint solvers written in CHR. The first implementation of CHR in 1991 was an interpreter written in ECL i PS e Prolog [Fru91] Then, the CHR language has been implemented in 1993 in Common LISP at the German Research Institute for Artificial Intelligence (DFKI) [Her93] and in 1994 as a library of ECL i PS e [FrBr95a, FrBr95b] CHR are currently also implemented in the successor language ECL i PS e 2 at IC Parc of Imperial College and in the concurrent logical object oriented constraint language OZ [SmTr94] Overview of this Paper We quickly recapture ....
B. Herbig, Eine homogene Implementierungsebene fur einen hybriden Wissensrepr asentationsformalismus, Master Thesis, in German, University of Kaiserslautern, Germany, April 1993.
Theory and Practice of Constraint Handling Rules - Frühwirth (1998) (52 citations) (Correct)
.... The first implementation of CHR in summer 1991 was an interpreter written in ECL i PS e Prolog, called Cheer 6 [Fru91, Fru92, Fru93b, FrBr95a] Since then, the CHR language has been implemented in 1993 in Common LISP at the German Research Institute for Artificial Intelligence (DFKI) [Her93] and in 1994 as a library of ECL i PS e [FrBr95a, FrBr95b, FrBr96] It is currently implemented in Sicstus Prolog at LMU, Munich, in ECL i PS e 2 at IC Parc of Imperial College and in the concurrent logical object oriented constraint language OZ [SmTr94a] Cheer [Fru91, Fru92, Fru93b] was ....
....constraints and variable bindings, a simple partial evaluator based on simplifications, and simple statistics (number of rules fired per kind, timings) First solvers were term equality (unification) finite domains, term manipulation, maximum, types and temporal reasoning. The LISP implementation [Her93] does not provide for simpagation rules, but offers some interesting extensions. First, rules can be given priorities (encoded as integers) Second, nondeterminism is introduced by disjunction in rule bodies. This extension also allows expressing Prolog clauses. Rules with disjunction usually get ....
[Article contains additional citation context not shown here]
B. Herbig, Eine homogene Implementierungsebene fur einen hybriden Wissensrepr asentationsformalismus (in German), Master Thesis, University of Kaiserslautern, Germany, April 1993.
J. LOGIC PROGRAMMING 1994:19, 20:1--679 1 Theory and.. - Thom Fruhwirth.. (Correct)
No context found.
B. Herbig, Eine homogene Implementierungsebene fur einen hybriden Wissensrepr asentationsformalismus (in German), Master Thesis, University of Kaiserslautern, Germany, April 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC