EasyChair Smart SlideDocs/Log in
Author: Sophie Tourret

This page shows all presentations of this author published in EasyChair Smart Slide.

Verified Given Clause Procedures

Verified Given Clause Procedures

Jasmin Blanchette, Qi Qiu and Sophie Tourret

Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract)

Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract)

Fajar Haifani, Patrick Koopmann, Sophie Tourret and Christoph Weidenbach

Superposition with Lambdas

Superposition with Lambdas

Alexander Bentkamp, Jasmin Christian Blanchette, Sophie Tourret, Petar Vukmirović and Uwe Waldmann

SLD-Resolution Reduction of Second-Order Horn Fragments - Extended Abstract

SLD-Resolution Reduction of Second-Order Horn Fragments - Extended Abstract

Sophie Tourret and Andrew Cropper

Presentations in this collection: 4
Copyright © 2002 – 2024 EasyChair