On the public citation graph

Compiling Constraint Handling Rules into Prolog with Attributed Variables

https://doi.org/10.1007/10704567_7
0 signed · 43 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/spe.4380231204openalex-snapshot
QD‐Janus: A sequential implementation of Janus in Prolog
inferredcites →https://doi.org/10.1007/3-540-50820-1openalex-snapshot
Programming Languages Implementation and Logic Programming
inferredcites →https://doi.org/10.1007/3-540-55844-6_141openalex-snapshot
Metastructures vs. attributed variables in the context of extensible unification
inferredcites →https://doi.org/10.1007/bfb0024181openalex-snapshot
A new data structure for implementing extensions to Prolog
inferredcites →https://doi.org/10.1016/0004-3702(92)90006-jopenalex-snapshot
Constraint satisfaction using constraint logic programming
inferredcites →https://doi.org/10.1016/0167-739x(88)90012-xopenalex-snapshot
A parallel machine for multiset transformation and its programming style
inferredcites →https://doi.org/10.1016/0743-1066(94)90033-7openalex-snapshot
Constraint logic programming: a survey
inferredcites →https://doi.org/10.1016/s0743-1066(98)10005-5openalex-snapshot
Theory and practice of constraint handling rules
inferredcites →https://doi.org/10.1016/s0898-1221(97)84603-2openalex-snapshot
Logic programming: Proceedings of '96 joint international conference and symposium on logic programming
inferredcites →https://doi.org/10.1016/s0898-1221(98)90102-xopenalex-snapshot
Logic programming: Proceedings of the 1998 joint international conference and symposium on logic programming
inferredcites →https://doi.org/10.1023/a:1009842826135openalex-snapshot
Confluence and Semantics of Constraint Simplification Rules
inferredcites →https://doi.org/10.1145/72551.72555openalex-snapshot
The family of concurrent logic programming languages
inferredcites →https://doi.org/10.7551/mitpress/2086.001.0001openalex-snapshot
Concurrent Constraint Programming
inferredcites →https://doi.org/10.7551/mitpress/5625.001.0001openalex-snapshot
Programming with Constraints

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/11799573_8openalex-snapshot
Memory Reuse for CHR
inferred← citeshttps://doi.org/10.1007/3-540-44957-4_32openalex-snapshot
A System for Tabled Constraint Logic Programming
inferred← citeshttps://doi.org/10.1007/978-3-319-99906-7_9openalex-snapshot
CHR.js: A CHR Implementation in JavaScript
inferred← citeshttps://doi.org/10.1007/978-3-540-27775-0_7openalex-snapshot
The Refined Operational Semantics of Constraint Handling Rules
inferred← citeshttps://doi.org/10.1007/978-3-540-68194-6_8openalex-snapshot
Constraint Handling Rules
inferred← citeshttps://doi.org/10.1007/978-3-540-69611-7_11openalex-snapshot
Compiling Constraint Handling Rules for Efficient Tabled Evaluation
inferred← citeshttps://doi.org/10.1007/978-3-540-92243-8_7openalex-snapshot
CHR for Imperative Host Languages
inferred← citeshttps://doi.org/10.1007/978-3-540-92243-8_8openalex-snapshot
Guard Reasoning in the Refined Operational Semantics of CHR
inferred← citeshttps://doi.org/10.1007/978-3-642-02846-5_30openalex-snapshot
Attributed Data for CHR Indexing
inferred← citeshttps://doi.org/10.1007/978-3-642-02846-5_41openalex-snapshot
Optimizing Compilation and Computational Complexity of Constraint Handling Rules
inferred← citeshttps://doi.org/10.1007/s00500-022-06923-1openalex-snapshot
Optimal answer generation by equivalent transformation incorporating multi-objective genetic algorithm
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.06.039openalex-snapshot
Automatic Implication Checking for CHR Constraints
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80109-4openalex-snapshot
Attributed Variables in XSB
inferred← citeshttps://doi.org/10.1017/s1471068405002395openalex-snapshot
CHR grammars
inferred← citeshttps://doi.org/10.1017/s1471068405002590openalex-snapshot
Programming finite-domain constraint propagators in Action Rules
inferred← citeshttps://doi.org/10.1017/s1471068409990123openalex-snapshot
As time goes by: Constraint Handling Rules
inferred← citeshttps://doi.org/10.1017/s1471068412000208openalex-snapshot
SMCHR: Satisfiability modulo constraint handling rules
inferred← citeshttps://doi.org/10.1017/s1471068412000336openalex-snapshot
Lightweight compilation of (C)LP to JavaScript
inferred← citeshttps://doi.org/10.1145/1069774.1069795openalex-snapshot
Abstract interpretation for constraint handling rules
inferred← citeshttps://doi.org/10.1145/1462166.1462169openalex-snapshot
The computational power and complexity of constraint handling rules
inferred← citeshttps://doi.org/10.1145/2003476.2003496openalex-snapshot
CLP projection for constraint handling rules
inferred← citeshttps://doi.org/10.1145/2048066.2048100openalex-snapshot
Reactive imperative programming with dataflow constraints
inferred← citeshttps://doi.org/10.1145/2623200openalex-snapshot
Reactive Imperative Programming with Dataflow Constraints
inferred← citeshttps://doi.org/10.1145/888251.888260openalex-snapshot
Extending arbitrary solvers with constraint handling rules
inferred← citeshttps://doi.org/10.20965/jaciii.2006.p0339openalex-snapshot
Converting Constraint Handling Rules to Equivalent Transformation Rules
inferred← citeshttps://doi.org/10.3233/fi-2013-839openalex-snapshot
The CHR-based Implementation of the SCIFF Abductive System
inferred← citeshttps://doi.org/10.4114/ia.v9i27.853openalex-snapshot
Declarative Constraint Programming
inferred← citeshttps://doi.org/10.48550/arxiv.0906.4474openalex-snapshot
As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007
inferred← citeshttps://doi.org/10.48550/arxiv.1210.5307openalex-snapshot
SMCHR: Satisfiability Modulo Constraint Handling Rules
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.