LeoPARD

swMATH13554MaRDI QIDQ25468FDOQ25468

Authors scientific article; zbMATH DE number Author name (Why is no real title available?)

Official website http://link.springer.com/chapter/10.1007%2F978-3-319-20615-8_22

Described by source

• \textsc{LeoPARD} -- a generic platform for the implementation of higher-order reasoners

Cited in

(10)

• Extensional higher-order paramodulation in Leo-III
• Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
• Agent-based HOL reasoning
• Automating free logic in Isabelle/HOL
• Monte Carlo tableau proof search
• There is no best \(\beta \)-normalization strategy for higher-order reasoners
• QMLTP
• Leo-III
• LegalRuleML
• The higher-order prover Leo-III

This page was built for software: LeoPARD