A Semantics for Hybrid Iteration.

Sergey Goncharov Julian Jakob Renato Neves

Published in: CoRR (2018)

Keyphrases

formal semantics
semantic information
logic programming
database
genetic algorithm
case study
nonmonotonic logics
neural network
machine learning
information systems
knowledge base
optimal solution
artificial neural networks
logic programs
iterative process
operational semantics