The following pages link to Agent-Based HOL Reasoning (Q2819202):
Displaying 5 items.
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- (Q4540938) (← links)
- (Q4797443) (← links)
- The CADE-26 automated theorem proving system competition – CASC-26 (Q5145427) (← links)