Rafael Peñaloza
8 papers · 2013–2026 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌉 Interdisciplinary Bridge · Bronze 🏃 Academic Marathon · Half 🗺️ Taxonomy Completionist (11) 🐣 Hot Topic Early Bird 🌍 Conference Polyglot · Bronze
🚀
Conference Pioneer
📈
Trend Setter
Top co-authors
Research topics
Keywords
query answering
(2)
description logic
(2)
probabilistic logic
(1)
knowledge representation
(1)
answer set programming
(1)
temporal logic
(1)
conjunctive query
(1)
ontology-based data access
(1)
linear temporal logic
(1)
semantic web
(1)
finite trace
(1)
satisfiability checking
(1)
multi-agent system
(1)
preference ranking
(1)
ontology completion
(1)
process discovery
(1)
provenance semiring
(1)
ontology aggregation
(1)
axiom weakening
(1)
agent satisfaction
(1)
Papers
Enumerating Minimal Unsatisfiable Cores of LTLf Formulae
AAAI 2026
Provenance for the Description Logic ELHr
IJCAI 2020
Temporal Logics Over Finite Traces with Uncertainty
AAAI 2020
Enriching Ontology-based Data Access with Provenance
IJCAI 2019
Two Approaches to Ontology Aggregation Based on Axiom Weakening
IJCAI 2018
Query Answering in Ontologies under Preference Rankings
IJCAI 2017
The Complexity of Subsumption in Fuzzy EL
IJCAI 2015
Positive Subsumption in Fuzzy EL with General t-Norms
IJCAI 2013