Rafael Peñaloza
8 papers · 2013–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (8) 🏃 Academic Marathon (7) 🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge
🌍
Conference Polyglot
(2)
🗺️
Taxonomy Completionist
(11)
🧭
Keyword Pioneer
📈
Trend Setter
🚀
Conference Pioneer
Conferences
IJCAI (6)
AAAI (2)
Top co-authors
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
Temporal Logics Over Finite Traces with Uncertainty
AAAI 2020
Provenance for the Description Logic ELHr
IJCAI 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