Login / Signup

-Inference Rules: interpolation, model completion, and contact algebras.

Nick BezhanishviliLuca CaraiSilvio GhilardiLucia Landi
Published in: Ann. Pure Appl. Log. (2023)
Keyphrases
  • inference rules
  • probabilistic model
  • machine learning
  • constraint satisfaction
  • integrity constraints