Active Deduction Heuristic Algorithm of Standard Contradiction Separation Rule Based on Reinforcement Learning - researchr publication

researchr

You are not signed in
Sign in
Sign up

Jian Zhong, Peiyao Liu, Shuwei Chen 0001. Active Deduction Heuristic Algorithm of Standard Contradiction Separation Rule Based on Reinforcement Learning. In 18th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2023, Fuzhou, China, November 17-19, 2023. pages 426-430, IEEE, 2023. [doi]

Abstract is missing.

runs on WebDSL