Study planning assistant: Supporting material discovery with agentic workflowsViviane T. SilvaRenato Fontoura de Gusmao Cerqueiraet al.2025ACS Spring 2025
ULKB Logic: A HOL-based Framework for Reasoning over Knowledge GraphsGuilherme Augusto Ferreira LimaAlexandre Rademakeret al.2025Science of Computer Programming
LLM Store: Leveraging Large Language Models as Sources of Wikidata-Structured KnowledgeMarcelo MachadoJoão Marcello Bessa Rodrigueset al.2024ISWC 2024
LLM Store: A KIF Plugin for Wikidata-Based Knowledge Base Completion via LLMsMarcelo MachadoJoão Marcello Bessa Rodrigueset al.2024ISWC 2024
Deductive Verification of LLM generated SPARQL queriesAlexandre RademakerGuilherme Augusto Ferreira Limaet al.2024LREC-COLING 2024
Integrating ADME-Tox properties of PFAS described in public and private knowledge bases using WikidataGuilherme Augusto Ferreira LimaMarcelo Machadoet al.2024ACS Spring 2024
Extracting higher-order logic formulas from English sentencesAlexandre RademakerGuilherme Augusto Ferreira Limaet al.2023ICNLSP 2023
ULKB Logic: A HOL-based framework for reasoning over knowledge graphsGuilherme Augusto Ferreira LimaAlexandre Rademakeret al.2023SBMF 2023
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural RepresentationsAchille FokoueIbrahim Abdelazizet al.2023IJCAI 2023
Enabling Live SPARQL Queries Over ConceptNet Using Triple Pattern FragmentsMarcelo MachadoGuilherme Augusto Ferreira Limaet al.2023ESWC 2023