Sunday, December 30, 2018

Who uses OpenWordNet-PT?

I have been guilty of not knowing exactly who's using the OpenWordNet-PT (our Portuguese wordnet) and for what, so I decided to write this blog post, which intends to be (some day) a bibliography of work using/citing OWN-PT, when I eventually get it done.

I am using Google Scholar for this laundry list, so it comes in order of more citations, not the year of publication. And I removed our own work, as I think it needs to be in a separate laundry list. Of course, what is our own work is a bit debatable. It is not simply about who are the authors, but whether the work is about lexicography/lexical resources or not, I think.

Of course, I have not read all the papers below. Yet. So there might be some that are repeated (I tried to avoid it, though) and some that only cite the OWN-PT to say `one shouldn't touch with a barge pole'. But still, I think I should read them all.

Google tells me that we have 75 citations now (Dec 2018). As usual, many are from our own work and many are counted twice, and 45 papers to read seems a task hard enough. Anyways, many of the papers below have Hugo G. Oliveira as an author, many thanks, Hugo!


ECO and Onto. PT: a flexible approach for creating a Portuguese wordnet automatically

HG OliveiraP Gomes - Language resources and evaluation, 2014 - Springer


Bootstrapping a Portuguese wordnet from Galician, Spanish and English wordnets

A SimoesXG Guinovart - … in Speech and Language Technologies for …, 2014 - Springer


CONTO. PT: groundwork for the automatic creation of a fuzzy Portuguese wordnet

HG Oliveira - … Conference on Computational Processing of the …, 2016 - Springer


An approach to sentiment analysis of web applications in portuguese

RF Martins, A PereiraF Benevenuto - Proceedings of the 21st Brazilian …, 2015 -


Size does not matter. Frequency does. A study of features for measuring lexical complexity

R Wilkens, A Dalla VecchiaMZ BoitoM Padró… - … Conference on Artificial …, 2014 - Springer


Deverbal Semantics and the Montagovian Generative Lexicon 

L Real, C Retoré - Journal of Logic, Language and Information, 2014 - Springer


ASAPP: alinhamento semântico automático de palavras aplicado ao português

A Oliveira AlvesR Rodrigues… - Linguamática, 2016 -


The creation of Onto. PT: A wordnet-like lexical ontology for Portuguese

HG Oliveira - … Conference on Computational Processing of the …, 2014 - Springer


A methodology to handle social media posts in brazilian portuguese for text mining applications

M Stiilpen Junior, LHC Merschmann - Proceedings of the 22nd Brazilian …, 2016 -


Revisiting the ontologising of semantic relation arguments in wordnet synsets

HG OliveiraP Gomes - Natural Language Engineering, 2016 -


[PDF] Creation and Management of Structured Language Resources

A Rambousek - 2015 - is.muni.c


Exploiting Portuguese Lexical Knowledge Bases for Answering Open Domain Cloze Questions Automatically.

HG Oliveira, I Coelho, P Gomes - LREC, 2014 -


Investigação de métodos de desambiguação lexical de sentidos de verbos do português do Brasil

MAS Cabezudo - 2015 -


[PDF] Tesauros Distribucionais para o Português: avaliaçao de metodologias

R Wilkens, L Zilio, E Ferreira, G Gonçalves… - 2015 -


[PDF] Beyond the automatic construction of a lexical ontology for Portuguese: resources developed in the scope of Onto. PT

HG Oliveira - Proceedings of the Workshop on Tools and …, 2014 -


Unsupervised Approaches for Computing Word Similarity in Portuguese

HG Oliveira - Portuguese Conference on Artificial Intelligence, 2017 - Springer


[PDF] On the automatic enrichment of a Portuguese wordnet with dictionary definitions

HG OliveiraP Gomes - … in artificial intelligence, local proceedings of …, 2013 -


Extraction et Complétion de Terminologies Multilingues

V Hanoka - 2015 -


[PDF] Anotação de sentidos de verbos em textos jornalísticos do corpus CSTNews

MAS CabezudoEG Maziero, JWC Souza… - Revista de Estudos …, 2015 -


Gradually Improving the Computation of Semantic Textual Similarity in Portuguese

HG OliveiraAO AlvesR Rodrigues - Portuguese Conference on Artificial …, 2017 - Springer


[PDF] Dicionário Criativo: The Construction of a Fuzzy Onomasiological Thesaurus from Multiple Sources

FI de Albuquerque, HG Oliveira - Proceedings of LexSem+ Logics 2016 -


The Portuguese B2SG: A Semantic Test for Distributional Thesaurus

R Wilkens, L Zilio, E Ferreira, A Villavicencio - International Conference on …, 2016 - Springer


Exploratory study of word sense disambiguation methods for verbs in brazilian portuguese

MAS CabezudoTAS Pardo - International Journal of …, 2015 -

Ontology lexicalization: Relationship between content and meaning in the context of Information Retrieval

M Schiessl, M Bräscher - Transinformação, 2017 - SciELO Brasil


Text-Image Alignment in Portuguese News Using LinkPICS

WC Veltroni, H de Medeiros Caseli - International Conference on …, 2018 - Springer

Distributional and Knowledge-Based Approaches for Computing Portuguese Word Similarity

H Gonçalo Oliveira - Information, 2018 -


On the Utility of Portuguese Term-Based Lexical-Semantic Networks

HG Oliveira - … Conference on Computational Processing of the …, 2014 - Springer


[PDF] Scoring Judicial Syllabi in Portuguese

JR BOURGUET, MZ COSTA - Legal Knowledge and Information …, 2017 -



J Nau, A Haendchen Filho… - … : International Journal of …, 2017 -


A Nontrivial Sentence Corpus for the Task of Sentence Readability Assessment in Portuguese

SE LealMS DuranSM Aluísio - … of the 27th International Conference on …, 2018 -


Putting Figures on Influences on Moroccan Darija from Arabic, French and Spanish using the WordNet

K MriniF Bond - 2018 -


Syntactic Knowledge for Natural Language Inference in Portuguese

E Fonseca, SM Aluísio - … Conference on Computational Processing of the …, 2018 - Springer

Comparing and Combining Portuguese Lexical-Semantic Knowledge Bases

H Gonçalo Oliveira - OASIcs-OpenAccess Series in Informatics, 2017 -


ASAPP 2.0: Advancing the state-of-the-art of semantic textual similarity for Portuguese

A AlvesH Gonçalo OliveiraR Rodrigues… - 7th Symposium on …, 2018 -


A Survey on Portuguese Lexical Knowledge Bases: Contents, Comparison and Combination

H Gonçalo Oliveira - Information, 2018 -


[PDF] LEXical resources PROject: strategies, applications and optimal development

M Lafourcade -


Quantum: Uma Ferramenta para Descoberta de Competências e Colaborações Universitárias

GRM dos Santos, AG Peil, D Retzlaff, A Alba… -


Construindo o primeiro algoritmo aprovado no Exame da OAB

PM Delfino - 2018 -


Uma abordagem baseada em similaridade semântica para promover baixo acoplamento de esquema de dados entre assinantes e publicadores em soluções …

P Júnior, A Fonseca - 2017 -


Semântica computacional com Wordnet

GP Passos - 2016 -


DS de Carvalho - 2014 -


[CITATION] Classificaç ao de Sentimentos em Nıvel de Sentença: uma Abordagem de Multiplas Camadas para Tweets em Lıngua Portuguesa

SMW Moraes, ALL Santos, MS Redecker…


Sunday, November 25, 2018

YouTube, oh youtube!

A short post just to collect some videos.

First the NASLLI Lecture Notes Introduction to Category Theory, The website of North American Summer school on Logic, Language and Information in Austin, Texas, 2012 is

Lecture 2
Lecture 3
Lecture 4
Lecture 5
Then a lecture on Modal Type Theory in Natal, at NAT@log

A PARC Forum Talk: Adventures in Searchland
Outreach effort:
CLiCS: CATEGORIAL LOGIC IN COMPUTER SCIENCE: WHERE DO WE STAND NOW? - Valeria de Paiva, Palo Alto Research Center, discusses Categorical Logica, a branch of Category Theory, a newer subfield of Algebra, established in the late forties/ early fifties by Eilengerg and MacLane. De Paiva will discuss the exciting possibilities for applcation in theretical computer science from a very personal perspective. M*A*T*H* Colloquium Lecture Series. 4 p.m. Weds., March 4. Darwin 103.

Saturday, November 24, 2018

Thanksgiving Break

The madness of the holidays is about to hit us. Where did the year  go?

Sure, there was a lot of travelling this year. In May we went to Oslo, in June we went to New Orleans for NAACL, in  July we were in Oxford for WiL/NLCS/Linearity as part of FLoC, in August I was in Brazil for the associated ICM meeting and in September I was in Luxembourg for the Logic AI Summit. phew! Nuance only gives me one paid conference a year, but I managed to ask them to pay for  the most expensive plane ticket (Oxford), and the most expensive registration fees (NAACL), and all was good.

So lots of talking, not so much writing. Thus when Lyn and Steve were visiting last Sunday and Steve was asking about my theory that writing papers should be just like shipping code (you just do it, no matter how bad the code is, the next week you correct it), I had to confess that the theory wasn't working very well, recently. You see, the theory requires collaborators also happy to take a dive in their reputations, in a bid to get readers... oh well, we do what we can.

But life intervenes and many of  the so-called small stuff can take a lot of time and disposition. Like totalling the car on the way to the airport. It was the best accident that someone could have had: the car was completely destroyed and I will confess that I thought this was it, the end of the film for me. Maybe this is what everyone who has an airbag explode on them thinks. Anyways two days later I was again in the same spot, in an uber to the airport, going to Luxembourg. And Dick even managed to make his original flight to Nebraska, yay! but it did leave a bitter taste in my mouth. Am I living my life right?  Have I got all my papers in order? What should I be doing instead? Hence this post with the picture of the car, so that I don't forget...

Thursday, November 1, 2018

Vardi's "How We Lost the Women in Computing"

A bit old by now, but  relevant still.

Moshe Vardi is a  Professor of Computer Science at Rice University, United States, who specializes in Databases. He's also a long time friend. He just penned this for the Communications of the ACM Magazine, of which he was Editor-in-Chief for quite a few years.

A busy summer

This post was written a while back, but never published..

My first NAACL-HLT


So I was impressed by the amount of interesting work I saw at NAACL this year. This was my first NAACL-HLT, but I have done quite a bit of reviewing this year (for ACL and  Coling), so it was clear that  there was a lot to hear in New Orleans.

I went because I wanted to talk to my young collaborators, Katerina Kalouli and Livy Real, who were presenting work, related to our  joint work.

Livy presented  work on creating a version of the SICK corpus in Portuguese as a poster in the workshop Widening NLP. The program in   says
  • Building a NLI Corpus for PortugueseLivy Real, Valeria dePaiva, Bruno Guide, Bruna Thalenberg, Cindy Silva, Guilherme Oliveira Lima, Ana Rodrigues, Beatriz Albiero, Rodrigo Souza and Igor de Camargo e Souza Câmara
 Katerina and Dick Crouch presented work on GKR: the Graphical Knowledge Representation for semantic parsing and Named Graphs for Semantic Representation. This very interesting work is related to some of my work on KIML (Knowledge and Information Management Logic).

I have met and talked to several people that I hadn't seen in years, which was nice, and New Orleans was amazing! I also met Ben van Durme, from John Hopkins University NLP group, for the  first time. Finally my friend Marilyn Walker was the overall chair person of the conference, which was also very nice.



Time flies. Looking at the program of the logic conference SBL - Brazilian Logic Society :: Events / WorkshopSBL2018 I asked my friend Samuel Gomes da Silva for his slides on

The Axiom of Choice and the Partition Principle from Dialectica Categories

and what was my surprise to see  this slide...
As we say in Portuguese, 'quem tem amigos tem tudo'. Many thanks Samuel Gomes da Silva!!

Wednesday, October 10, 2018

Ada Lovelace Day 2018

Almost forgot about Ada Lovelace Day again! The interwebs seem to be forgetting too. With all the bad stuff happening in politics and all the accumulated work, caused by (very nice, all the same!!) being Invited Speaker at the Logic AI Summit in Luxembourg, no wonder.

Anyways, my hero figure this year is Professor Christine Paulin-Mohring, Professor Université Paris-Sud and INRIA Saclay - Île-de-France.
Prof Paulin-Mohring  is one of the people responsible for Coq, the famous French theorem prover and an expert on  automated theorem proving using dependent type theory. I have not, so far, recognized any of my heroes of Functional Programming, so this is about time, really. Happy Ada Lovelace Day, Christine!

Monday, September 3, 2018

Mirantão and Linear Dependencies

Mirantão, or actually the `Pensão Renascer' in Mirantão is very pretty.  Rustic, with delicious food, very nice people and landscapes to remind you of a Minas Gerais that only exists in the old songs of Milton Nascimento and Fernando Brant.

