Generality versus Specificity: an Experience with AI and OR techniques

Proceedings of the 7th National Conference on Artificial Intelligence, AAAI 1988

Volumn , Issue , 1988, Pages 660-664

  Van Hentenryck, Pascal ^a   Carillon, Jean Philippe ^b  

^a ECRC ^*  (Germany)

^b CEGOS ^*  (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT PROGRAMMING; PROBLEM SOLVING;

'CURRENT; AI TECHNIQUES; CASE-STUDIES; CONSTRAINT LOGIC PROGRAMMING; DISCRETE COMBINATORIAL PROBLEMS; IN-DEPTH STUDY; INTEGER PROGRAM- MING; WAREHOUSE LOCATION PROBLEMS;

INTEGER PROGRAMMING;

EID: 84983198316     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. A. Colmerauer. Opening the Prolog-Ill Universe. BYTE Magazine, 12(9), August 1987.
2. M. Dincbas, H. Simonis, and Van Hentenryck P. Extending Equation Solving and Constraint Handling in Logic Programming. In CREAS, Texas, May 1987.
3. R.S Garfinkel and G.L Nemhauser. Integer Programming. John Wiley & Sons, 1972.
4. J. JafFar and J-L. Lassez. Constraint Logic Programming. In POPL-87, Munich (FRG), January 1987.
5. A.K. Mackworth. Consistency in Networks of Relations. AI Journal, 8(l):99-118, 1977.
6. Nils Nilsson. Principles of Artificial Intelligence. Springer- Verlag, 1982.
7. G.J. Sussman and G.L. Steele. CONSTRAINTS-A Language for Expressing Almost-Hierarchical Descriptions. AI Journal, 14(1), 1980.
8. P. Van Hentenryck. A Framework for Consistency Techniques in Logic Programming. In IJCAI-87, Milan, Italy, August 1987.
9. P. Van Hentenryck. Consistency Techniques in Logic Programming. PhD thesis, University of Namur (Belgium), July 1987.
10. P. Van Hentenryck and M. Dincbas. Domains in Logic Programming. In AAAI-86, Philadelphia, USA, August 1986.