Goal-Oriented Conjecturing for Isabelle/HOL.

Yutaka Nagashima Julian Parsert

Published in: CICM (2018)

Keyphrases

goal oriented
theorem prover
natural deduction
theorem proving
inference rules
first order logic
higher order logic
requirements analysis
process oriented
cut elimination
requirements engineering
sequent calculus
mental imagery
expert systems
data marts
computational model
object oriented