Volume 61, Issue 1

Search all Annals of Mathematics and Artificial Intelligence articles

January 2011

Special Issue: Essays on Mathematics and AI – Personal Perspectives: Past, Present and Future 20th Anniversary of the Annals of Mathematics and Artificial Intelligence

5 articles in this issue

Forward
Martin Charles Golumbic
EditorialNotes 28 June 2011 Pages: 1 - 2
Automated theorem provers: a practical tool for the working mathematician?
Alan Bundy
OriginalPaper 16 July 2011 Pages: 3 - 14
Where logic and agents meet
Jürgen Dix
Michael Fisher
OriginalPaper 11 January 2011 Pages: 15 - 28
The algorithmization of counterfactuals
Judea Pearl
OriginalPaper 07 July 2011 Pages: 29 - 39
Remarks on the future of AI: machines and communication
Michael M. Richter
Sebastian von Mammen
OriginalPaper 24 June 2011 Pages: 41 - 46

Volume 61, Issue 1

Forward

Automated theorem provers: a practical tool for the working mathematician?

Where logic and agents meet

The algorithmization of counterfactuals

Remarks on the future of AI: machines and communication

Search

Navigation