We introduce a novel and exciting research area: symmetrising levels of consistency to produce stronger forms of consistency and more efficient mechanisms for establishing them. W...
Ian P. Gent, Tom Kelsey, Steve Linton, Colva M. Ro...
There is no unified modeling standard available to the CP community, so constraint programs can not be developed independently from the used CP library. Without such standard, CP ...
Finding intensional encapsulations of database subsets is the inverse of query evaluation. Whereas query evaluation transforms an intensional expression (the query) to its extensi...
This paper presents the design of an architecture for narrative games with story-puzzles like classic graphic adventures. The system is able to create new short stories in each se...
We study a population of individuals playing the prisoner’s dilemma game. Individual strategies are invariable but the network of relationships between players is allowed to chan...