MleanCoP
From MaRDI portal
Software:33329
No author found.
Related Items (14)
Prolog Technology Reinforcement Learning Prover ⋮ The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics ⋮ Eliminating models during model elimination ⋮ Extensional higher-order paramodulation in Leo-III ⋮ A Meta-level Annotation Language for Legal Texts ⋮ Towards an Executable Methodology for the Formalization of Legal Texts ⋮ Higher-Order Modal Logics: Automation and Applications ⋮ Theorem Provers For Every Normal Modal Logic ⋮ Automated reasoning. 7th international joint conference, IJCAR 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 19--22, 2014. Proceedings ⋮ Machine learning guidance for connection tableaux ⋮ The higher-order prover Leo-III ⋮ nanoCoP: A Non-clausal Connection Prover ⋮ Local is best: efficient reductions to modal logic \textsf{K} ⋮ Local reductions for the modal cube
This page was built for software: MleanCoP
