The Imandra Automated Reasoning System (System Description).
Grant O. PassmoreSimon CruanesDenis IgnatovichDave AitkenMatt BrayElijah KaganKostya KanishevEwen MacleanNicola MomettoPublished in: IJCAR (2) (2020)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- theorem proving
- decision procedures
- theorem prover
- automated verification
- reasoning tasks
- probabilistic reasoning
- high level
- knowledge representation and reasoning
- propositional satisfiability
- prime implicants
- learning algorithm
- higher order
- general purpose
- artificial intelligence