A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving

  • Authors:
  • Harvey J. Greenberg

  • Affiliations:
  • -

  • Venue:
  • Annals of Mathematics and Artificial Intelligence
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

This is a prospective on the research in the intersection of mathematics and artificial intelligence that I see as having been the most important over the past 10 years and that I think should be pursued vigorously during this decade. Part of this is drawn from my personal research agenda, part is from vast readings, and part is from my editorial position with the Annals of Mathematics and Artificial Intelligence.