자동추론협회(AAR)는 자동화된 정리 증명, 자동추론, 관련 분야에 종사하는 연구자들의 연합회 역할을 하는 비영리법인이다.그것은 CADE와 IJCAR 회의를 조직하고 대략 분기별 뉴스레터를 발행한다.
협회의 웹사이트는 지킬(소프트웨어)에 발렌틴 몬트미레일과 제프 서클리프가 관리하고 있다.
이 컴퓨터 과학 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.
