Concrete Semantics with Coq and CoqHammer.

Lukasz Czajka Burak Ekici Cezary Kaliszyk

Published in: CICM (2018)

Keyphrases

semantic information
logic programming
formal methods
formal semantics
multiscale
database
real world
knowledge base
high level
logic programs
integrity constraints
semantic representation
argumentation semantics