Enabling Replications and Contexts in Reversible Concurrent Calculus.

Clément Aubert Doriana Medic

Published in: CoRR (2021)

Keyphrases

cellular automata
markov chain
real time
neural network
machine learning
genetic algorithm
knowledge representation
automated deduction
artificial intelligence
reinforcement learning
natural language
expert systems
modal logic
formal language