Using Bayesian Networks as an Inference Engine in KAMET. - Osvaldo Cairó; Rafael Peñaloza (SCCC, 2003)

PSPACE Automata for Description Logics. - Jan Hladik; Rafael Peñaloza (Description Logics, 2006)

Prova: Rule-Based Java Scripting for Distributed Web Applications: A Case Study in Bioinformatics. - Alexander Kozlenkov; Rafael Peñaloza; Vivek Nigam; Loïc Royer; Gihan Dawelbait; Michael Schroeder 001 (EDBT Workshops, 2006)

Blocking Automata for PSPACE DLs. - Franz Baader; Jan Hladik; Rafael Peñaloza (Description Logics, 2007)

Pinpointing in the Description Logic EL. - Franz Baader; Rafael Peñaloza; Boontawee Suntisrivaraporn (Description Logics, 2007)

Pinpointing in the Description Logic EL+. - Franz Baader; Rafael Peñaloza; Boontawee Suntisrivaraporn (KI, 2007)

SI! Automata Can Show PSPACE Results for Description Logics. - Franz Baader; Jan Hladik; Rafael Peñaloza (LATA, 2007)

Automata-based Pinpointing for DLs. - Rafael Peñaloza (Description Logics, 2008)

Automata can show PSpace results for description logics. - Franz Baader; Jan Hladik; Rafael Peñaloza (Inf. Comput., 2008)

Reasoning With Weighted Ontologies. - Rafael Peñaloza (Description Logics, 2009)

Axiom Pinpointing is Hard. - Rafael Peñaloza; Baris Sertkaya (Description Logics, 2009)

Wie findet man die verantwortlichen Axiome? Axiom-Pinpointing in Beschreibungslogiken. - Rafael Peñaloza (Ausgezeichnete Informatikdissertationen, 2009)

A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms. - Franz Baader; Martin Knechtel; Rafael Peñaloza (ISWC, 2009)

Axiom pinpointing in description logics and beyond. - Rafael Peñaloza Nyssen (2009)

Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities. - Rafael Peñaloza; Anni-Yasmin Turhan (UniDL, 2010)

Correcting Access Restrictions to a Consequence. - Martin Knechtel; Rafael Peñaloza (Description Logics, 2010)

Complexity of Axiom Pinpointing in the DL-Lite Family. - Rafael Peñaloza; Baris Sertkaya (Description Logics, 2010)

Role-depth Bounded Least Common Subsumers by Completion for EL- and prob-EL-TBoxes. - Anni-Yasmin Turhan; Rafael Peñaloza (Description Logics, 2010)

Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics. - Rafael Peñaloza; Baris Sertkaya (ECAI, 2010)

A Generic Approach for Correcting Access Restrictions to a Consequence. - Martin Knechtel; Rafael Peñaloza (ESWC (1), 2010)

On the Complexity of Axiom Pinpointing in the EL Family of Description Logics. - Rafael Peñaloza; Baris Sertkaya (KR, 2010)

Using Sums-of-Products for Non-standard Reasoning. - Rafael Peñaloza (LATA, 2010)

Automata-Based Axiom Pinpointing. - Franz Baader; Rafael Peñaloza (J. Autom. Reason., 2010)

Axiom Pinpointing in General Tableaux. - Franz Baader; Rafael Peñaloza (J. Log. Comput., 2010)

The Inclusion Problem for Weighted Automata on Infinite Trees. - Stefan Borgwardt; Rafael Peñaloza (AFL, 2011)

GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable. - Franz Baader; Rafael Peñaloza (Description Logics, 2011)

Fuzzy Ontologies over Lattices with T-norms. - Stefan Borgwardt; Rafael Peñaloza (Description Logics, 2011)

Correcting Access Restrictions to a Consequence More Flexibly. - Eldora; Martin Knechtel; Rafael Peñaloza (Description Logics, 2011)

A Practical Approach for Computing Generalization Inferences in EL mathcal{EL}. - Rafael Peñaloza; Anni-Yasmin Turhan (ESWC (1), 2011)

On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm. - Franz Baader; Rafael Peñaloza (FroCoS, 2011)

Are fuzzy description logics with general concept inclusion axioms decidable? - Franz Baader; Rafael Peñaloza (FUZZ-IEEE, 2011)

Description Logics over Lattices with Multi-Valued Ontologies. - Stefan Borgwardt; Rafael Peñaloza (IJCAI, 2011)

