An algorithm for goal-driven simulation

Authors:
Michel Page;Jérôme Gensel;Mahfoud Boudis
Affiliations:
Université Pierre Mendès France, Projet Sherpa INRIA Rhône Alpes, 655 avenue de l'Europe, F-38330 Montbonnot, France;Université Pierre Mendès France, Projet Sherpa INRIA Rhône Alpes, 655 avenue de l'Europe, F-38330 Montbonnot, France;Université Pierre Mendès France, Projet Sherpa INRIA Rhône Alpes, 655 avenue de l'Europe, F-38330 Montbonnot, France
Venue:
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
Year:
1999

The CLP( R ) language and system

ACM Transactions on Programming Languages and Systems (TOPLAS)
RISC-CLP (real): logic programming with non-linear constraints over the reals

Constraint logic programming
Constraint arithmetic on real intervals

Constraint logic programming
Newton—constraint programming over nonlinear constraints

Science of Computer Programming - Special issue on concurrent constraint programming
Continuous System Modeling

Continuous System Modeling

Hi-index	0.01