Founded semantics and constraint semantics of logic rules.

Yanhong A. Liu Scott D. Stoller

Published in: J. Log. Comput. (2020)

Keyphrases

logic rules
formal semantics
logic programming
machine learning
active learning
semantic information
databases
bayesian networks
natural language
probabilistic model