The Tableau Prover Generator MetTeL2

Tishkovsky, D., Schmidt, R. A. and Khodadadi, M. (2012)

In del Cerro, L. F. and Herzig, A. and Mengin, J. (eds), Proceedings of the 13th European Conference on Logics in Artificial Intelligence (JELIA 2012). Lecture Notes in Computer Science Vol. 7519, Springer, 492-495. BiBTeX, PDF (final version available via DOI link to Springer).

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.

MetTel2 can be dowloaded and used via a web-interface at the MetTeL website.

Renate A. Schmidt
Home | Publications | Tools | FM Group | School | Man Univ

Last modified: 28 Feb 14
Copyright © 2012 Renate A. Schmidt, School of Computer Science, Man Univ,