Pepijn Kokke

According to our database1, Pepijn Kokke authored at least 4 papers between 2013 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2013
2014
2015
2016
0
1
2
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Strong and Weak Quantifiers in Focused NL<sub>C</sub>.
Proceedings of the Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016), 2016

2015
Auto in Agda - Programming Proof Search Using Reflection.
Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

2014
Annotating by Proving using SemAnTE.
Proceedings of the 14th Conference of the European Chapter of the Association for Computational Linguistics, 2014

2013
Semantic Annotation of Textual Entailment.
Proceedings of the 10th International Conference on Computational Semantics, 2013


  Loading...