The tableau prover generator MetTeL2

Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi

    Research output: Chapter in Book/Report/Conference proceedingChapter

    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. © 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
    Pages492-495
    Number of pages3
    Volume7519
    ISBN (Print)9783642333521
    DOIs
    Publication statusPublished - 2012
    Event13th European Conference on Logics in Artificial Intelligence, JELIA 2012 - Toulouse
    Duration: 1 Jul 2012 → …
    http://dx.doi.org/10.1007/978-3-642-33353-8_41

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Berlin / Heidelberg

    Other

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

    Fingerprint

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

    Cite this