A Resolution Prover for Coalition Logic by Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt

Get full text

A Novel Combinational ATP Based on Contradiction Separation for First-Order Logic by Jian Zhong, Yang Xu, Feng Cao

“…This paper incorporates the S-CS rule with the well-known prover Prover9, to build a combined system, which effectively integrates the advantages of the two methods, not only improves the binary-resolution prover's ability, but also solves more than 100 problems that cannot be solved by other provers.…”
Get full text