The following pages link to Logic Programming (Q5313213):
Displaying 25 items.
- The expressive power of CHR with priorities (Q388222) (← links)
- On proving confluence modulo equivalence for Constraint Handling Rules (Q511019) (← links)
- Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules (Q833735) (← links)
- Constraint Handling Rules. Current research topics (Q1006793) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- Rule-based operational semantics for an imperative language (Q2864516) (← links)
- Confluence Modulo Equivalence in Constraint Handling Rules (Q2949698) (← links)
- Exhaustive Execution of CHR Through Source-to-Source Transformation (Q2949701) (← links)
- Combining Forward and Backward Propagation (Q2964470) (← links)
- Expressiveness of Multiple Heads in CHR (Q3599074) (← links)
- Welcome to Constraint Handling Rules (Q3616877) (← links)
- A Flexible Search Framework for CHR (Q3616878) (← links)
- Adaptive CHR Meets CHR ∨ (Q3616881) (← links)
- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules (Q3616884) (← links)
- A Compositional Semantics for CHR with Propagation Rules (Q3616886) (← links)
- CHR for Imperative Host Languages (Q3616887) (← links)
- Guard Reasoning in the Refined Operational Semantics of CHR (Q3616888) (← links)
- Constraint handling rules with binders, patterns and generic quantification (Q4592722) (← links)
- Implementing type theory in higher order constraint logic programming (Q5236551) (← links)
- Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR (Q5302727) (← links)
- A Unified Semantics for Constraint Handling Rules in Transaction Logic (Q5425409) (← links)
- Aggregates for CHR through Program Transformation (Q5504593) (← links)
- Optimization of CHR Propagation Rules (Q5504675) (← links)
- Termination Analysis of CHR Revisited (Q5504676) (← links)
- Turing-Complete Subclasses of CHR (Q5504695) (← links)
