JTabWb is a Java framework for developing provers based on terminating sequent or tableau calculi. It provides a generic engine which performs proof-search driven by a user-defined specification. The user is required to define the components of a prover by implementing suitable Java interfaces. The implemented provers can be used as standalone applications or embedded in other Java applications. The framework also supports proof-trace generation, LATEX rendering of proofs and counter-model generation.
Ferrari, M., Fiorentini, C., & Fiorino, G. (2014). JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi. In Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014. (pp.46-53). CEUR-WS.org.
Citazione: | Ferrari, M., Fiorentini, C., & Fiorino, G. (2014). JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi. In Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014. (pp.46-53). CEUR-WS.org. | |
Tipo: | paper | |
Carattere della pubblicazione: | Scientifica | |
Presenza di un coautore afferente ad Istituzioni straniere: | No | |
Titolo: | JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi | |
Autori: | Ferrari, M; Fiorentini, C; Fiorino, G | |
Autori: | FIORINO, GUIDO GIUSEPPE (Ultimo) | |
Data di pubblicazione: | 2014 | |
Lingua: | English | |
Nome del convegno: | 29th Italian Conference on Computational Logic | |
Serie: | CEUR WORKSHOP PROCEEDINGS | |
Appare nelle tipologie: | 02 - Intervento a convegno |