Presentable signatures and initial semantics.

Benedikt Ahrens André Hirschowitz Ambroise Lafont Marco Maggesi

Published in: Log. Methods Comput. Sci. (2021)

Keyphrases

logic programming
formal semantics
real world
signature recognition
machine learning
artificial intelligence
website
similarity measure
semantic information
schema mappings
semantic representation
active rules
signature verification