Position Papers for the First Workshop on Principles and Practice of Constraint Programming Held in Newport, Rhode Island on April 28-30, 1993 (original) (raw)
Related papers
The Semantic Foundations of Concurrent Constraint Programming
Proceedings of the 18th …, 1991
The Journal of Logic Programming, 1998
Constraint Functional Logic Programming Revisited
The semantics of constraint logic programs
Journal of Logic Programming, 1998
A logical view of concurrent constraint programming
1995
A Semantic Framework for the Analysis of Concurrent Constraint Programming
1997
A confluent semantic basis for the analysis of concurrent constraint logic programs
The Journal of Logic Programming, 1997
The Refined Operational Semantics of Constraint Handling Rules
Lecture Notes in Computer Science, 2004
Models for concurrent constraint programming
Lecture Notes in Computer Science, 1996
A Backward Analysis for Constraint Logic Programs
Theory and Practice of Logic Programming, 2002
On logical constraints in logic programming
Lecture Notes in Computer Science, 1995
Graph Rewriting for a Partial Ordering Semantics of Concurrent Constraint Programming
Theoretical Computer Science, 1993
Logical Constraints and Logic Programming
2006
On the Expressive Power of Concurrent Constraint Programming Languages
BRICS Report Series, 2002
A feature constraint system for logic programming with entailment
Theoretical Computer Science, 1994
A Declarative Framework for Security: Secure Concurrent Constraint Programming
Lecture Notes in Computer Science, 2006
Logics of First-Order Constraints - A Category Independent Approach
arXiv (Cornell University), 2021
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '10, 2010
Selective unification in constraint logic programming
Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17, 2017
A framework for abstract interpretation of timed concurrent constraint programs
2009
Stable model semantics for guarded existential rules and description logics
Principles of Knowledge Representation and Reasoning, 2014
Logical Constraints and Logic Programming 1
Constraints in Procedural and Concurrent Languages
Foundations of Artificial Intelligence, 2006
Global analysis of constraint logic programs
ACM Transactions on Programming Languages and Systems, 1996
Functional and Constraint Logic Programming
1999
CAL: A theoretical background of constraint logic programming and its applications
Journal of Symbolic Computation, 1989
Compositional analysis for concurrent constraint programming
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science
Abstract interpretation for constraint handling rules
Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming, 2005
Concurrent Logic/Constraint Programming: The Next 10 Years
Artificial Intelligence, 1999
Predicate Anti-unification in (Constraint) Logic Programming
Lecture Notes in Computer Science, 2023
Logic programs with abstract constraint atoms: The role of computations
Artificial Intelligence, 2010
Guards, Bounds, and Generalized Semantics
Journal of Logic, Language and Information, 2005