Automated Deduction: Looking Ahead

Donald W. Loveland


In this article, the body of a report on automated deduction is presented that notes some significant achievements and takes a studied look at the future of the field.

Full Text:


Copyright © 2016, Association for the Advancement of Artificial Intelligence ( All rights reserved.