Finite Lattices Do Not Make Reasoning in ALCI Harder. - Stefan Borgwardt; Rafael Peñaloza (URSW, 2011)

How Fuzzy Is My Fuzzy Description Logic? - Stefan Borgwardt; Felix Distel; Rafael Peñaloza (IJCAR, 2012)

Gödel Negation Makes Unwitnessed Consistency Crisp. - Stefan Borgwardt; Felix Distel; Rafael Peñaloza (Description Logics, 2012)

Non-Gödel Negation Makes Unwitnessed Consistency Undecidable. - Stefan Borgwardt; Rafael Peñaloza (Description Logics, 2012)

Adding Context to Tableaux for DLs. - Weili Fu; Rafael Peñaloza (Description Logics, 2012)

Undecidability of Fuzzy Description Logics. - Stefan Borgwardt; Rafael Peñaloza (KR, 2012)

A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices. - Stefan Borgwardt; Rafael Peñaloza (RR, 2012)

Context-dependent views to axioms and consequences of Semantic Web ontologies. - Franz Baader; Martin Knechtel; Rafael Peñaloza (J. Web Semant., 2012)

About Subsumption in Fuzzy EL. - Stefan Borgwardt; Rafael Peñaloza (Description Logics, 2013)

Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals. - Andreas Ecke; Rafael Peñaloza; Anni-Yasmin Turhan (Description Logics, 2013)

Rough EL Classification. - Rafael Peñaloza; Tingting Zou (Description Logics, 2013)

Roughening the Envelope. - Rafael Peñaloza; Tingting Zou (FroCos, 2013)

Positive Subsumption in Fuzzy EL with General t-Norms. - Stefan Borgwardt; Rafael Peñaloza (IJCAI, 2013)

Computing Role-Depth Bounded Generalizations in the Description Logic. - Andreas Ecke; Rafael Peñaloza; Anni-Yasmin Turhan (KI, 2013)

Instance-Based Non-standard Inferences in $ mathcal{EL}$ with Subjective Probabilities. - Rafael Peñaloza; Anni-Yasmin Turhan (URSW (LNCS Vol.), 2013)

The Complexity of Lattice-Based Fuzzy Description Logics. - Stefan Borgwardt; Rafael Peñaloza (J. Data Semant., 2013)

Fuzzy answer sets approximations. - Mario Alviano; Rafael Peñaloza (Theory Pract. Log. Program., 2013)

Reasoning in the Description Logic BEL Using Bayesian Networks. - Ismail Ilkan Ceylan; Rafael Peñaloza (StarAI@AAAI, 2014)

Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics. - Stathis Delivorias; Haralampos Hatzikirou; Rafael Peñaloza; Dirk Walther 002 (ACRI, 2014)

Many-valued Horn Logic is Hard. - Stefan Borgwardt; Marco Cerami; Rafael Peñaloza (PRUV, 2014)

The Bayesian Description Logic ${ mathcal{BEL}}$. - Ismail Ilkan Ceylan; Rafael Peñaloza (IJCAR, 2014)

Gödel Description Logics with General Models. - Stefan Borgwardt; Felix Distel; Rafael Peñaloza (Description Logics, 2014)

Gödel FL_0 with Greatest Fixed-Point Semantics. - Stefan Borgwardt; José A. Leyva Galano; Rafael Peñaloza (Description Logics, 2014)

Bayesian Description Logics. - Ismail Ilkan Ceylan; Rafael Peñaloza (Description Logics, 2014)

Mary, What's Like All Cats? - Andreas Ecke; Rafael Peñaloza; Anni-Yasmin Turhan (Description Logics, 2014)

Brave and Cautious Reasoning in EL. - Michel Ludwig; Rafael Peñaloza (Description Logics, 2014)

Towards Parallel Repair: An Ontology Decomposition-based Approach. - Yue Ma 009; Rafael Peñaloza (Description Logics, 2014)

Certain Answers in a Rough World. - Rafael Peñaloza; Veronika Thost; Anni-Yasmin Turhan (Description Logics, 2014)

DeaLing with Ontologies using CODs. - Chiara Del Vescovo; Rafael Peñaloza (Description Logics, 2014)

