C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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