Taming Modal Impredicativity: Superlazy Reduction

Ugo Dal Lago Luca Roversi Luca Vercelli

Published in: CoRR (2008)

Keyphrases

modal logic
decision making
case study
database
reduction method
real time
real world
learning environment
pattern recognition
object recognition
relational databases