Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models.

Published in: FROM (2023)

Keyphrases

real time
matching algorithm
neural network
machine learning
genetic algorithm
process model
computational models
artificial intelligence
multi agent systems
probabilistic model
statistical models