Semantic Tableaux for a Logic with Preorders and Dynamic Sorts.

Pedro J. Martín Antonio Gavilanes

Published in: APPIA-GULP-PRODE (1996)

Keyphrases

modal logic
semantic information
neural network
high level
dynamic environments
semantic similarity
data sets
natural language
multi agent systems
domain specific
visual features
semantic features
automated reasoning
multi valued
proof theory