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

François Fages

Published in: FLOPS (2024)

Keyphrases

mathematical modeling
logic programming
mathematical models
mathematical model
computational intelligence
ordinary differential equations
discrete event
neural network
knowledge representation
expert systems
systems biology
logic programs
knowledge base
denoising
data sets
feature selection
artificial intelligence