The Fuzzy Description Logic $ mathsf{G} text{-}{ mathcal{F !L}_0} $ with Greatest Fixed-Point Semantics. - Stefan Borgwardt; José A. Leyva Galano; Rafael Peñaloza (JELIA, 2014)

Tight Complexity Bounds for Reasoning in the Description Logic $ mathcal{BE{ kern-.1em}L}$. - Ismail Ilkan Ceylan; Rafael Peñaloza (JELIA, 2014)

Error-Tolerant Reasoning in the Description Logic $ mathcal{E{ kern-.1em}L}$. - Michel Ludwig; Rafael Peñaloza (JELIA, 2014)

Reasoning in ALC with Fuzzy Concrete Domains. - Dorian Merz; Rafael Peñaloza; Anni-Yasmin Turhan (KI, 2014)

Decidable Gödel Description Logics without the Finitely-Valued Model Property. - Stefan Borgwardt; Felix Distel; Rafael Peñaloza (KR, 2014)

Answering Instance Queries Relaxed by Concept Similarity. - Andreas Ecke; Rafael Peñaloza; Anni-Yasmin Turhan (KR, 2014)

Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics. - Theofilos P. Mailis; Rafael Peñaloza; Anni-Yasmin Turhan (RR, 2014)

Finite Lattices Do Not Make Reasoning in ALCOI Harder. - Stefan Borgwardt; Rafael Peñaloza (URSW (LNCS Vol.), 2014)

Consistency reasoning in lattice-based fuzzy Description Logics. - Stefan Borgwardt; Rafael Peñaloza (Int. J. Approx. Reason., 2014)

Completion-based generalization inferences for the Description Logic ELOR with subjective probabilities. - Andreas Ecke; Rafael Peñaloza; Anni-Yasmin Turhan (Int. J. Approx. Reason., 2014)

The complexity of computing the behaviour of lattice automata on infinite trees. - Karsten Lehmann; Rafael Peñaloza (Theor. Comput. Sci., 2014)

Conjunctive Query Answering with Finitely Many Truth Degrees. - Stefan Borgwardt; Theofilos P. Mailis; Rafael Peñaloza; Anni-Yasmin Turhan (Description Logics, 2015)

Answering EL Queries in the Presence of Preferences. - Ismail Ilkan Ceylan; Thomas Lukasiewicz; Rafael Peñaloza (Description Logics, 2015)

Dynamic Bayesian Description Logics. - Ismail Ilkan Ceylan; Rafael Peñaloza (Description Logics, 2015)

Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics. - Stefan Borgwardt; Rafael Peñaloza (FroCos, 2015)

The Complexity of Subsumption in Fuzzy EL. - Stefan Borgwardt; Marco Cerami; Rafael Peñaloza (IJCAI, 2015)

Upward Refinement for Conceptual Blending in Description Logic: An ASP-based Approach and Case Study in EL++. - Roberto Confalonieri 001; Marco Schorlemmer; Enric Plaza; Manfred Eppe; Oliver Kutz; Rafael Peñaloza (JOWO@IJCAI, 2015)

Iterative Ontology Updates Using Context Labels. - Rafael Peñaloza; Aparna Saisree Thuluva (JOWO@IJCAI, 2015)

The Bayesian Ontology Reasoner is BORN! - Ismail Ilkan Ceylan; Julian Mendez 002; Rafael Peñaloza (ORE, 2015)

Probabilistic Query Answering in the Bayesian Description Logic BEL. - Ismail Ilkan Ceylan; Rafael Peñaloza (SUM, 2015)

The limits of decidability in fuzzy description logics with general concept inclusions. - Stefan Borgwardt; Felix Distel; Rafael Peñaloza (Artif. Intell., 2015)

Reasoning in Infinitely Valued G-IALCQ. - Stefan Borgwardt; Rafael Peñaloza (CoRR, 2015)

Dynamic Bayesian Ontology Languages. - Ismail Ilkan Ceylan; Rafael Peñaloza (CoRR, 2015)

Similarity-based relaxed instance queries. - Andreas Ecke; Rafael Peñaloza; Anni-Yasmin Turhan (J. Appl. Log., 2015)

On the Decidability Status of Fuzzy ALC with General Concept Inclusions. - Franz Baader; Stefan Borgwardt; Rafael Peñaloza (J. Philos. Log., 2015)

Fuzzy answer set computation via satisfiability modulo theories. - Mario Alviano; Rafael Peñaloza (Theory Pract. Log. Program., 2015)

