Loveland, Donald W.



Automated Deduction: Looking Ahead

AI Magazine

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. 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.