Inductive Benchmarks for Automated Reasoning.
Márton HajdúPetra HozzováLaura KovácsJohannes SchoisswohlAndrei VoronkovPublished in: CICM (2021)
Keyphrases
- automated reasoning
- knowledge representation
- reasoning systems
- theorem proving
- probabilistic reasoning
- theorem prover
- decision procedures
- reasoning tasks
- inductive learning
- automated verification
- machine learning
- knowledge representation and reasoning
- expert systems
- knowledge base
- propositional satisfiability
- inductive logic programming
- artificial intelligence
- programming language
- prime implicants