A Semantics of 𝕂 into Dedukti.

Amélie Ledein Valentin Blot Catherine Dubois

Published in: TYPES (2022)

Keyphrases

formal semantics
logic programming
real time
specification language
database
conceptual model
transformation rules
machine learning
metadata
keywords
domain knowledge
semantic information
conceptual graphs
default reasoning
owl ontologies
intended meaning