Upside-Down Transformation in SOL/Connection Tableaux and Its Application.

Koji Iwanuma Katsumi Inoue Hidetomo Nabeshima

Published in: ICTAC (2005)

Keyphrases

modal logic
artificial intelligence
functional dependencies
decision procedures
real time
data structure
video sequences
digital libraries