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 language | English |
---|---|
Pages | 971-972 |
Number of pages | 2 |
State | Published - 2002 |
Event | 18th National Conference on Artificial Intelligence (AAAI-02), 14th Innovative Applications of Artificial Intelligence Conference (IAAI-02) - Edmonton, Alta., Canada Duration: Jul 28 2002 → Aug 1 2002 |
Conference
Conference | 18th National Conference on Artificial Intelligence (AAAI-02), 14th Innovative Applications of Artificial Intelligence Conference (IAAI-02) |
---|---|
Country/Territory | Canada |
City | Edmonton, Alta. |
Period | 07/28/02 → 08/1/02 |