Consistency and set intersection

Yuanlin Zhang, Roland H.C. Yap

Research output: Contribution to conferencePaper

Abstract

A new framework to study consistency in terms of general properties of set intersection was presented. The significance of such set intersection results is that they can be lifted directly to a constraint network setting to obtain consistency results. A proof schema to lift these results was also given.

Original languageEnglish
Pages971-972
Number of pages2
StatePublished - 2002
Event18th National Conference on Artificial Intelligence (AAAI-02), 14th Innovative Applications of Artificial Intelligence Conference (IAAI-02) - Edmonton, Alta., Canada
Duration: Jul 28 2002Aug 1 2002

Conference

Conference18th National Conference on Artificial Intelligence (AAAI-02), 14th Innovative Applications of Artificial Intelligence Conference (IAAI-02)
CountryCanada
CityEdmonton, Alta.
Period07/28/0208/1/02

Cite this