Campus Event Calendar
Event Entry
What and Who
External Sources of Axioms in Automated Theorem Proving
Martin Suda
International Max Planck Research School for Computer Science - IMPRS-CS
PhD Application Talk
AG 1, AG 3, AG 4, AG 5, SWS, RG1, MMCI
Public Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Monday, 19 October 2009
09:00
240 Minutes
E1 4
024
Saarbrücken
Abstract
In recent years there has been a growing demand for Automated Theorem Proving (ATP) in large theories, which often have more axioms than can be handled effectively as normal internal axioms. This work addresses the issues of accessing external sources of axioms from a first order logic ATP system, and presents an implemented ATP system that retrieves external axioms asynchronously, on demand.
Contact
imprs
225
--email hidden
passcode not visible
logged in users only
Jennifer Gerling, 10/07/2009 15:25 -- Created document.