AI Chat AI Image Generator AI Video Text to Speech

ANITA: Analytic Tableau Proof Assistant

03/10/2023

∙

by Davi Romero Vasconcelos, et al.

∙

∙

This work presents the system ANITA (Analytic Tableau Proof Assistant) developed for teaching analytic tableaux to computer science students. The tool is written in Python and can be used as a desktop application, or in a web platform. This paper describes the logical system of the tool, explains how the tool is used and compares it to several similar tools. ANITA has already been used in logic courses and an evaluation of the tool is presented.

research

∙ 04/04/2018

Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic

Logic is a foundation for many modern areas of computer science. In arti...

0 Gaetano Geck, et al. ∙

research

∙ 02/28/2020

Tools in Term Rewriting for Education

Term rewriting is a Turing complete model of computation. When taught to...

0 Sarah Winkler, et al. ∙

research

∙ 01/16/2022

PolicyCLOUD: A prototype of a Cloud Serverless Ecosystem for Policy Analytics

We present PolicyCLOUD, a prototype for an extensible, serverless cloud-...

0 Ofer Biran, et al. ∙

research

∙ 03/10/2023

A Proof Tree Builder for Sequent Calculus and Hoare Logic

We have developed a web-based pedagogical proof assistant, the Proof Tre...

0 Joomy Korkut, et al. ∙

research

∙ 08/14/2023

ProofBuddy: A Proof Assistant for Learning and Monitoring

Proof competence, i.e. the ability to write and check (mathematical) pro...

0 Nadine Karsten, et al. ∙

research

∙ 03/05/2018

Carnap: An Open Framework for Formal Reasoning in the Browser

This paper presents an overview of Carnap, a free and open framework for...

0 Graham Leach-Krouse, et al. ∙

research

∙ 08/30/2023

Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials

Active Logic Documents (ALD) are web pages which incorporate embedded Pr...

0 Daniela Ferreiro, et al. ∙