A Framework for Symbolic Simulation of Hybrid Systems in Constraint Logic Programming.

Luis Urbina Günter Riedewald

Published in: WLP (1995)

Keyphrases

hybrid systems
constraint logic programming
discrete event
intelligent systems
logic programming
black box
neural network
artificial intelligence
reinforcement learning
training set
computational intelligence
logic programs
dynamical systems
constraint satisfaction
answer set programming