Automated reasoning is the algorithmic search through the infinite set of theorems in mathematical logic. We can use automated reasoning to answer questions ...

Aleix M. Martinez, a senior principal scientist with Amazon’s retail division, first attended the Conference on Computer Vision and Pattern Recognition ...

Miguel Ballesteros, a principal applied scientist with Amazon Web Services' AI Labs, is a senior area chair for semantics at this year’s Conference on ...

The Association for the Advancement of Artificial Intelligence’s annual Conference on Artificial Intelligence (AAAI) received around 9,000 paper submissions ...