Automated Deduction: Looking Ahead

Donald W. Loveland

Abstract


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:

PDF


DOI: http://dx.doi.org/10.1609/aimag.v20i1.1442

Copyright © 2014, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.