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, schmidt@cs.man.ac.uk