Reasoning in Expressive Gödel Description Logics. - Stefan Borgwardt; Rafael Peñaloza (Description Logics, 2016)

Conceptual Blending in EL++. - Roberto Confalonieri 001; Marco Schorlemmer; Oliver Kutz; Rafael Peñaloza; Enric Plaza; Manfred Eppe (Description Logics, 2016)

Efficient Axiom Pinpointing in EL using SAT Technology. - Norbert Manthey; Rafael Peñaloza; Sebastian Rudolph (Description Logics, 2016)

Complexity Results for Probabilistic Datalog±. - Ismail Ilkan Ceylan; Thomas Lukasiewicz; Rafael Peñaloza (ECAI, 2016)

Efficient Reasoning for Inconsistent Horn Formulae. - João Marques-Silva 001; Alexey Ignatiev; Carlos Mencía; Rafael Peñaloza (JELIA, 2016)

BEACON: An Efficient SAT-Based Tool for Debugging EL^+ Ontologies. - M. Fareed Arif; Carlos Mencía; Alexey Ignatiev; Norbert Manthey; Rafael Peñaloza; João Marques-Silva 001 (SAT, 2016)

Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy. - Rafael Peñaloza; Nico Potyka (SUM, 2016)

Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy (Full Version). - Rafael Peñaloza; Nico Potyka (CoRR, 2016)

Reasoning in Fuzzy Description Logics using Automata. - Stefan Borgwardt; Rafael Peñaloza (Fuzzy Sets Syst., 2016)

Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies. - Stefan Borgwardt; Theofilos P. Mailis; Rafael Peñaloza; Anni-Yasmin Turhan (J. Data Semant., 2016)

Minimal Undefinedness for Fuzzy Answer Sets. - Mario Alviano; Giovanni Amendola; Rafael Peñaloza (AAAI, 2017)

Two Applications of Concept Refinement. - Roberto Confalonieri 001; Nicolas Troquard; Pietro Galliani; Oliver Kutz; Rafael Peñaloza; Daniele Porello (CEx@AI*IA, 2017)

Semantic Rules for Machine Diagnostics: Execution and Management. - Evgeny Kharlamov; Ognjen Savkovic; Guohui Xiao 001; Rafael Peñaloza; Gulnar Mehdi; Mikhail Roshchin; Ian Horrocks 001 (CIKM, 2017)

Łukasiewicz Fuzzy EL is Undecidable. - Stefan Borgwardt; Marco Cerami; Rafael Peñaloza (Description Logics, 2017)

Coherence, Similarity, and Concept Generalisation. - Roberto Confalonieri 001; Oliver Kutz; Pietro Galliani; Rafael Peñaloza; Daniele Porello; Marco Schorlemmer; Nicolas Troquard (Description Logics, 2017)

Debugging EL+ Ontologies through Horn MUS Enumeration. - Alexey Ignatiev; João Marques-Silva 001; Carlos Mencía; Rafael Peñaloza (Description Logics, 2017)

Lean Kernels in Description Logics. - Rafael Peñaloza; Carlos Mencía; Alexey Ignatiev; João Marques-Silva 001 (ESWC (1), 2017)

Query Answering in Ontologies under Preference Rankings. - Ismail Ilkan Ceylan; Thomas Lukasiewicz; Rafael Peñaloza; Oana Tifrea-Marciuska (IJCAI, 2017)

Representing the UFO-B Foundational Ontology of Events in SROIQ. - Alessander Botti Benevides; Jean-Rémi Bourguet; Giancarlo Guizzardi; Rafael Peñaloza (JOWO, 2017)

The Shape of the Other. - Rafael Peñaloza (JOWO, 2017)

An Automata View to Goal-Directed Methods. - Lisa Hutschenreiter; Rafael Peñaloza (LATA, 2017)

Repairing Socially Aggregated Ontologies Using Axiom Weakening. - Daniele Porello; Nicolas Troquard; Roberto Confalonieri 001; Pietro Galliani; Oliver Kutz; Rafael Peñaloza (PRIMA, 2017)

Inconsistency-Tolerant Instance Checking in Tractable Description Logics. - Rafael Peñaloza (RuleML+RR, 2017)

A Decidable Very Expressive n-ary Description Logic for Database Applications (extended abstract). - Alessandro Artale; Enrico Franconi; Rafael Peñaloza; Francesco Sportelli (SEBD, 2017)

