Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Intelligent Information Integration as a Constraint Handling Problem
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Moder Generation Theorem Proving with Finite Interval Constraints
CL '00 Proceedings of the First International Conference on Computational Logic
Enterprise information systems IV
Automatic generation of CHR constraint solvers
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Transactions in Constraint Handling Rules
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
A Flexible Search Framework for CHR
Constraint Handling Rules
Constraint Handling Rules
Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
Constraint Handling Rules
CHR for Imperative Host Languages
Constraint Handling Rules
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Implementation of fuzzy classification in relational databases using conventional SQL querying
Information and Software Technology
On the implementation of global abduction
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Constraint solver synthesis using tabled resolution for constraint logic programming
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
HYPROLOG: a new logic programming language with assumptions and abduction
ICLP'05 Proceedings of the 21st international conference on Logic Programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context
An abductive treatment of long distance dependencies in CHR
CSLP'04 Proceedings of the First international conference on Constraint Solving and Language Processing
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |