Implementing Hybrid Semantics: From Functional to Imperative.

Sergey Goncharov Renato Neves José Proença

Published in: ICTAC (2020)

Keyphrases

formal semantics
neural network
decision trees
logic programming
semantic information
conceptual model
hybrid approaches
image segmentation
multi agent
data sets
argumentation frameworks
semantic representation
owl ontologies
operational semantics
model theoretic
argumentation semantics
method invocation