Reasoning About Weak Semantics via Strong Semantics.

Roland Meyer Sebastian Wolff

Published in: Principled Software Development (2018)

Keyphrases

semantic information
logic programming
formal semantics
database
information systems
conceptual graphs
transformation rules
nonmonotonic logics