Automated Reasoning and Nonclassical Logics: Introduction.
Michael A. McRobbiePublished in: J. Autom. Reason. (1991)
Keyphrases
- automated reasoning
- decision procedures
- proof theory
- theorem proving
- reasoning systems
- knowledge representation
- valued logic
- theorem prover
- reasoning tasks
- expressive power
- probabilistic reasoning
- automated verification
- inference rules
- modal logic
- receptive fields
- first order logic
- knowledge representation and reasoning
- logical implication
- high level
- propositional logic
- propositional satisfiability
- expert systems
- optimal solution