Abstract
This paper deals with consistency techniques over sequences constraints embedded in Constraint Logic Programming CLPS. CLP Sequences constraints are defined over Hereditarily Homogeneous Finite Sets HHFS built on atomic elements to characterise a family of admissible sequences . The relations we are dealing with are classical sets relations (E,c,=,#) and sequencing relations as potential, metric and range constraints. We define the semantics of these relations with a characteristic range function. The consistency techniques used are incremental reduction of the normal form based on a tiye like representation called PQ-R trees. This allows us to reduce the set of admissible sequences befcre yeneratang solutions.
Original language | English |
---|---|
Pages (from-to) | 804-807 |
Number of pages | 4 |
Journal | Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI |
DOIs | |
Publication status | Published - 1994 |
Externally published | Yes |
Event | Proceedings of the 6th International Conference on Tools with Artificial Intelligence - New Orleans, LA, USA Duration: Nov 6 1994 → Nov 9 1994 |
ASJC Scopus subject areas
- Software
- Artificial Intelligence
- Computer Science Applications