Login / Signup

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

Rosalie IemhoffGeorge 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