3 papers
cs.LO2026
LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
Medina Andresel, Cristinel Mateis, Dejan Nickovic +3
Translating informal requirements into formal specifications is challenging due to the ambiguity and variability of natural language (NL). This challenge is particularly pronounced…
cs.AI2021
Combining Inductive and Deductive Reasoning for Query Answering over Incomplete Knowledge Graphs
Medina Andresel, Trung-Kien Tran, Csaba Domokos +2
Current methods for embedding-based query answering over incomplete Knowledge Graphs (KGs) only focus on inductive reasoning, i.e., predicting answers by learning patterns from the…
cs.LO2018
Relaxing and Restraining Queries for OBDA
Medina Andreşel, Yazmin Ibáñez-García, Magdalena Ortiz +1
In ontology-based data access (OBDA), ontologies have been successfully employed for querying possibly unstructured and incomplete data. In this paper, we advocate using ontologies…