swMATH13554MaRDI QIDQ25468FDOQ25468
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007%2F978-3-319-20615-8_22
Cited In (10)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
- Extensional higher-order paramodulation in Leo-III
- Monte Carlo tableau proof search
- QMLTP
- Leo-III
- LegalRuleML
- Automating free logic in Isabelle/HOL
- There is no best \(\beta \)-normalization strategy for higher-order reasoners
- Agent-based HOL reasoning
- The higher-order prover Leo-III
This page was built for software: LeoPARD
