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 |
Appare nelle tipologie: | 02 - Intervento a convegno |