Rafael Peñaloza

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 118

Top Venues

Description Logics

CoRR

IJCAI

Publications

Mikel Robredo, Matteo Esposito, Fabio Palomba, Rafael Peñaloza, Valentina Lenarduzzi
In Search of Metrics to Guide Developer-Based Refactoring Recommendations. CoRR (2024)
Rafael Peñaloza, Anni-Yasmin Turhan
Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations. Description Logics (2024)
Mikel Robredo, Nyyti Saarimäki, Rafael Peñaloza, Davide Taibi, Valentina Lenarduzzi
Comparing Multivariate Time Series Analysis and Machine Learning Performance for Technical Debt Prediction: The SQALE Index Case. TechDebt@ICSE (2024)
Sotiris Moschoyiannis, Rafael Peñaloza
Selected Papers from the 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021). Theory Pract. Log. Program. 24 (2) (2024)
Giorgio Longari, Lorenzo Olearo, Simone Melzi, Rafael Peñaloza, Alessandro Raganato
How to Blend Concepts in Diffusion Models. CoRR (2024)
Camille Bourgaux, Ana Ozaki, Rafael Peñaloza
Semiring Provenance for Lightweight Description Logics. CoRR (2023)
Rafael Peñaloza, Zuzana Pinkosova
Walk Me to the Moon: Representing Image Schemas with Abstract Time Measures. ISD (2023)
Gabriella Pasi, Rafael Peñaloza
Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies. Theory Pract. Log. Program. 23 (3) (2023)
Dario Amoroso d'Aragona, Luca Pascarella, Andrea Janes, Valentina Lenarduzzi, Rafael Peñaloza, Davide Taibi
On the Empirical Evidence of Microservice Logical Coupling. A Registered Report. CoRR (2023)
Ignacio Huitzil, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca
ASP-based Axiom Pinpointing for Description Logics. Description Logics (2023)
Mikel Robredo, Nyyti Saarimäki, Rafael Peñaloza, Valentina Lenarduzzi
Ignoring Time Dependence in Software Engineering Data. A Mistake. CoRR (2023)
Rafael Peñaloza
Semiring Provenance in Expressive Description Logics. Description Logics (2023)
Dario Amoroso d'Aragona, Luca Pascarella, Andrea Janes, Valentina Lenarduzzi, Rafael Peñaloza, Davide Taibi
Breaks and Code Quality: Investigating the Impact of Forgetting on Software Development. A Registered Report. CoRR (2023)
Simone Melzi, Rafael Peñaloza, Alessandro Raganato
Does Stable Diffusion Dream of Electric Sheep. ISD (2023)
Jonghyeon Ko, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza, Ramon Fraga Pereira
Plan Recognition as Probabilistic Trace Alignment. ICPM (2023)
Rafael Peñaloza, Francesco Ricca
Pinpointing Axioms in Ontologies via ASP. LPNMR (2022)
Steven Schockaert, Rafael Peñaloza
Highlights of AI Research in Europe. AI Commun. 35 (2) (2022)
Jieying Chen, Yue Ma, Rafael Peñaloza, Hui Yang
Union and Intersection of All Justifications. ESWC (2022)
Nyyti Saarimäki, Sergio Moreschini, Francesco Lomio, Rafael Peñaloza, Valentina Lenarduzzi
Towards a Robust Approach to Analyze Time-Dependent Data in Software Engineering. SANER (2022)
Rafael Peñaloza, Anni-Yasmin Turhan
User-aware Explications of Ontology Consequences: Levelling Technicality. FCR@KI (2022)
Anti Alman, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza
Probabilistic declarative process mining. Inf. Syst. 109 (2022)
Paolo Tenti, James Thomas, Rafael Peñaloza, Gabriella Pasi
Using an Ensemble of Features for Personalized Recommendations of Scientific Publications. IIR (2021)
Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza
Probabilistic Trace Alignment. CoRR (2021)
Rafael Peñaloza
A Brief Roadmap into Uncertain Knowledge Representation via Probabilistic Description Logics. Algorithms 14 (10) (2021)
Gabriella Pasi, Rafael Peñaloza
Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies. CoRR (2021)
João Marques-Silva, Rafael Peñaloza, Uli Sattler
Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361). Dagstuhl Reports 11 (8) (2021)
Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza
A Tool for Computing Probabilistic Trace Alignments. CAiSE Forum (2021)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
policies. SAC (2021)
Rafael Peñaloza
An Upper Bound for Provenance in ELHr. CoRR (2021)
Rafael Peñaloza
An Upper Bound for Provenance in ELHr. Description Logics (2021)
Jieying Chen, Rafael Peñaloza, Hui Yang
Union and Intersection of all Justifications (Extended Abstract). Description Logics (2021)
Paolo Tenti, Gabriella Pasi, Rafael Peñaloza
Complementing Language Embeddings with Knowledge Bases for Specific Domains. DAO-XAI (2021)
Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza
The Probabilistic Description Logic. Theory Pract. Log. Program. 21 (4) (2021)
Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox. Description Logics (2021)
Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza
Probabilistic Trace Alignment. ICPM (2021)
Jieying Chen, Yue Ma, Rafael Peñaloza, Hui Yang
Union and Intersection of all Justifications. CoRR (2021)
Steven Schockaert, Rafael Peñaloza
Special issue on historical and future perspectives of AI. AI Commun. 34 (3) (2021)
Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu
Provenance for the Description Logic ELHr. CoRR (2020)
Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza
The Probabilistic Description Logic BALC. CoRR (2020)
Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu
Provenance for the Description Logic ELHr (Extended Abstract). Description Logics (2020)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
Policies. ISWC (1) (2020)
Erman Acar, Rafael Peñaloza
Reasoning with Contextual Knowledge and Influence Diagrams. CoRR (2020)
Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu
Provenance for the Description Logic ELHr. IJCAI (2020)
Rafael Peñaloza
Towards a Logic of Meta-Analysis. KR (2020)
Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza, Anti Alman
Extending Temporal Business Constraints with Uncertainty. BPM (2020)
Rafael Peñaloza
Axiom Pinpointing. CoRR (2020)
Rafael Peñaloza
Error-Tolerance and Error Management in Lightweight Description Logics. Künstliche Intell. 34 (4) (2020)
Rafael Peñaloza
Introduction to Probabilistic Ontologies (tutorial). CILC (2020)
Rafael Peñaloza
Introduction to Probabilistic Ontologies. Reasoning Web (2020)
Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph
SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT. Künstliche Intell. 34 (3) (2020)
Gabriella Pasi, Rafael Peñaloza
Query Answering in Fuzzy DL-Lite with Graded Axioms (Extended Abstract). Description Logics (2020)
Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza
Temporal Logics Over Finite Traces with Uncertainty. AAAI (2020)
Erman Acar, Rafael Peñaloza
Reasoning with Contextual Knowledge and Influence Diagrams. KR (2020)
Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza
Probabilistic Conformance Checking Based on Declarative Process Models. CAiSE Forum (2020)
Gabriella Pasi, Rafael Peñaloza
Query Answering in Fuzzy DL-Lite with Graded Axioms. RuleML+RR (2020)
Rafael Peñaloza
Making Decisions with Knowledge Base Repairs. MDAI (2019)
Maria M. Hedblom, Oliver Kutz, Rafael Peñaloza, Giancarlo Guizzardi
Image Schema Combinations and Complex Events. Künstliche Intell. 33 (3) (2019)
Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza
Probabilistic Temporal Logic over Finite Traces (Technical Report). CoRR (2019)
Rafael Peñaloza
Explaining Axiom Pinpointing. Description Logic, Theory Combination, and All That (2019)
Leonard Botha, Thomas Meyer, Rafael Peñaloza
. JELIA (2019)
Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza, Guohui Xiao
Enriching Ontology-based Data Access with Provenance (Extended Version). CoRR (2019)
Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza, Guohui Xiao
Enriching Ontology-based Data Access with Provenance. IJCAI (2019)
Erman Acar, Rafael Peñaloza, Livia Predoiu
Making Decisions over Contextual Ontologies. Description Logics (2019)
Alessander Botti Benevides, Jean-Rémi Bourguet, Giancarlo Guizzardi, Rafael Peñaloza, João Paulo A. Almeida
Representing a reference foundational ontology of events in SROIQ. Appl. Ontology 14 (3) (2019)
Ana Ozaki, Rafael Peñaloza
Consequence-Based Axiom Pinpointing. SUM (2018)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
Repairing Description Logic Ontologies by Weakening Axioms. CoRR (2018)
Jerónimo Castrillón, Matthias Lieber, Sascha Klüppelholz, Marcus Völp, Nils Asmussen, Uwe Aßmann, Franz Baader, Christel Baier, Gerhard P. Fettweis, Jochen Fröhlich, Andrés Goens, Sebastian Haas, Dirk Habich, Hermann Härtig, Mattis Hasler, Immo Huismann, Tomas Karnagel, Sven Karol, Akash Kumar, Wolfgang Lehner, Linda Leuschner, Siqi Ling, Steffen Märcker, Christian Menard, Johannes Mey, Wolfgang E. Nagel, Benedikt Nöthen, Rafael Peñaloza, Michael Raitza, Jörg Stiller, Annett Ungethüm, Axel Voigt, Sascha Wunderlich
A Hardware/Software Stack for Heterogeneous Systems. IEEE Trans. Multi Scale Comput. Syst. 4 (3) (2018)
Alisa Kovtunova, Rafael Peñaloza
Cutting Diamonds: A Temporal Logic with Probabilistic Distributions. KR (2018)
Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza
The Bayesian Description Logic BALC. Description Logics (2018)
Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz
Repairing Ontologies via Axiom Weakening. AAAI (2018)
Giancarlo Guizzardi, Rafael Peñaloza, Maria M. Hedblom, Oliver Kutz
Under the Super-Suit: What Superheroes Can Reveal About Inherited properties in Conceptual Blending. ICCC (2018)
Ana Ozaki, Rafael Peñaloza
Consequence-Based Axiom Pinpointing. CoRR (2018)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
Making Repairs in Description Logics More Gentle (Extended Abstract). Description Logics (2018)
Daniele Porello, Nicolas Troquard, Rafael Peñaloza, Roberto Confalonieri, Pietro Galliani, Oliver Kutz
Two Approaches to Ontology Aggregation Based on Axiom Weakening. IJCAI (2018)
Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
Query Answering for Rough EL Ontologies (Extended Technical Report). CoRR (2018)
Alisa Kovtunova, Rafael Peñaloza
Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data. CoRR (2018)
Ana Ozaki, Rafael Peñaloza
Provenance in Ontology-based Data Access. Description Logics (2018)
Roberto Confalonieri, Manfred Eppe, Marco Schorlemmer, Oliver Kutz, Rafael Peñaloza, Enric Plaza
. Ann. Math. Artif. Intell. 82 (1-3) (2018)
Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
Making Repairs in Description Logics More Gentle. KR (2018)
Alisa Kovtunova, Rafael Peñaloza
Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data. Description Logics (2018)
Maria M. Hedblom, Oliver Kutz, Rafael Peñaloza, Giancarlo Guizzardi
What's Cracking? How Image Schema Combinations Can Model Conceptualisations of Events. TriCoLore (C3GI/ISD/SCORE) (2018)
Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
Query Answering for Rough EL Ontologies. KR (2018)
Roberto Confalonieri, Oliver Kutz, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Marco Schorlemmer, Nicolas Troquard
Coherence, Similarity, and Concept Generalisation. Description Logics (2017)
Rafael Peñaloza, Baris Sertkaya
Understanding the complexity of axiom pinpointing in lightweight description logics. Artif. Intell. 250 (2017)
Rafael Peñaloza, Nico Potyka
Towards Statistical Reasoning in Description Logics over Finite Domains (Full Version). CoRR (2017)
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
The complexity of fuzzy EL under the Łukasiewicz T-norm. Int. J. Approx. Reason. 91 (2017)
Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz
Repairing Ontologies via Axiom Weakening. CoRR (2017)
Mario Alviano, Giovanni Amendola, Rafael Peñaloza
Minimal Undefinedness for Fuzzy Answer Sets. AAAI (2017)
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
Łukasiewicz Fuzzy EL is Undecidable. Description Logics (2017)
Rafael Peñaloza
The Shape of the Other. JOWO (2017)
Stefan Borgwardt, Rafael Peñaloza
Fuzzy Description Logics - A Survey. SUM (2017)
Evgeny Kharlamov, Ognjen Savkovic, Guohui Xiao, Rafael Peñaloza, Gulnar Mehdi, Mikhail Roshchin, Ian Horrocks
Semantic Rules for Machine Diagnostics: Execution and Management. CIKM (2017)
Ismail Ilkan Ceylan, Rafael Peñaloza
The Bayesian Ontology Language $$\mathcal {BEL}$$ BEL. J. Autom. Reason. 58 (1) (2017)
Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli
A Decidable Very Expressive Description Logic for Databases (Extended Version). CoRR (2017)
Rafael Peñaloza, Carlos Mencía, Alexey Ignatiev, João Marques-Silva
Lean Kernels in Description Logics. ESWC (1) (2017)
Ismail Ilkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza, Oana Tifrea-Marciuska
Query Answering in Ontologies under Preference Rankings. IJCAI (2017)
Rafael Peñaloza
Inconsistency-Tolerant Instance Checking in Tractable Description Logics. RuleML+RR (2017)
Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli
A Decidable Very Expressive Description Logic for Databases. ISWC (1) (2017)
Alexey Ignatiev, João Marques-Silva, Carlos Mencía, Rafael Peñaloza
Debugging EL+ Ontologies through Horn MUS Enumeration. Description Logics (2017)
Lisa Hutschenreiter, Rafael Peñaloza
An Automata View to Goal-Directed Methods. LATA (2017)

Rafael Peñaloza.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rafael Peñaloza