A compositional theory of constraint hierarchies (operational semantics)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1106, Issue , 1996, Pages 189-206

  Jampel, Michael ^a  

^a CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; SEMANTICS;

COMPOSITIONAL THEORY; COMPOSITIONALITY; CONSTRAINT LOGIC PROGRAMMING; MULTI-SETS; OPERATIONAL SEMANTICS;

LOGIC PROGRAMMING;

EID: 21344449891     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61479-6_22     Document Type: Conference Paper

References (13)

1. Alan Borning, Bjorn Freeman-Benson, and Molly Wilson. Constraint Hierarchies. Lisp and Symbolic Computation, 5:223-270, 1992.
2. Alan Borning, Michael Maher, Amy Martindale, and Molly Wilson. Constraint Hierarchies and Logic Programming. In ICLP’89, Lisbon, 1989.
3. Michel Gangnet and Burton Rosenberg. Constraint Programming and Graph Algorithms. In 2nd International Symposium on Artificial Intelligence and Mathematics, January 1992.
4. David Gries and Fred Schneider. A Logical Approach to Discrete Math. SpringerVerlag, 1994.
5. Joxan Jaffar and Jean-Louis Lassez. Constraint Logic Programming. In POPL’87, Munich, 1987.
6. Michael Jampel. A Compositional Theory of Constraint Hierarchies. Technical Report TCU/CS/1995/5, Department of Computer Science, City University, London, March 1995.
7. Michael Jampel and Sebastian Hunt. Composition in Hierarchical CLP. In IJ-GAI’95, Montreal, August 1995.
8. Michael Jampel. Over-Constrained Systems. PhD thesis, Department of Computer Science, City University, 1996. (Draft, January 1996. Final version to be submitted in June 1996.).
9. Francisco Menezes, Pedro Barahona, and Philippe Codognet. An Incremental Hierarchical Constraint Solver. In PPCP’93, 1993.
10. Ken Satoh. Formalizing Soft Constraints by Interpretation Ordering. In ECAI’90, 1990.
11. Molly Wilson. Hierarchical Constraint Logic Programming. Technical Report 9305-01, University of Washington, Seattle, May 1993. (PhD Dissertation).
12. Molly Wilson and Alan Borning. Extending Hierarchical Constraint Logic Programming: Nonmonotonicity and Inter-Hierarchy Comparison. In NACLP’89, 1989.
13. Molly Wilson and Alan Borning. Hierarchical Constraint Logic Programming. Journal of Logic Programming, 16(3):277-318, July 1993.