A Satisfiability Tester for Non-clausal Propositional Calculus
Allen Van GelderPublished in: Inf. Comput. (1988)
Keyphrases
- propositional calculus
- decision procedures
- propositional theories
- computational problems
- logic programs
- theorem proving
- satisfiability problem
- modal logic
- propositional logic
- defeasible logic
- computational properties
- black box
- stochastic local search
- automated reasoning
- test cases
- np complete
- computational complexity
- inductive logic programming
- constraint propagation
- reasoning problems
- quantified boolean formulas
- satisfiability testing
- temporal resolution
- terminological reasoning
- nonmonotonic logics
- horn clauses
- prime implicates
- phase transition
- knowledge representation
- relational databases
- machine learning
- neural network