But Jornadas Mirantão is not about Club de Esquina nor about the world of Guimarães Rosa, re-inventing o sertão. Jornadas Mirantão are about logic and proof theory in beautiful places. So I talked about an old work with Torben Bra\"u ner that I would like to go back to. This is about using linear dependencies between formulas to describe precisely (and without the support of terms) the system called Full Intuitionistic Linear Logic. The slides are in slideshare and the technical report in Cut-Elimination for Full Intuitionistic Linear Logic. (with Brauner). Technical Report 395 from Computer Laboratory, University of Cambridge and BRICS, Denmark. May 1996.

Sunday, August 26, 2018

Playing Mathematician at ICM2018

I am just back from Niteroi, Brazil, where I was Invited Speaker at Logic Satellite event for the International Congress of Mathematicians 2018 (ICM2018) co-organised by the Sociedade Brasileira de Lógica and  DLMPST/IUHPST. This

Division for Logic, Methodology, and Philosophy of Science and Technology

is an alphabet soup that no one can remember properly. The ICM is the  main meeting of  Mathematics around the world, where the Fields Medal, sometimes called the Nobel of Mathematics, is presented every four years. (a bit like the Olympics, really.) I had meant to go for the whole thing, since I have never been to one of these before and since this is the first time it has happened in the Southern Hemisphere, but ended up only being able to go for the Logic event.

