intelligence outline artificial intelligence casuistry case based reasoning abductive reasoning inference engine commonsense reasoning conferences workshops international joint conference automated reasoning ijcar conference automated deduction cade international conference automated reasoning analytic tableaux related methods journals ''journal automated reasoning'' communities association automated reasoning aar references references external links https webarchiveorg web http wwwcsclivacuk konev iwil international workshop implementation logics https webarchiveorg web http wwweproverorg events es serieshtml workshop series empirically successful topics automated reasoning theoretical computer science automated theorem proving artificial intelligence logic computer science
Formal science Computer science Artificial intelligence Automated reasoning