On First-Order Expressibility of Satisfiability in Submodels.
Denis I. SavelievPublished in: WoLLIC (2019)
Keyphrases
- first order logic
- propositional logic
- higher order
- np complete
- propositional theories
- quantified boolean formulas
- universally quantified
- phase transition
- satisfiability problem
- sat problem
- terminological reasoning
- satisfiability testing
- stochastic dominance
- databases
- computational properties
- reasoning problems
- linear temporal logic
- horn clauses
- concept learning
- logic programs
- search space
- computational complexity