Coalgebraic Symbolic Semantics.

Filippo Bonchi Ugo Montanari

Published in: CALCO (2009)

Keyphrases

high level
symbolic representation
logic programming
formal semantics
nonmonotonic logics
symbolic description
database systems
logical language
argumentation semantics