An inductive abstract semantics for coFJ.

Pietro Barbieri Francesco Dagnino Elena Zucca

Published in: FTfJP@ECOOP (2020)

Keyphrases

formal semantics
high level
inductive learning
propositional dynamic logic
machine learning
higher level
semantic information
real time
knowledge representation
logic programming
conceptual model
inductive inference
conceptual graphs
operational semantics
nonmonotonic logics