LeoPARD

swMATH13554MaRDI QIDQ25468

No author found.

Described by source

• LeoPARD — A Generic Platform for the Implementation of Higher-Order Reasoners

Related Items (7)

There Is No Best $$\beta $$ -Normalization Strategy for Higher-Order Reasoners ⋮ Monte Carlo tableau proof search ⋮ Extensional higher-order paramodulation in Leo-III ⋮ Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support ⋮ The higher-order prover Leo-III ⋮ Automating Free Logic in Isabelle/HOL ⋮ Agent-Based HOL Reasoning

This page was built for software: LeoPARD