Automated Reasoning with a Constraint-Based Metainterpreter.
Henning ChristiansenPublished in: J. Log. Program. (1998)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- decision procedures
- probabilistic reasoning
- theorem prover
- theorem proving
- reasoning tasks
- constraint satisfaction
- automated verification
- knowledge representation and reasoning
- logical implication
- neural network
- logic programming
- propositional satisfiability
- prime implicants