A Decidable Very Expressive Description Logic for Databases. - Alessandro Artale; Enrico Franconi; Rafael Peñaloza; Francesco Sportelli (ISWC (1), 2017)

Fuzzy Description Logics - A Survey. - Stefan Borgwardt; Rafael Peñaloza (SUM, 2017)

Towards Statistical Reasoning in Description Logics over Finite Domains. - Rafael Peñaloza; Nico Potyka (SUM, 2017)

Understanding the complexity of axiom pinpointing in lightweight description logics. - Rafael Peñaloza; Baris Sertkaya (Artif. Intell., 2017)

A Decidable Very Expressive Description Logic for Databases (Extended Version). - Alessandro Artale; Enrico Franconi; Rafael Peñaloza; Francesco Sportelli (CoRR, 2017)

Towards Statistical Reasoning in Description Logics over Finite Domains (Full Version). - Rafael Peñaloza; Nico Potyka (CoRR, 2017)

Preface to the Speical Issue on Reasoning about Preferences, Uncertainty, and Vagueness. - Thomas Lukasiewicz; Rafael Peñaloza; Anni-Yasmin Turhan (FLAP, 2017)

The complexity of fuzzy EL under the Łukasiewicz T-norm. - Stefan Borgwardt; Marco Cerami; Rafael Peñaloza (Int. J. Approx. Reason., 2017)

Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics. - Stefan Borgwardt; Rafael Peñaloza (Int. J. Approx. Reason., 2017)

The Bayesian Ontology Language $$ mathcal {BEL}$$ BEL. - Ismail Ilkan Ceylan; Rafael Peñaloza (J. Autom. Reason., 2017)

Decidability and Complexity of Fuzzy Description Logics. - Franz Baader; Stefan Borgwardt; Rafael Peñaloza (Künstliche Intell., 2017)

Repairing Ontologies via Axiom Weakening. - Nicolas Troquard; Roberto Confalonieri 001; Pietro Galliani; Rafael Peñaloza; Daniele Porello; Oliver Kutz (AAAI, 2018)

What's Cracking? How Image Schema Combinations Can Model Conceptualisations of Events. - Maria M. Hedblom; Oliver Kutz; Rafael Peñaloza; Giancarlo Guizzardi (TriCoLore (C3GI/ISD/SCORE), 2018)

Making Repairs in Description Logics More Gentle (Extended Abstract). - Franz Baader; Francesco Kriegel; Adrian Nuradiansyah; Rafael Peñaloza (Description Logics, 2018)

The Bayesian Description Logic BALC. - Leonard Botha; Thomas Andreas Meyer; Rafael Peñaloza (Description Logics, 2018)

Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data. - Alisa Kovtunova; Rafael Peñaloza (Description Logics, 2018)

Provenance in Ontology-based Data Access. - Ana Ozaki; Rafael Peñaloza (Description Logics, 2018)

Under the Super-Suit: What Superheroes Can Reveal About Inherited properties in Conceptual Blending. - Giancarlo Guizzardi; Rafael Peñaloza; Maria M. Hedblom; Oliver Kutz (ICCC, 2018)

Two Approaches to Ontology Aggregation Based on Axiom Weakening. - Daniele Porello; Nicolas Troquard; Rafael Peñaloza; Roberto Confalonieri 001; Pietro Galliani; Oliver Kutz (IJCAI, 2018)

Making Repairs in Description Logics More Gentle. - Franz Baader; Francesco Kriegel; Adrian Nuradiansyah; Rafael Peñaloza (KR, 2018)

Cutting Diamonds: A Temporal Logic with Probabilistic Distributions. - Alisa Kovtunova; Rafael Peñaloza (KR, 2018)

Query Answering for Rough EL Ontologies. - Rafael Peñaloza; Veronika Thost; Anni-Yasmin Turhan (KR, 2018)

Consequence-Based Axiom Pinpointing. - Ana Ozaki; Rafael Peñaloza (SUM, 2018)

Upward refinement operators for conceptual blending in the description logic ℰ ℒ++. - Roberto Confalonieri 001; Manfred Eppe; Marco Schorlemmer; Oliver Kutz; Rafael Peñaloza; Enric Plaza (Ann. Math. Artif. Intell., 2018)

