Login / Signup
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