Comonadic semantics for guarded fragments.

Samson Abramsky Dan Marsden

Published in: CoRR (2020)

Keyphrases

formal semantics
data sets
machine learning
logic programming
operational semantics
expert systems
domain knowledge
semantic information
logical language
artificial intelligence
expressive power
fixed point
conceptual model
query answering
probabilistic databases
proof theory