Automating Inductive Specification Proofs.

Brigitte Pientka Christoph Kreitz

Published in: Fundam. Informaticae (1999)

Keyphrases

machine learning
theorem proving
inductive learning
formal specification
information systems
theorem prover
inductive logic programming
mathematical proofs
rule learning
genetic algorithm
high level
web services
business rules
data sets
provably correct
functional programs
real time