Conference: Vampire18 (The 5th Vampire Workshop)

Conference: Vampire18 (The 5th Vampire Workshop)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Towards Word Sense Disambiguation by Reasoning

Towards Word Sense Disambiguation by Reasoning

Javier Álvez, Itziar Gonzalez-Dios and German Rigau

Counterexample-Guided Quantifier Instantiation in Logical Theories

Counterexample-Guided Quantifier Instantiation in Logical Theories

Andrew Reynolds and Cesare Tinelli

Testing ATP folklore: a statistical analysis of Vampire proofs.

Testing ATP folklore: a statistical analysis of Vampire proofs.

Michael Rawson and Giles Reger

Presentations in this collection: 3