Study planning assistant: Supporting material discovery with agentic workflows
- Viviane T. Silva
- Renato Fontoura de Gusmao Cerqueira
- et al.
- 2025
- ACS Spring 2025
Publications
22 results for Guilherme Augusto Ferreira Lima
ULKB Logic: A HOL-based Framework for Reasoning over Knowledge Graphs
- Guilherme Augusto Ferreira 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
- 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
Enabling Live SPARQL Queries Over ConceptNet Using Triple Pattern Fragments
- 2023
- ESWC 2023