Repairing Description Logic Ontologies by Weakening Axioms. - Franz Baader; Francesco Kriegel; Adrian Nuradiansyah; Rafael Peñaloza (CoRR, 2018)

Query Answering for Rough EL Ontologies (Extended Technical Report). - Rafael Peñaloza; Veronika Thost; Anni-Yasmin Turhan (CoRR, 2018)

A Hardware/Software Stack for Heterogeneous Systems. - 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; et al. (IEEE Trans. Multi Scale Comput. Syst., 2018)

Explaining Axiom Pinpointing. - Rafael Peñaloza (Description Logic, Theory Combination, and All That, 2019)

Making Decisions over Contextual Ontologies. - Erman Acar; Rafael Peñaloza; Livia Predoiu (Description Logics, 2019)

Enriching Ontology-based Data Access with Provenance. - Diego Calvanese; Davide Lanti; Ana Ozaki; Rafael Peñaloza; Guohui Xiao 001 (IJCAI, 2019)

A Bayesian Extension of the Description Logic ALC. - Leonard Botha; Thomas Meyer 002; Rafael Peñaloza (JELIA, 2019)

Making Decisions with Knowledge Base Repairs. - Rafael Peñaloza (MDAI, 2019)

Representing a reference foundational ontology of events in SROIQ. - Alessander Botti Benevides; Jean-Rémi Bourguet; Giancarlo Guizzardi; Rafael Peñaloza; João Paulo A. Almeida (Appl. Ontology, 2019)

Probabilistic Temporal Logic over Finite Traces (Technical Report). - Fabrizio Maria Maggi; Marco Montali; Rafael Peñaloza (CoRR, 2019)

Enriching Ontology-based Data Access with Provenance (Extended Version). - Diego Calvanese; Davide Lanti; Ana Ozaki; Rafael Peñaloza; Guohui Xiao 001 (CoRR, 2019)

Image Schema Combinations and Complex Events. - Maria M. Hedblom; Oliver Kutz; Rafael Peñaloza; Giancarlo Guizzardi (Künstliche Intell., 2019)

Temporal Logics Over Finite Traces with Uncertainty. - Fabrizio Maria Maggi; Marco Montali; Rafael Peñaloza (AAAI, 2020)

Extending Temporal Business Constraints with Uncertainty. - Fabrizio Maria Maggi; Marco Montali; Rafael Peñaloza; Anti Alman (BPM, 2020)

Probabilistic Conformance Checking Based on Declarative Process Models. - Fabrizio Maria Maggi; Marco Montali; Rafael Peñaloza (CAiSE Forum, 2020)

Introduction to Probabilistic Ontologies (tutorial). - Rafael Peñaloza (CILC, 2020)

Provenance for the Description Logic ELHr (Extended Abstract). - Camille Bourgaux; Ana Ozaki; Rafael Peñaloza; Livia Predoiu (Description Logics, 2020)

Query Answering in Fuzzy DL-Lite with Graded Axioms (Extended Abstract). - Gabriella Pasi; Rafael Peñaloza (Description Logics, 2020)

Provenance for the Description Logic ELHr. - Camille Bourgaux; Ana Ozaki; Rafael Peñaloza; Livia Predoiu (IJCAI, 2020)

Reasoning with Contextual Knowledge and Influence Diagrams. - Erman Acar; Rafael Peñaloza (KR, 2020)

Towards a Logic of Meta-Analysis. - Rafael Peñaloza (KR, 2020)

Query Answering in Fuzzy DL-Lite with Graded Axioms. - Gabriella Pasi; Rafael Peñaloza (RuleML+RR, 2020)

Introduction to Probabilistic Ontologies. - Rafael Peñaloza (RW, 2020)

Computing Compliant Anonymisations of Quantified ABoxes w.r.t. EL Policies. - Franz Baader; Francesco Kriegel; Adrian Nuradiansyah; Rafael Peñaloza (ISWC (1), 2020)

Axiom Pinpointing. - Rafael Peñaloza (CoRR, 2020)

The Probabilistic Description Logic BALC. - Leonard Botha; Thomas Andreas Meyer; Rafael Peñaloza (CoRR, 2020)

SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT. - Norbert Manthey; Rafael Peñaloza; Sebastian Rudolph (Künstliche Intell., 2020)

Error-Tolerance and Error Management in Lightweight Description Logics. - Rafael Peñaloza (Künstliche Intell., 2020)

