Login / Signup
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