Towards automated deduction in cP systems.

Yezhou Liu Radu Nicolescu Jing Sun

Published in: Inf. Sci. (2022)

Keyphrases

automated deduction
theorem prover
theorem proving
information retrieval
computer vision
distributed systems
genetic algorithm
knowledge base
case study
general purpose
logic programs
text classification
knowledge based systems
learning systems
inference rules