Login / Signup

An Analysis of Empirical Testing for Modal Decision Procedures.

Ian HorrocksPeter F. Patel-SchneiderRoberto Sebastiani
Published in: Log. J. IGPL (2000)
Keyphrases
  • decision procedures
  • modal logic
  • data analysis
  • data sets
  • databases
  • relational databases
  • test cases