Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Constraint Programming: Strategic Directions
Constraints
Subdefinite Models and Logic Programming: Implementation of Constraints
Programming and Computing Software
Numeric Constraint Resolution in Logic Programming Based on Subdefinite Models
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
Combining Constraint Logic Programming Techniques for Solving Linear Problems
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
A System for Tabled Constraint Logic Programming
CL '00 Proceedings of the First International Conference on Computational Logic
To the Gates of HAL: A HAL Tutorial
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Instruction merging and specialization in the SICStus Prolog virtual machine
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Morphology with a null-interface
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 1
Generalized encoding of description spaces and its application to typed feature structures
ACL '02 Proceedings of the 40th Annual Meeting on Association for Computational Linguistics
Programming finite-domain constraint propagators in Action Rules
Theory and Practice of Logic Programming
Concurrency, Graphs and Models
CHR for Imperative Host Languages
Constraint Handling Rules
Theory and Practice of Logic Programming
A prolog-based language for workflow programming
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Action rules for programming constraint propagators and interactive user interfaces
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
On the portability of prolog applications
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
CLP projection for constraint handling rules
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Reactive imperative programming with dataflow constraints
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Adding constraint solving to mercury
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
Sicstus prolog-the first 25 years
Theory and Practice of Logic Programming - Prolog Systems
Theory and Practice of Logic Programming - Prolog Systems
An overview of ciao and its design philosophy
Theory and Practice of Logic Programming - Prolog Systems
Compiling constraint handling rules for efficient tabled evaluation
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Deon+: abduction and constraints for normative reasoning
Logic Programs, Norms and Action
A general implementation framework for tabled CLP
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
Smchr: Satisfiability modulo constraint handling rules
Theory and Practice of Logic Programming
Lightweight compilation of (c)lp to javascript*
Theory and Practice of Logic Programming
Theory propagation and rational-trees
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Hi-index | 0.00 |