The picture of me  comes from Twitter, courtesy of Benedikt Lowe, the Secretary of  the DLMPST 
and one of the main organizers of the logic satellite event. Thanks Benedikt!
I  talked about Relevant Dialectica Categories, which maybe I should talk about in the Nuance NAIL seminar too.

It was very nice of the people in Brazil (especially Bruno Lopes and Samuel Gomes da Silva) to invite me and pay for my trip! and very nice of my manager Charles Ortiz to authorize my PTO. Thank you!

Saturday, August 4, 2018

Invited Talks are Fun. Maybe.

I like talking. About work, about politics, about friendship, chit-chat or deep-issues, all are welcome and part of my repertoire.

But yeah, it's especially nice when people ask you to talk about your work. You don't have to submit something and wait for others to decide whether they like it or not, whether they think it's important or not. It's your invited talk, you can do whatever you want. Or so I say.

I feel very lucky to have been invited to talk about my work in a series of occasions. I have a very non-linear working career, with lots of  chop and changing along the way, which, I hope, makes for interesting talks. But clearly also means I don't have all the accolades of the profession. I am, in some sense, still a junior, still hungry to do more work, still not established enough. sigh..

But I digress: the reason I wanted to write this blog post was to remind myself of the other invited talks I've given, to make sure the message I really think it's important is not getting lost in the middle of my own confused mind. That place is a jungle, everything gets lost in there.

