| 2026 | AAAI | Enumerating Minimal Unsatisfiable Cores of LTLf Formulae. | Antonio Ielo, Giuseppe Mazzotta, Rafael Pealoza, Francesco Ricca |
| 2026 | KR | DeepEL: Deep Learning and Formal Description Logic Reasoning. | Alessandro Longato, Ignacio Huitzil, Rafael Pealoza |
| 2026 | MSR | SQuaD: The Software Quality Dataset. | Mikel Robredo, Matteo Esposito, Davide Taibi, Rafael Pealoza, Valentina Lenarduzzi |
| 2025 | ECAI | Possibilistic Reasoning on Finite-Time Linear Temporal Logic. | Virginia Carugno, Rafael Pealoza |
| 2024 | TechDebt | Comparing Multivariate Time Series Analysis and Machine Learning Performance for Technical Debt Prediction: The SQALE Index Case. | Mikel Robredo, Nyyti Saarimki, Rafael Pealoza, Davide Taibi, Valentina Lenarduzzi |
| 2023 | ICPM | Plan Recognition as Probabilistic Trace Alignment. | Jonghyeon Ko, Fabrizio Maria Maggi, Marco Montali, Rafael Pealoza, Ramon Fraga Pereira |
| 2022 | KI | User-aware Explications of Ontology Consequences: Levelling Technicality. | Rafael Pealoza, Anni-Yasmin Turhan |
| 2022 | LPNMR | Pinpointing Axioms in Ontologies via ASP. | Rafael Pealoza, Francesco Ricca |
| 2021 | CaiSE | A Tool for Computing Probabilistic Trace Alignments. | Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, Rafael Pealoza |
| 2021 | ICANN | Complementing Language Embeddings with Knowledge Bases for Specific Domains. | Paolo Tenti, Gabriella Pasi, Rafael Pealoza |
| 2021 | ICPM | Probabilistic Trace Alignment. | Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, Rafael Pealoza |
| 2021 | SAC | Safety of quantified ABoxes w.r.t. singleton ε | Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Pealoza |
| 2020 | AAAI | Temporal Logics Over Finite Traces with Uncertainty. | Fabrizio Maria Maggi, Marco Montali, Rafael Pealoza |
| 2020 | BPM | Extending Temporal Business Constraints with Uncertainty. | Fabrizio Maria Maggi, Marco Montali, Rafael Pealoza, Anti Alman |
| 2020 | CaiSE | Probabilistic Conformance Checking Based on Declarative Process Models. | Fabrizio Maria Maggi, Marco Montali, Rafael Pealoza |
| 2020 | IJCAI | Provenance for the Description Logic ELHr. | Camille Bourgaux, Ana Ozaki, Rafael Pealoza, Livia Predoiu |
| 2020 | KR | Reasoning with Contextual Knowledge and Influence Diagrams. | Erman Acar, Rafael Pealoza |
| 2020 | KR | Towards a Logic of Meta-Analysis. | Rafael Pealoza |
| 2019 | IJCAI | Enriching Ontology-based Data Access with Provenance. | Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Pealoza, Guohui Xiao |
| 2019 | JELIA | A Bayesian Extension of the Description Logic | Leonard Botha, Thomas Meyer, Rafael Pealoza |
| 2019 | MDAI | Making Decisions with Knowledge Base Repairs. | Rafael Pealoza |
| 2018 | AAAI | Repairing Ontologies via Axiom Weakening. | Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Pealoza, Daniele Porello, Oliver Kutz |
| 2018 | IJCAI | Two Approaches to Ontology Aggregation Based on Axiom Weakening. | Daniele Porello, Nicolas Troquard, Rafael Pealoza, Roberto Confalonieri, Pietro Galliani, Oliver Kutz |
| 2018 | KR | Making Repairs in Description Logics More Gentle. | Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Pealoza |
| 2018 | KR | Cutting Diamonds: A Temporal Logic with Probabilistic Distributions. | Alisa Kovtunova, Rafael Pealoza |
| 2018 | KR | Query Answering for Rough EL Ontologies. | Rafael Pealoza, Veronika Thost, Anni-Yasmin Turhan |
| 2017 | AAAI | Minimal Undefinedness for Fuzzy Answer Sets. | Mario Alviano, Giovanni Amendola, Rafael Pealoza |
| 2017 | CIKM | Semantic Rules for Machine Diagnostics: Execution and Management. | Evgeny Kharlamov, Ognjen Savkovic, Guohui Xiao, Rafael Pealoza, Gulnar Mehdi, Mikhail Roshchin, Ian Horrocks |
| 2017 | IJCAI | Query Answering in Ontologies under Preference Rankings. | Ismail Ilkan Ceylan, Thomas Lukasiewicz, Rafael Pealoza, Oana Tifrea-Marciuska |
| 2017 | LATA | An Automata View to Goal-Directed Methods. | Lisa Hutschenreiter, Rafael Pealoza |
| 2017 | PRIMA | Repairing Socially Aggregated Ontologies Using Axiom Weakening. | Daniele Porello, Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Rafael Pealoza |
| 2016 | ECAI | Complexity Results for Probabilistic Datalog | Ismail Ilkan Ceylan, Thomas Lukasiewicz, Rafael Pealoza |
| 2016 | JELIA | Efficient Reasoning for Inconsistent Horn Formulae. | Joo Marques-Silva, Alexey Ignatiev, Carlos Menca, Rafael Pealoza |
| 2016 | SAT | BEACON: An Efficient SAT-Based Tool for Debugging | M. Fareed Arif, Carlos Menca, Alexey Ignatiev, Norbert Manthey, Rafael Pealoza, Joo Marques-Silva |
| 2015 | IJCAI | The Complexity of Subsumption in Fuzzy EL. | Stefan Borgwardt, Marco Cerami, Rafael Pealoza |
| 2015 | IJCAI | Upward Refinement for Conceptual Blending in Description Logic: An ASP-based Approach and Case Study in EL++. | Roberto Confalonieri, Marco Schorlemmer, Enric Plaza, Manfred Eppe, Oliver Kutz, Rafael Pealoza |
| 2015 | IJCAI | Iterative Ontology Updates Using Context Labels. | Rafael Pealoza, Aparna Saisree Thuluva |
| 2014 | AAAI | Reasoning in the Description Logic BEL Using Bayesian Networks. | Ismail Ilkan Ceylan, Rafael Pealoza |
| 2014 | CADE | Many-valued Horn Logic is Hard. | Stefan Borgwardt, Marco Cerami, Rafael Pealoza |
| 2014 | CADE | The Bayesian Description Logic ${\mathcal{BEL}}$. | Ismail Ilkan Ceylan, Rafael Pealoza |
| 2014 | JELIA | The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics. | Stefan Borgwardt, Jos A. Leyva Galano, Rafael Pealoza |
| 2014 | JELIA | Tight Complexity Bounds for Reasoning in the Description Logic $\mathcal{BE{\kern-.1em}L}$. | Ismail Ilkan Ceylan, Rafael Pealoza |
| 2014 | JELIA | Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$. | Michel Ludwig, Rafael Pealoza |
| 2014 | KI | Reasoning in | Dorian Merz, Rafael Pealoza, Anni-Yasmin Turhan |
| 2014 | KR | Decidable Gdel Description Logics without the Finitely-Valued Model Property. | Stefan Borgwardt, Felix Distel, Rafael Pealoza |
| 2014 | KR | Answering Instance Queries Relaxed by Concept Similarity. | Andreas Ecke, Rafael Pealoza, Anni-Yasmin Turhan |
| 2013 | IJCAI | Positive Subsumption in Fuzzy EL with General t-Norms. | Stefan Borgwardt, Rafael Pealoza |
| 2013 | KI | Computing Role-Depth Bounded Generalizations in the Description Logic. | Andreas Ecke, Rafael Pealoza, Anni-Yasmin Turhan |
| 2012 | CADE | How Fuzzy Is My Fuzzy Description Logic? | Stefan Borgwardt, Felix Distel, Rafael Pealoza |
| 2012 | KR | Undecidability of Fuzzy Description Logics. | Stefan Borgwardt, Rafael Pealoza |
| 2011 | IJCAI | Description Logics over Lattices with Multi-Valued Ontologies. | Stefan Borgwardt, Rafael Pealoza |
| 2010 | CADE | Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities. | Rafael Pealoza, Anni-Yasmin Turhan |
| 2010 | ECAI | Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics. | Rafael Pealoza, Baris Sertkaya |
| 2010 | KR | On the Complexity of Axiom Pinpointing in the EL Family of Description Logics. | Rafael Pealoza, Baris Sertkaya |
| 2010 | LATA | Using Sums-of-Products for Non-standard Reasoning. | Rafael Pealoza |
| 2008 | CADE | Automata-Based Axiom Pinpointing. | Franz Baader, Rafael Pealoza |
| 2007 | KI | Pinpointing in the Description Logic | Franz Baader, Rafael Pealoza, Boontawee Suntisrivaraporn |
| 2007 | LATA | SI! Automata Can Show PSPACE Results for Description Logics. | Franz Baader, Jan Hladik, Rafael Pealoza |
| 2007 | TABLEAUX | Axiom Pinpointing in General Tableaux. | Franz Baader, Rafael Pealoza |