The following pages link to A Non-clausal Connection Calculus (Q3010371):
Displaying 12 items.
- Incremental variable splitting (Q429591) (← links)
- Consolution as a framework for comparing calculi (Q1322772) (← links)
- Non-clausal connection calculi for non-classical logics (Q1694466) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- The possibilistic Horn non-clausal knowledge bases (Q2105624) (← links)
- The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics (Q2142078) (← links)
- Connections in nonclassical logics (Q2751374) (← links)
- nanoCoP: A Non-clausal Connection Prover (Q2817929) (← links)
- (Q4412862) (← links)
- From Schütte’s Formal Systems to Modern Automated Deduction (Q5013905) (← links)
- The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9 (Q5145447) (← links)
- Controlled use of clausal lemmas in connection tableau calculi (Q5927985) (← links)