Get our free extension to see links to code for papers anywhere online!

 Add to Chrome

 Add to Firefox

CatalyzeX Code Finder - Browser extension linking code for ML papers across the web! | Product Hunt Embed
Valeria de Paiva

Topos Institute

Deriving Theorems in Implicational Linear Logic, Declaratively

Sep 22, 2020
Paul Tarau, Valeria de Paiva

* EPTCS 325, 2020, pp. 110-123 
* In Proceedings ICLP 2020, arXiv:2009.09158 

  Access Paper or Ask Questions

Linguistic Legal Concept Extraction in Portuguese

Oct 22, 2018
Alessandra Cid, Alexandre Rademaker, Bruno Cuconato, Valeria de Paiva

* This work was accepted for publication in the JURIX 2018 ( in a short 5-pages version 

  Access Paper or Ask Questions

Proceedings of the LexSem+Logics Workshop 2016

Aug 14, 2016
Steven Neale, Valeria de Paiva, Arantxa Otegi, Alexandre Rademaker

  Access Paper or Ask Questions