[Club2] Talk by Daniel Kuehlwein--Wed. July 11, 2 PM, Turing

[Andrei Popescu]

Dear All,  
This week, Daniel Kuehlwein will give a talk on the use of machine learning techniques for determining redundant premises.     
Best regards,   Andrei 
Daniel KuehlweinSolving the premise selection problem====================================================Wed. July 11, 14:00, MI 00.09.055 ("Alan Turing")  
Given a lot of axioms and a conjecture, how can one determine whichof the axioms are needed for a proof without doing a proof"is the the premise selection problem. It arises when one tries to useautomated theorem provers on problems with many premises/axioms.Without premise selection, problems with lots of premises are usuallyunsolvable. In this talk I will give an overview of existing methods and show how machine learning can sometimes be used to improve them. 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20120709/00904d68/attachment.html>