Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux.

Antonio Gavilanes Javier Leach Pedro J. Martín Susana Nieva

Published in: AISMC (1996)

Keyphrases

machine learning
learning algorithm
knowledge base
website
reasoning process
real time
dynamic environments
functional dependencies
default reasoning
meta level
automated reasoning
reasoning systems
proof procedure