Volume 61, Number 1, 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
export record as
dblp key:
export record as
dblp key:
Alan Bundy :
Automated theorem provers: a practical tool for the working mathematician?
3-14
export record as
dblp key:
export record as
dblp key:
Judea Pearl :
The algorithmization of counterfactuals.
29-39
export record as
dblp key:
Volume 61, Number 2, February 2011
export record as
dblp key:
export record as
dblp key:
journals/amai/GaglioloS11 export record as
dblp key:
journals/amai/Smith-MilesH11 export record as
dblp key:
journals/amai/VeeramachaneniVO11 export record as
dblp key:
journals/amai/Dubois-LacosteLS11
Volume 61, Number 3, March 2011 Artificial Intelligence and Mathematics XXXII
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/amai/BenferhatTS11 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Volume 61, Number 4, April 2011 The Multi-Agent Programming Contest:
Environment Interface and Contestants in 2010
export record as
dblp key:
journals/amai/BehrensDHK11 export record as
dblp key:
journals/amai/BehrensHD11 export record as
dblp key:
journals/amai/VesterBJV11 export record as
dblp key:
journals/amai/HolzgenVKTK11 export record as
dblp key:
export record as
dblp key:
journals/amai/RussellCDOC11 export record as
dblp key:
journals/amai/GouveiaPS11
data released under the ODC-BY 1.0 license
