Proving Formulas through Reduction to Decidable Classes.

Mauro Di Manzo Enrico Giunchiglia Alessandro Armando Paolo Pecchiari

Published in: AI*IA (1993)

Keyphrases

linear time temporal logic
knowledge base
neural network
training data
reduction method
tuple generating dependencies