SLI: a tool for easing the understanding of automated proof construction

Authors:
José A. Maestro-Prieto;M. Aránzazu Simon-Hurtado
Affiliations:
Universidad de Valladolid;Universidad de Valladolid
Venue:
ACM Inroads
Year:
2013

Citing 3
Cited 0

Artificial intelligence: a new synthesis

Artificial intelligence: a new synthesis
User Interaction with the Matita Proof Assistant

Journal of Automated Reasoning
Visualizing Prolog: a "jigsaw puzzle" approach

ACM Inroads

Quantified Score

Hi-index	0.00

Visualization

Abstract

This article describes the experience obtained from teaching computational logic in an introductory course for undergraduates. The proposed teaching approach helps students to reach a deeper level of understanding in first order logic representation, computational logic procedures and automated theorem proving. The article includes the description of SLI, a theorem prover with a graphical output, a feature appreciated by students.