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