In this paper, we present AMIA, a workbench for developing knowledge-based discrete-time simulation systems. AMIA is original in two respects. First it uses an algebraic modeling language for combining discrete-time models (difference equations) and symbolic knowledge. Second, it uses a new simulation algorithm able to exploit this combination of numerical and symbolic knowledge. AMIA also includes a model management system for supporting the modeling and simulation process.