A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics.

François Fages

Published in: CoRR (2024)

Keyphrases

mathematical modeling
logic programming
mathematical models
mathematical model
computational intelligence
systems biology
discrete event
ordinary differential equations
logic programs
machine learning
knowledge representation
image processing
knowledge base
neural network
expert systems
data model
data sets