Extending a High-Performance Prover to Higher-Order Logic.

Petar Vukmirovic Jasmin Blanchette Stephan Schulz

Published in: TACAS (2) (2023)

Keyphrases

higher order logic
theorem prover
higher order
theorem proving
automated theorem proving
automated reasoning
first order logic
inference rules
logical framework
conditional logic
multi agent
expert systems
description logics
reasoning systems