Lower Bound Founded Logic of Here-and-There.
Pedro CabalarJorge FandinnoTorsten SchaubSebastian SchellhornPublished in: JELIA (2019)
Keyphrases
- lower bound
- upper bound
- branch and bound algorithm
- branch and bound
- objective function
- optimal solution
- classical logic
- modal logic
- lower and upper bounds
- multi valued
- logic programming
- predicate logic
- upper and lower bounds
- automated reasoning
- neural network
- epistemic logic
- defeasible logic
- sufficiently accurate
- worst case
- lagrangian relaxation
- vc dimension
- sample complexity