Tableau Systems for Logics of Subinterval Structures over Dense Orderings.

Davide Bresolin Valentin Goranko Angelo Montanari Pietro Sala

Published in: TABLEAUX (2007)

Keyphrases

management system
distributed systems
neural network
expert systems
intelligent systems
clustering algorithm
computer systems
knowledge based systems
complex systems
retrieval systems