HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:German Rigau

Publications
Towards Word Sense Disambiguation by Reasoning
Javier Álvez, Itziar Gonzalez-Dios and German Rigau
In:Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops
Evaluating Automated Theorem Provers Using Adimen-SUMO
Javier Álvez, Paqui Lucio and German Rigau
In:Vampire 2016. Proceedings of the 3rd Vampire Workshop

Keyphrases

automated theorem proving, benchmark, Natural Language Processing, Ontologies2, semantic mappings, SUMO, system evaluation.

Copyright © 2012-2025 easychair.org. All rights reserved.