Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics.

Rosalie Iemhoff George Metcalfe

Published in: LFCS (2009)

Keyphrases

management system
complex systems
modal logic
rule based systems
data sets
genetic algorithm
expert systems
association rules
data model
domain knowledge
query language
computer systems
abstraction levels