I notice that in the curriculum vitae in my webpage from 2016, I kind of list the following invited talks:
  1. Weapons of Math Construction, LICS Logic Mentoring Workshop,  Iceland, 2017.
  2. Intuitionistic Modal Logic: a personal view, Stanford Logic Seminar, Stanford, CA, USA, 2016
  3. Modal Type Theory, Logical and Semantic Frameworks with Applications (LSFA) 2015, Natal, Brazil.
  4. Lean Logic for Lean Times: Varieties of Natural Logic, Conference on Computing Natural Reasoning (CoCoNat), Bloomington, Indiana, US, 2015
  5. Lean Logic for Lean times: Entailment and Contradiction (ECD) Revisited, 4th CSLI Workshop on Logic, Rationality & Intelligent Interaction, Stanford, CA, US.
  6. Intuitionistic Modal Logic: 15 years later, Berkeley Logic ColloquiumBerkeley, CA, USA, 2015.
  7. Edwardian Proofs for Futuristic Programs and Personal Assistants,  Plenary Talk, North American Annual Meeting of the Association for Symbolic Logic, Boulder, CO, USA, 2014.
  8. Dialectica categories’ surprising application – mapping cardinal invariants, XV Latin American Symposium on Mathematical Logic (SLALM 2012), Bogotá, Colômbia, 2012
  9. Edwardian Proofs for Futuristic Programs, Invited Plenary Talk at Infinite Possibilities Conference, IPC2012, Baltimore, Maryland, 2012.
  10. A Bridge not too far, SRI AI Seminar, Menlo Park, CA, 2010. 
  11. Fibrational Versions of Dialectica Categories.Talk at Stanford Logic Seminar, 2010
  12. CLiCS: Categorical Logic in Computer Science, Talk at  M*A*T*H Colloquium, Sonoma State University, 2009.
  13. Adventures in SearchLand, PARC Forum, Palo Alto, CA, 2009
  14. Constructive Hybrid Logics and Contexts, Hybrid Logic, Seattle, WA, 2006.
  15. Dialectica Categories: a survey Logic Lunch Stanford, 1999.
  16. Explicit Linear Substitutions,  WoLLIC Sao Paulo, Brazil,  1998. 

Some are more prestigious than others.
I am very proud of having spoken at Infinity Possibilities and the two ASL meetings (Boulder and Bogota). and also especially of the Berkeley Logic Colloquium, where I wanted to ask autographs of the guys in the audience: William Craig, Dana Scott, Paolo Mancuso, John Steel,...
But the hardest was definitely talking about Dialectica categories to Sol Feferman and Grisha Mints when I first arrived in the Bay Area. I miss them!