Automated Reasoning Repair.
Amirfarhad NilizadehGary T. LeavensDavid R. CokPublished in: FTfJP@ECOOP (2022)
Keyphrases
- automated reasoning
- reasoning systems
- theorem proving
- decision procedures
- knowledge representation
- theorem prover
- reasoning tasks
- probabilistic reasoning
- automated verification
- knowledge representation and reasoning
- artificial intelligence
- constraint satisfaction
- first order logic
- pairwise
- expert systems
- prime implicants
- machine learning