Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

MKM
2009
Springer

favoriteEmaildiscussreport

91views Information Technology» more MKM 2009»

Natural Deduction Environment for Matita

13 years 11 months ago

Natural Deduction Environment for Matita

Download www.cs.unibo.it

Abstract. Matita is a proof assistant characterised by a rich, user extensible, output facility based on a widget for the rendering of MathML Presentation, and by the automatic handling of overloading by means of a ﬂexible disambiguation mechanism. We show how to use these features to obtain a simple learning environment for natural deduction, without modifying the source code or Matita.

Claudio Sacerdoti Coen, Enrico Tassi

Real-time Traffic

Information Management | MKM 2009 | Proof Assistant | Simple Learning Environment | ﬂexible Disambiguation Mechanism |

claim paper

Related Content

» A Natural Deduction Approach to Dynamic Logic

» A Deductive Data Model for Query Expansion

» LogAnswer A DeductionBased Question Answering System System Description

» A framework for checking proofs naturally

» OSCAR An Architecture for Generally Intelligent Agents

» Meaning and Dialogue Coherence A Prooftheoretic Investigation

» Temporal Action Logic for Question Answering in an Adventure Game

» Design Principles for a System to Teach Problem Solving by Modelling

Post Info
More Details (n/a)

Added	27 May 2010
Updated	27 May 2010
Type	Conference
Year	2009
Where	MKM
Authors	Claudio Sacerdoti Coen, Enrico Tassi

Comments (0)