Rafael Peñaloza

8 papers · 2013–2026 · 2 conferences · across top CS/AI conferences

Achievements

🐣 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

Ana Ozaki (2) Stefan Borgwardt (2) Daniele Porello (1) Thomas Lukasiewicz (1) Camille Bourgaux (1) Oliver Kutz (1) Marco Cerami (1) Fabrizio M Maggi (1) Oana Tifrea-Marciuska (1) Marco Montali (1)

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