Vasiliki Efstathiou at the Demokritos IIT lecture series on argument generation in classical logic

25 November 2015

Vasiliki Efstathiou has been invited to give a lecture at the Lecture Series of the Demokritos Institute of Informatics and Telecommunciations, this Wednesday at 16.00. In her talk, she will introduce automated theorem proving algorithms for efficiently generating arguments in classical propositional and first-order logic, following a connection graph approach.