KIF-QA: Using Off-the-shelf LLMs to Answer Simple Questions over Heterogeneous Knowledge Bases
- Marcelo Machado
- João Pedro Porto Campos
- et al.
- 2025
- ISWC 2025
Publications
23 results for Guilherme Augusto Ferreira Lima
Study planning assistant: Supporting material discovery with agentic workflows
- Viviane T. Silva
- Renato Fontoura de Gusmao Cerqueira
- et al.
- 2025
- ACS Spring 2025
ULKB Logic: A HOL-based Framework for Reasoning over Knowledge Graphs
- Guilherme Lima
- Alexandre Rademaker
- et al.
- 2025
- Science of Computer Programming
LLM Store: Leveraging Large Language Models as Sources of Wikidata-Structured Knowledge
- Marcelo Machado
- João Marcello Bessa Rodrigues
- et al.
- 2024
- ISWC 2024
LLM Store: A KIF Plugin for Wikidata-Based Knowledge Base Completion via LLMs
- Marcelo Machado
- João Marcello Bessa Rodrigues
- et al.
- 2024
- ISWC 2024
Deductive Verification of LLM generated SPARQL queries
- Alexandre Rademaker
- Guilherme Augusto Ferreira Lima
- et al.
- 2024
- LREC-COLING 2024
Integrating ADME-Tox properties of PFAS described in public and private knowledge bases using Wikidata
- Guilherme Augusto Ferreira Lima
- Marcelo Machado
- et al.
- 2024
- ACS Spring 2024
Extracting higher-order logic formulas from English sentences
- Alexandre Rademaker
- Guilherme Augusto Ferreira Lima
- et al.
- 2023
- ICNLSP 2023
ULKB Logic: A HOL-based framework for reasoning over knowledge graphs
- Guilherme Augusto Ferreira Lima
- Alexandre Rademaker
- et al.
- 2023
- SBMF 2023
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
- Achille Fokoue
- Ibrahim Abdelaziz
- et al.
- 2023
- IJCAI 2023