The tableau prover generator MetTeL2

Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi

    Research output: Chapter in Book/Report/Conference proceedingChapter


    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. © 2012 Springer-Verlag.
    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.
    PublisherSpringer Nature
    Number of pages3
    ISBN (Print)9783642333521
    Publication statusPublished - 2012
    Event13th European Conference on Logics in Artificial Intelligence, JELIA 2012 - Toulouse
    Duration: 1 Jul 2012 → …

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Berlin / Heidelberg


    Other13th European Conference on Logics in Artificial Intelligence, JELIA 2012
    Period1/07/12 → …
    Internet address


    Dive into the research topics of 'The tableau prover generator MetTeL2'. Together they form a unique fingerprint.

    Cite this