Axiom Pinpointing. - Rafael Peñaloza (Applications and Practices in Ontology Design, Extraction, and Reasoning, 2020)

A Tool for Computing Probabilistic Trace Alignments. - Giacomo Bergami; Fabrizio Maria Maggi; Marco Montali; Rafael Peñaloza (CAiSE Forum, 2021)

Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox. - Franz Baader; Patrick Koopmann; Francesco Kriegel; Adrian Nuradiansyah; Rafael Peñaloza (Description Logics, 2021)

Union and Intersection of all Justifications (Extended Abstract). - Jieying Chen 001; Rafael Peñaloza; Hui Yang (Description Logics, 2021)

An Upper Bound for Provenance in ELHr. - Rafael Peñaloza (Description Logics, 2021)

Complementing Language Embeddings with Knowledge Bases for Specific Domains. - Paolo Tenti; Gabriella Pasi; Rafael Peñaloza (DAO-XAI, 2021)

Probabilistic Trace Alignment. - Giacomo Bergami; Fabrizio Maria Maggi; Marco Montali; Rafael Peñaloza (ICPM, 2021)

Using an Ensemble of Features for Personalized Recommendations of Scientific Publications. - Paolo Tenti; James Thomas 001; Rafael Peñaloza; Gabriella Pasi (IIR, 2021)

Safety of quantified ABoxes w.r.t. singleton εL policies. - Franz Baader; Francesco Kriegel; Adrian Nuradiansyah; Rafael Peñaloza (SAC, 2021)

Special issue on historical and future perspectives of AI. - Steven Schockaert; Rafael Peñaloza (AI Commun., 2021)

A Brief Roadmap into Uncertain Knowledge Representation via Probabilistic Description Logics. - Rafael Peñaloza (Algorithms, 2021)

Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361). - João Marques-Silva 001; Rafael Peñaloza; Uli Sattler (Dagstuhl Reports, 2021)

The Probabilistic Description Logic. - Leonard Botha; Thomas Andreas Meyer; Rafael Peñaloza (Theory Pract. Log. Program., 2021)

Union and Intersection of All Justifications. - Jieying Chen 001; Yue Ma 009; Rafael Peñaloza; Hui Yang (ESWC, 2022)

User-aware Explications of Ontology Consequences: Levelling Technicality. - Rafael Peñaloza; Anni-Yasmin Turhan (FCR@KI, 2022)

Pinpointing Axioms in Ontologies via ASP. - Rafael Peñaloza; Francesco Ricca (LPNMR, 2022)

Towards a Robust Approach to Analyze Time-Dependent Data in Software Engineering. - Nyyti Saarimäki; Sergio Moreschini; Francesco Lomio; Rafael Peñaloza; Valentina Lenarduzzi (SANER, 2022)

Highlights of AI Research in Europe. - Steven Schockaert; Rafael Peñaloza (AI Commun., 2022)

Probabilistic declarative process mining. - Anti Alman; Fabrizio Maria Maggi; Marco Montali; Rafael Peñaloza (Inf. Syst., 2022)

ASP-based Axiom Pinpointing for Description Logics. - Ignacio Huitzil; Giuseppe Mazzotta; Rafael Peñaloza; Francesco Ricca (Description Logics, 2023)

Semiring Provenance in Expressive Description Logics. - Rafael Peñaloza (Description Logics, 2023)

Plan Recognition as Probabilistic Trace Alignment. - Jonghyeon Ko; Fabrizio Maria Maggi; Marco Montali; Rafael Peñaloza; Ramon Fraga Pereira (ICPM, 2023)

Does Stable Diffusion Dream of Electric Sheep. - Simone Melzi; Rafael Peñaloza; Alessandro Raganato (ISD, 2023)

Walk Me to the Moon: Representing Image Schemas with Abstract Time Measures. - Rafael Peñaloza; Zuzana Pinkosova (ISD, 2023)

Breaks and Code Quality: Investigating the Impact of Forgetting on Software Development. A Registered Report. - Dario Amoroso d'Aragona; Luca Pascarella; Andrea Janes; Valentina Lenarduzzi; Rafael Peñaloza; Davide Taibi 001 (CoRR, 2023)

On the Empirical Evidence of Microservice Logical Coupling. A Registered Report. - Dario Amoroso d'Aragona; Luca Pascarella; Andrea Janes; Valentina Lenarduzzi; Rafael Peñaloza; Davide Taibi 001 (CoRR, 2023)

