الاستدلال الآلي, ذكاء اصطناعي, علوم الحاسوب, مؤتمرات علميةالمؤتمر الدولي المشترك حول الاستدلال الآلي (International Joint Conference on Automated Reasoning (IJCAR))