Towards automated reasoning in Herbrand structures.
Liron CohenReuben N. S. RoweYoni ZoharPublished in: J. Log. Comput. (2019)
Keyphrases
- automated reasoning
- reasoning systems
- theorem prover
- theorem proving
- knowledge representation
- probabilistic reasoning
- first order logic
- decision procedures
- reasoning tasks
- automated verification
- logic programming
- logic programs
- knowledge representation and reasoning
- statistical relational learning
- probabilistic logic
- knowledge base
- expert systems
- computational complexity
- bayesian networks
- propositional satisfiability
- function symbols