Realisability semantics of abstract focussing, formalised.

Stéphane Graham-Lengrand

Published in: WoF'15 (2015)

Keyphrases

semantic information
formal semantics
propositional dynamic logic
databases
neural network
high level
multiscale
low level
logic programming
domain knowledge
higher level
graphical representation
argumentation semantics