Login / Signup
Extending $$\mathscr {E\!L}^{++}$$ with Linear Constraints on the Probability of Axioms.
Marcelo Finger
Published in:
Description Logic, Theory Combination, and All That (2019)
Keyphrases
</>
linear constraints
constraint databases
nonlinear programming
boolean formula
linearly constrained
knowledge base
equality constraints
constraint solver
probability distribution
convex sets
quadratic program
maximum likelihood
generative model
first order logic