An important part of the computer science is focused on the links that can be established between group theory and graph theory. Cayley graphs can establish such a link but meet so...
This paper describes a logical machineryfor computing decisions based on an ATMSprocedure, wherethe available knowledgeon the state of the world is describedbya possibilistic prop...
Didier Dubois, Daniel Le Berre, Henri Prade, R&eac...
Abstract Summary of results The subcubic (O(n ) for < 3) algorithms to multiply Boolean matrices do not provide the witnesses; namely, they compute C = AB but if Cij = 1 they d...
We describe the challenge of combining continuous computer vision techniques and qualitative, symbolic methods to achieve a system capable of cognitive vision. Key to a truly cogni...
Anthony G. Cohn, David C. Hogg, Brandon Bennett, V...