Closure System and Its Semantics.

Yinbin Lei Jun Zhang

Published in: Axioms (2021)

Keyphrases

formal semantics
semantic information
default reasoning
transformation rules
closure operator
data sets
e learning
search algorithm
logic programming
logical language
strictly convex