Guilherme Lima

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 16

Top Topics

Geographic Data

Automated Theorem Proving

Top Venues

ISWC (Demos/Industry)

ISWC (Posters/Demos/Industry)

Publications

Guilherme Lima, Amanda Oliveira, Felix L. V. da Silva, Luana Pinheiro, Eduardo Luz, Larissa A. de Freitas
Desafios sobre a Detecção de Discurso de Ódio em Português Brasileiro: Construção de um Novo Corpus e Reflexões sobre o Processo. AMCIS (2024)
Guilherme Lima, Marcelo Machado, Elton F. S. Soares, Sandro Rama Fiorini, Raphael Thiago, Leonardo Guerreiro Azevedo, Viviane Torres da Silva, Renato Cerqueira
KIF: A Framework for Virtual Integration of Heterogeneous Knowledge Bases using Wikidata. CoRR (2024)
Achille Fokoue, Ibrahim Abdelaziz, Maxwell Crouse, Shajith Ikbal, Akihiro Kishimoto, Guilherme Lima, Ndivhuwo Makondo, Radu Marinescu
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations. IJCAI (2023)
Gianlucca L. Zuin, Humberto Lomeu, Gabriel Barros, Matheus Barbosa, Guilherme Lima, Nicolas Vançan, Fernando Biscione
A Modified Louvain Approach for Medical Community Detection using Geographic Data. CBMS (2023)
Achille Fokoue, Ibrahim Abdelaziz, Maxwell Crouse, Shajith Ikbal, Akihiro Kishimoto, Guilherme Lima, Ndivhuwo Makondo, Radu Marinescu
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations. CoRR (2023)
Marcelo Machado, Guilherme Lima, Elton F. S. Soares, Rosario Uceda-Sosa, Renato F. G. Cerqueira
Enabling Live SPARQL Queries over ConceptNet Using Triple Pattern Fragments. ESWC (2023)
Guilherme Lima, Alexandre Rademaker, Rosario Uceda-Sosa
ULKB Logic: A HOL-Based Framework for Reasoning over Knowledge Graphs. SBMF (2023)
Alexandre Rademaker, Guilherme Lima, Renato Cerqueira
Extracting higher-order logic formulas from English sentences. ICNLSP (2023)
Marcelo Machado, Guilherme Lima, Elton F. S. Soares, Vitor Nascimento, Rafael Brandão, Márcio Ferreira Moreno
An Extensible Approach for Query-Driven Multimodal Knowledge Graph Completion. ISWC (Posters/Demos/Industry) (2022)
Sumit Neelam, Udit Sharma, Hima Karanam, Shajith Ikbal, Pavan Kapanipathi, Ibrahim Abdelaziz, Nandana Mihindukulasooriya, Young-Suk Lee, Santosh K. Srivastava, Cezar Pendus, Saswati Dana, Dinesh Garg, Achille Fokoue, G. P. Shrivatsa Bhargav, Dinesh Khandelwal, Srinivas Ravishankar, Sairam Gurajada, Maria Chang, Rosario Uceda-Sosa, Salim Roukos, Alexander G. Gray, Guilherme Lima, Ryan Riegel, Francois P. S. Luus, L. Venkata Subramaniam
A Benchmark for Generalizable and Interpretable Temporal Question Answering over Knowledge Bases. CoRR (2022)
Sumit Neelam, Udit Sharma, Hima Karanam, Shajith Ikbal, Pavan Kapanipathi, Ibrahim Abdelaziz, Nandana Mihindukulasooriya, Young-Suk Lee, Santosh K. Srivastava, Cezar Pendus, Saswati Dana, Dinesh Garg, Achille Fokoue, G. P. Shrivatsa Bhargav, Dinesh Khandelwal, Srinivas Ravishankar, Sairam Gurajada, Maria Chang, Rosario Uceda-Sosa, Salim Roukos, Alexander Gray, Guilherme Lima, Ryan Riegel, Francois P. S. Luus, L. Venkata Subramaniam
SYGMA: A System for Generalizable and Modular Question Answering Over Knowledge Bases. EMNLP (Findings) (2022)
Sandro Rama Fiorini, Guilherme Lima, Márcio Ferreira Moreno
Demo: Tools for Information Fragmentation in Knowledge Graphs. ISWC (Posters/Demos/Industry) (2021)
Guilherme Lima, Marcelo Machado, Rosario Uceda-Sosa, Márcio Ferreira Moreno
Practical Rule-Based Qualitative Temporal Reasoning for the Semantic Web. RuleML+RR (2021)
Sumit Neelam, Udit Sharma, Hima Karanam, Shajith Ikbal, Pavan Kapanipathi, Ibrahim Abdelaziz, Nandana Mihindukulasooriya, Young-Suk Lee, Santosh K. Srivastava, Cezar Pendus, Saswati Dana, Dinesh Garg, Achille Fokoue, G. P. Shrivatsa Bhargav, Dinesh Khandelwal, Srinivas Ravishankar, Sairam Gurajada, Maria Chang, Rosario Uceda-Sosa, Salim Roukos, Alexander G. Gray, Guilherme Lima, Ryan Riegel, Francois P. S. Luus, L. Venkata Subramaniam
SYGMA: System for Generalizable Modular Question Answering OverKnowledge Bases. CoRR (2021)
Rafael Brandão, Vítor Lourenço, Marcelo Machado, Leonardo Azevedo, Marcelo Cardoso, Renan Souza, Guilherme Lima, Renato Cerqueira, Márcio Ferreira Moreno
A Knowledge-Based Approach for Structuring Cyclic Workflows. ISWC (Demos/Industry) (2020)
Rafael Brandão, Vítor Lourenço, Marcelo Machado, Leonardo Azevedo, Marcelo Cardoso, Renan Souza, Guilherme Lima, Renato Cerqueira, Márcio Ferreira Moreno
Cycle Orchestrator: A Knowledge-Based Approach for Structuring Cyclic ML Pipelines in the O&G Industry. ISWC (Demos/Industry) (2020)
Geórgia Mothé, Maria Castro, Marcelo Sthel, Guilherme Lima, Laisa Brasil, Layse Campos, Aline Rocha, Helion Vargas
Detection of Greenhouse Gas Precursors from Diesel Engines Using Electrochemical and Photoacoustic Sensors. Sensors 10 (11) (2010)
Mila Rocha, Marcelo Sthel, Guilherme Lima, Marcelo da Silva, Delson Schramm, András Miklós, Helion Vargas
Laser-Based Photoacoustic Spectroscopy. Sensors 10 (10) (2010)