Contradiction separation based dynamic multi-clause synergized automated deduction.

Yang Xu Jun Liu Shuwei Chen Xiaomei Zhong Xingxing He

Published in: Inf. Sci. (2018)

Keyphrases

automated deduction
theorem prover
theorem proving
dynamic environments
machine learning
artificial intelligence
information systems
case study
database systems
search space
active learning
software engineering
general purpose
logic programming