Structural congruence for bialgebraic semantics.

Jurriaan Rot Marcello M. Bonsangue

Published in: J. Log. Algebraic Methods Program. (2016)

Keyphrases

logic programming
formal semantics
structural constraints
structural information

neural network
search engine
multi agent

conceptual model
machine learning
data structure

semantic information
default reasoning
logical language