The following pages link to Agent-Based HOL Reasoning (Q2819202):
Displaying 3 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)
- The CADE-26 automated theorem proving system competition – CASC-26 (Q5145427) (← links)
