CafeInMaude: A CafeOBJ Interpreter in Maude.

Adrián Riesco Kazuhiro Ogata Kokichi Futatsugi

Published in: FASE (2016)

Keyphrases

formal specification
production system
programming language
equational theories
artificial intelligence
information systems
information retrieval
error handling
reinforcement learning
control program
pattern recognition
optimal solution
data sets
training data
case study
website
genetic algorithm
machine learning