A spreadsheet interface for logic programming
CHI '89 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Logic programming as a paradigm for financial modeling
MIS Quarterly
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
CAL: A theoretical background of constraint logic programming and its applications
Journal of Symbolic Computation
Constraint logic programming languages
Communications of the ACM
A general framework for visualizing abstract objects and relations
ACM Transactions on Graphics (TOG)
A methodology for managing hard constraints in CLP systems
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Toward the partial evaluation of CLP languages
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
Prolog at IBM: an advanced and evolving application development technology
IBM Systems Journal
A modular architecture for constraint logic programming
CSC '91 Proceedings of the 19th annual conference on Computer Science
Global Optimization for Satisfiability (SAT) Problem
IEEE Transactions on Knowledge and Data Engineering
Adding Linear Constraints over Real Numbers to Curry
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Constraint (Logic) Programming: A Survey on Research and Applications
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
A computational structure for the propositional calculus
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
High-level nondeterministic abstractions in c++
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Explaining constraint programming
Processes, Terms and Cycles
Solving a cutting-stock problem with the constraint logic programming language chip
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.02 |