Free Variable Tableaux for a Many Sorted Logic with Preorders.

Antonio Gavilanes Javier Leach Susana Nieva

Published in: AMAST (1996)

Keyphrases

functional dependencies
real time
information retrieval
computer vision
modal logic
decision procedures
neural network
genetic algorithm
image processing
reinforcement learning
special case
object oriented