Milestones for Automated Reasoning with Otter.
Larry WosPublished in: Int. J. Artif. Intell. Tools (2006)
Keyphrases
- automated reasoning
- theorem prover
- reasoning systems
- theorem proving
- inference rules
- first order logic
- reasoning tasks
- decision procedures
- knowledge representation and reasoning
- automated verification
- logical implication
- probabilistic reasoning
- knowledge representation
- general purpose
- relational databases
- pairwise
- bayesian networks
- prime implicants
- artificial intelligence