The Tableau Prover Generator MetTeL2

  • Dmitry Tishkovsky
  • Renate A. Schmidt
  • Mohammad Khodadadi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7519)

Abstract

This paper introduces METTEL2, a tableau prover generator producing Java code from the specification of a tableau calculus for a logical language. METTEL2 is intended to provide an easy to use system for non-technical users and allow technical users to extend the generated implementations.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Khodadadi, M., Schmidt, R.A., Tishkovsky, D.: An abstract tableau calculus for the description logic \(\mathcal{SHOI}\) using unrestricted blocking and rewriting. In: Proc. DL 2012. CEUR Workshop Proceedings, vol. 846, pp. 224–234 (2012)Google Scholar
  2. 2.
    Khodadadi, M., Schmidt, R.A., Tishkovsky, D., Zawidzki, M.: Terminating tableau calculi for modal logic \(\textsl{\upshape K}\) with global counting operators (manuscript, 2012), http://www.mettel-prover.org/papers/KEn12.pdf
  3. 3.
    Minica, S., Khodadadi, M., Schmidt, R.A., Tishkovsky, D.: Synthesising and implementing tableau calculi for interrogative epistemic logics. In: Proc. PAAR 2012, pp. 109–123 (2012)Google Scholar
  4. 4.
    Schmidt, R.A., Tishkovsky, D.: Automated synthesis of tableau calculi. Log. Methods Comput. Sci. 7(2:6), 1–32 (2011)MathSciNetMATHGoogle Scholar
  5. 5.
    Schmidt, R.A., Tishkovsky, D.: Using tableau to decide description logics with full role negation and identity (2011) (manuscript), http://www.mettel-prover.org/papers/ALBOid.pdf
  6. 6.
    Tishkovsky, D., Schmidt, R.A., Khodadadi, M.: \(\textsc{Met\hspace{-.5pt}TeL}\): A Tableau Prover with Logic-Independent Inference Engine. In: Brünnler, K., Metcalfe, G. (eds.) TABLEAUX 2011. LNCS, vol. 6793, pp. 242–247. Springer, Heidelberg (2011)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Dmitry Tishkovsky
    • 1
  • Renate A. Schmidt
    • 1
  • Mohammad Khodadadi
    • 1
  1. 1.School of Computer ScienceThe University of ManchesterUK

Personalised recommendations