POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Communications of the ACM
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
Concurrent constraint programming
Concurrent constraint programming
Semiring-based constraint satisfaction and optimization
Journal of the ACM (JACM)
Constraint logic programming with dynamic scheduling: a semantics based on closure operators
Information and Computation
Confluence in concurrent constraint programming
Theoretical Computer Science - Special issue on algebraic methodology and software technology
Software—Practice & Experience
A uniform axiomatic view of lists, multisets, and sets, and the relevant unification algorithms
Fundamenta Informaticae
Solving TSP with time windows with constraints
Proceedings of the 1999 international conference on Logic programming
A timed concurrent constraint language
Information and Computation
Sets and constraint logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Exploiting symmetries within constraint satisfaction search
Artificial Intelligence - Special issue on heuristic search in artificial intelligence
Transformations of CCP programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Soft constraint propagation and solving in CHRs
Proceedings of the 2002 ACM symposium on Applied computing
From eager to lazy constrained data acquisition: a general framework
New Generation Computing
A Survey of Automated Timetabling
Artificial Intelligence Review
Transactions and Updates in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Planning for Security Management
IEEE Intelligent Systems
On proving left termination of constraint logic programs
ACM Transactions on Computational Logic (TOCL)
Soft Concurrent Constraint Programming
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
GNU Prolog: Beyond Compiling Prolog to C
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Spatio-temporal Annotated Constraint Logic Programming
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Resource-Based vs. Task-Based Approaches for Scheduling Problems
ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
Planning while Executing: A Constraint-Based Approach
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Finite-Tree Analysis for Constraint Logic-Based Languages
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
An Improved Constraint-Based System for the Verification of Security Protocols
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Compiling Semiring-Based Constraints with clp (FD, S)
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Hybrid Benders Decomposition Algorithms in Constraint Logic Programming
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Global Cut Framework for Removing Symmetries
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Compilative Constructive Negation in Constraint Logic Programs
CAAP '94 Proceedings of the 19th International Colloquium on Trees in Algebra and Programming
An Operational Semantics for Probabilistic Concurrent Constraint Programming
ICCL '98 Proceedings of the 1998 International Conference on Computer Languages
Constraint Processing
Integrating finite domain constraints and CLP with sets
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Soft constraint programming to analysing security protocols
Theory and Practice of Logic Programming
Dealing with incomplete knowledge on CLP(FD) variable domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
A compositional semantics for CHR
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
On global warming: Flow-based soft global constraints
Journal of Heuristics
An abductive framework for a-priori verification of web services
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Reconstruction with Interval Constraints Propagation
CVPR '06 Proceedings of the 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition - Volume 1
Programming finite-domain constraint propagators in Action Rules
Theory and Practice of Logic Programming
Constraint Logic Programming using Eclipse
Constraint Logic Programming using Eclipse
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
JSetL: a Java library for supporting declarative programming in Java
Software—Practice & Experience
Principles of Constraint Programming
Principles of Constraint Programming
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
ACM Transactions on Computational Logic (TOCL)
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
Theory and Practice of Logic Programming
Efficient constraint propagation engines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Journal of Experimental & Theoretical Artificial Intelligence
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture
ICWS '09 Proceedings of the 2009 IEEE International Conference on Web Services
Integration of Abductive Reasoning and Constraint Optimization in SCIFF
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Semiring-based constraint logic programming
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Valued constraint satisfaction problems: hard and easy problems
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A-system: problem solving through abduction
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Propagation algorithms for lexicographic ordering constraints
Artificial Intelligence
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal + +
HM '09 Proceedings of the 6th International Workshop on Hybrid Metaheuristics
International Journal of Data Mining and Bioinformatics
Constraint-based temporal reasoning for e-learning with LODE
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
MiniZinc: towards a standard CP modelling language
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Multivalued action languages with constraints in CLP(FD)
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Web sites verification: an abductive logic programming tool
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Multi-stage benders decomposition for optimizing multicore architectures
CPAIOR'08 Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Timed soft concurrent constraint programs
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
The transformational approach to program development
A 25-year perspective on logic programming
Static analysis, abstract interpretation and verification in (constraint logic) programming
A 25-year perspective on logic programming
A 25-year perspective on logic programming
Concurrent and reactive constraint programming
A 25-year perspective on logic programming
Towards an integration of answer set and constraint solving
ICLP'05 Proceedings of the 21st international conference on Logic Programming
An abductive framework for information exchange in multi-agent systems
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Using a theorem prover for reasoning on constraint problems
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
HM'06 Proceedings of the Third international conference on Hybrid Metaheuristics
Detecting and breaking symmetries by reasoning on problem specifications
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
Improved algorithm for the soft global cardinality constraint
CPAIOR'06 Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
A survey of constraint-based programming paradigms
Computer Science Review
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
Concurrent and reactive constraint programming
A 25-year perspective on logic programming
The CHR-based Implementation of the SCIFF Abductive System
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Hi-index | 0.00 |
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently used in many commercial applications. Since the original proposal, it has developed enormously: many languages and systems are now available either as open source programs or as commercial systems. Also, CLP has been one of the technologies able to recruit researchers from other communities to the declarative programming cause. Current CLP engines include technologies and results developed in other communities, which themselves discovered logic as an invaluable tool to model and solve real-life problems.