Ассоциация Автоматизированной Рассуждение (AAR) является некоммерческой корпорацией , которая служит в качестве ассоциации исследователей , работающих на автоматическое доказательство , автоматизированных рассуждений и смежных областях. Он организует Кейд и IJCAR конференций и издает примерно ежеквартальный бюллетень.
Веб-сайт ассоциации поддерживается Валентином Монмирайем и Джеффом Сатклиффом в Джекилле (программное обеспечение) .