Semiring Provenance for Lightweight Description Logics. - Camille Bourgaux; Ana Ozaki; Rafael Peñaloza (CoRR, 2023)

Ignoring Time Dependence in Software Engineering Data. A Mistake. - Mikel Robredo; Nyyti Saarimäki; Rafael Peñaloza; Valentina Lenarduzzi (CoRR, 2023)

Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies. - Gabriella Pasi; Rafael Peñaloza (Theory Pract. Log. Program., 2023)

Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations. - Rafael Peñaloza; Anni-Yasmin Turhan (Description Logics, 2024)

How to Blend Concepts in Diffusion Models. - Lorenzo Olearo; Giorgio Longari; Simone Melzi; Alessandro Raganato; Rafael Peñaloza (ISD, 2024)

Towards ASP-based Minimal Unsatisfiable Cores Enumeration for LTLf. - Antonio Ielo; Giuseppe Mazzotta; Francesco Ricca; Rafael Peñaloza (OVERLAY, 2024)

Automata-based LTL_f Satisfiability Checking via ASP. - Andrea Cuteri; Giuseppe Mazzotta; Rafael Peñaloza; Francesco Ricca (AI4CC-IPS-RCRA-SPIRIT@AI*IA, 2024)

Reasoning in Rough Description Logics with Multiple Indiscernibility Relations. - Rafael Peñaloza; Anni-Yasmin Turhan (RuleML+RR, 2024)

Comparing Multivariate Time Series Analysis and Machine Learning Performance for Technical Debt Prediction: The SQALE Index Case. - Mikel Robredo; Nyyti Saarimäki; Rafael Peñaloza; Davide Taibi 001; Valentina Lenarduzzi (TechDebt@ICSE, 2024)

Reasoning Capabilities and Invariability of Large Language Models. - Alessandro Raganato; Rafael Peñaloza; Marco Viviani 001; Gabriella Pasi (WI/IAT, 2024)

In Search of Metrics to Guide Developer-Based Refactoring Recommendations. - Mikel Robredo; Matteo Esposito 001; Fabio Palomba; Rafael Peñaloza; Valentina Lenarduzzi (CoRR, 2024)

Evaluating Time-Dependent Methods and Seasonal Effects in Code Technical Debt Prediction. - Mikel Robredo; Nyyti Saarimäki; Davide Taibi 001; Rafael Peñaloza; Valentina Lenarduzzi (CoRR, 2024)

Enumerating Minimal Unsatisfiable Cores of LTLf formulas. - Antonio Ielo; Giuseppe Mazzotta; Rafael Peñaloza; Francesco Ricca (CoRR, 2024)

Selected Papers from the 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021). - Sotiris Moschoyiannis; Rafael Peñaloza (Theory Pract. Log. Program., 2024)

Evaluating time-dependent methods and seasonal effects in code technical debt prediction. - Mikel Robredo; Nyyti Saarimäki; Matteo Esposito 001; Davide Taibi 001; Rafael Peñaloza; Valentina Lenarduzzi (J. Syst. Softw., 2025)

ContReviews: A content-based recommendation system for updating Living Evidences in health care. - Paolo Tenti; James Thomas 001; Rafael Peñaloza; Gabriella Pasi (Knowl. Based Syst., 2025)

A Call for Critically Rethinking and Reforming Data Analysis in Empirical Software Engineering. - Matteo Esposito 001; Mikel Robredo; Murali Sridharan; Guilherme Horta Travassos; Rafael Peñaloza; Valentina Lenarduzzi (CoRR, 2025)

Replication package for the Journal of Systems and Software (JSS) submitted article : "Evaluating Time-Dependent Methods and Seasonal Effects in Code Technical Debt Prediction". - Mikel Robredo; Nyyti Saarimäki; Matteo Esposito 001; Davide Taibi 002; Rafael Peñaloza; Valentina Lenarduzzi (Zenodo, 2025)

Probabilistic Temporal Reasoning Using Superposition Semantics. - Fabrizio Maria Maggi; Marco Montali; Rafael Peñaloza (ACM Trans. Comput. Log., 2025)

Blending Concepts with Text-to-Image Diffusion Models. - Lorenzo Olearo; Giorgio Longari; Alessandro Raganato; Rafael Peñaloza; Simone Melzi (CoRR, 2025)