Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Pepijn Kokke"'
Autor:
Pepijn Kokke
Publikováno v:
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) ISBN: 9783662538258
We propose an improvement of Barker and Shan’s [4] NL$$_{\text {CL}}$$ CL for which derivability is decidable, which has a normal-form for proof search, can analyse scope islands, and distinguish between strong and weak quantifiers.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bf09936fc95f8357d72015fa11e587ab
https://doi.org/10.1007/978-3-662-53826-5_9
https://doi.org/10.1007/978-3-662-53826-5_9
Autor:
Wouter Swierstra, Pepijn Kokke
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319197968
As proofs in type theory become increasingly complex, there is a growing need to provide better proof automation. This paper shows how to implement a Prolog-style resolution procedure in the dependently typed programming language Agda. Connecting thi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::968280ff4806eb5b4ca40532640019cc
https://doi.org/10.1007/978-3-319-19797-5_14
https://doi.org/10.1007/978-3-319-19797-5_14
Autor:
Sophia Katrenko, Benno Kruit, Heidi Klockmann, Yoad Winter, Sophie Chesney, Stavroula Alexandropoulou, Assaf Toledo, Pepijn Kokke
Publikováno v:
Linguistic Issues in Language Technology. 9
We introduce a new formal semantic model for annotating textual entailments that describes restrictive, intersective, and appositive modification. The model contains a formally defined interpreted lexicon, which specifies the inventory of symbols and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1b4a3ff51e10f916ba357ae10574f156
https://doi.org/10.33011/lilt.v9i.1331
https://doi.org/10.33011/lilt.v9i.1331
Autor:
Pepijn Kokke, Stavroula Alexandropoulou, Benno Kruit, Sophie Chesney, Assaf Toledo, Kyriaki Neophytou, Yoad Winter, Antony Nguyen, Robert Grimm
Publikováno v:
EACL
We present SemAnTE, a platform for marking and substantiating a semantic annotation scheme of textual entailment according to a formal model. The platform introduces a novel approach to annotation by providing annotators immediate feedback whether th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::13da34b3109cf8d27b3fcd6484354f52
https://doi.org/10.3115/v1/e14-2020
https://doi.org/10.3115/v1/e14-2020