Generalized Tableau Systems for Intemediate Propositional Logics.

Alessandro Avellone Pierangelo Miglioli Ugo Moscato Mario Ornaghi

Published in: TABLEAUX (1997)

Keyphrases

distributed systems
information systems
artificial intelligence
expert systems
complex systems
machine learning
information retrieval
management system
intelligent systems
knowledge based systems
building blocks
expressive power
inference rules