Pepijn Kokke

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 2

Top Topics

Semantic Annotation

Textual Entailment

Top Venues

Publications

Pepijn Kokke
. LACL (2016)
Pepijn Kokke, Wouter Swierstra
Auto in Agda - Programming Proof Search Using Reflection. MPC (2015)
Assaf Toledo, Stavroula Alexandropoulou, Sophie Chesney, Robert Grimm, Pepijn Kokke, Benno Kruit, Kyriaki Neophytou, Antony Nguyen, Yoad Winter
Annotating by Proving using SemAnTE. EACL (2014)
Assaf Toledo, Stavroula Alexandropoulou, Sophia Katrenko, Heidi Klockmann, Pepijn Kokke, Yoad Winter
Semantic Annotation of Textual Entailment. IWCS (2013)