Rafael Peñaloza

241 papers A* 20A 10B 17C 4Misc 6Journal 77Unranked 96

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Defect is Being Born: How Close Are We? A Time Sensitive Forecasting Approach. CoRR Mikel Robredo, Matteo Esposito, Fabio Palomba, Rafael Peñaloza, Valentina Lenarduzzi
2026	A*	`conf`	Enumerating Minimal Unsatisfiable Cores of LTLf Formulae. AAAI Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca
2025	J	`jnl`	A Call for Critically Rethinking and Reforming Data Analysis in Empirical Software Engineering. CoRR Matteo Esposito, Mikel Robredo, Murali Sridharan, Guilherme Horta Travassos, Rafael Peñaloza, Valentina Lenarduzzi
2025	J	`jnl`	Blending Concepts with Text-to-Image Diffusion Models. CoRR Lorenzo Olearo, Giorgio Longari, Alessandro Raganato, Rafael Peñaloza, Simone Melzi
2025	J	`jnl`	ContReviews: A content-based recommendation system for updating Living Evidences in health care. Knowl. Based Syst. Paolo Tenti, James Thomas, Rafael Peñaloza, Gabriella Pasi
2025	J	`jnl`	Evaluating time-dependent methods and seasonal effects in code technical debt prediction. J. Syst. Softw. Mikel Robredo, Nyyti Saarimäki, Matteo Esposito, Davide Taibi, Rafael Peñaloza, Valentina Lenarduzzi
2025	J	`jnl`	Explainable Knowledge-Aware Process Intelligence. Künstliche Intell. Eva Piccirilli, Claudio Di Ciccio, Marco Montali, Rafael Peñaloza, Luigi Pontieri, Francesco Ricca
2025	J	`jnl`	NAEL: Non-Anthropocentric Ethical Logic. CoRR Bianca Maria Lerma, Rafael Peñaloza
2025	A	`conf`	Possibilistic Reasoning on Finite-Time Linear Temporal Logic. ECAI Virginia Carugno, Rafael Peñaloza
2025	J	`jnl`	Probabilistic Temporal Reasoning Using Superposition Semantics. ACM Trans. Comput. Log. Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza
2025	J	`jnl`	Reasoning Capabilities and Invariability of Large Language Models. CoRR Alessandro Raganato, Rafael Peñaloza, Marco Viviani, Gabriella Pasi
2025	J	`jnl`	SQuaD: The Software Quality Dataset. CoRR Mikel Robredo, Matteo Esposito, Davide Taibi, Rafael Peñaloza, Valentina Lenarduzzi
2025	J	`jnl`	What Were You Thinking? An LLM-Driven Large-Scale Study of Refactoring Motivations in Open-Source Projects. CoRR Mikel Robredo, Matteo Esposito, Fabio Palomba, Rafael Peñaloza, Valentina Lenarduzzi
2025	J	`jnl`	When No Paths Lead to Rome: Benchmarking Systematic Neural Relational Reasoning. CoRR Anirban Das, Irtaza Khalid, Rafael Peñaloza, Steven Schockaert
2024	—	`conf`	Automata-based LTL_f Satisfiability Checking via ASP. AI4CC-IPS-RCRA-SPIRIT@AI*IA Andrea Cuteri, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca
2024	—	`conf`	Comparing Multivariate Time Series Analysis and Machine Learning Performance for Technical Debt Prediction: The SQALE Index Case. TechDebt@ICSE Mikel Robredo, Nyyti Saarimäki, Rafael Peñaloza, Davide Taibi, Valentina Lenarduzzi
2024	J	`jnl`	Enumerating Minimal Unsatisfiable Cores of LTLf formulas. CoRR Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca
2024	J	`jnl`	Evaluating Time-Dependent Methods and Seasonal Effects in Code Technical Debt Prediction. CoRR Mikel Robredo, Nyyti Saarimäki, Davide Taibi, Rafael Peñaloza, Valentina Lenarduzzi
2024	—	`conf`	How to Blend Concepts in Diffusion Models. ISD Lorenzo Olearo, Giorgio Longari, Simone Melzi, Alessandro Raganato, Rafael Peñaloza
2024	J	`jnl`	How to Blend Concepts in Diffusion Models. CoRR Giorgio Longari, Lorenzo Olearo, Simone Melzi, Rafael Peñaloza, Alessandro Raganato
2024	J	`jnl`	In Search of Metrics to Guide Developer-Based Refactoring Recommendations. CoRR Mikel Robredo, Matteo Esposito, Fabio Palomba, Rafael Peñaloza, Valentina Lenarduzzi
2024	—	`conf`	Reasoning Capabilities and Invariability of Large Language Models. WI/IAT Alessandro Raganato, Rafael Peñaloza, Marco Viviani, Gabriella Pasi
2024	B	`conf`	Reasoning in Rough Description Logics with Multiple Indiscernibility Relations. RuleML+RR Rafael Peñaloza, Anni-Yasmin Turhan
2024	—	`conf`	Rough, Rougher, Roughest: Extending EL with a Hierarchy of Indiscernibility Relations. Description Logics Rafael Peñaloza, Anni-Yasmin Turhan
2024	J	`jnl`	Selected Papers from the 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021). Theory Pract. Log. Program. Sotiris Moschoyiannis, Rafael Peñaloza
2024	—	`conf`	Towards ASP-based Minimal Unsatisfiable Cores Enumeration for LTLf. OVERLAY Antonio Ielo, Giuseppe Mazzotta, Francesco Ricca, Rafael Peñaloza
2023	—	`conf`	ASP-based Axiom Pinpointing for Description Logics. Description Logics Ignacio Huitzil, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca
2023	J	`jnl`	Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies. Theory Pract. Log. Program. Gabriella Pasi, Rafael Peñaloza
2023	J	`jnl`	Breaks and Code Quality: Investigating the Impact of Forgetting on Software Development. A Registered Report. CoRR Dario Amoroso d'Aragona, Luca Pascarella, Andrea Janes, Valentina Lenarduzzi, Rafael Peñaloza, Davide Taibi
2023	—	`conf`	Does Stable Diffusion Dream of Electric Sheep. ISD Simone Melzi, Rafael Peñaloza, Alessandro Raganato
2023	J	`jnl`	Ignoring Time Dependence in Software Engineering Data. A Mistake. CoRR Mikel Robredo, Nyyti Saarimäki, Rafael Peñaloza, Valentina Lenarduzzi
2023	—	`ed.`	Joint Proceedings of the 2nd Workshop on Knowledge Diversity and the 2nd Workshop on Cognitive Aspects of Knowledge Representation co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023), Rhodes, Greece, September 3-4, 2023. KoDis+CAKR@KR Clayton K. Baker, Lucía Gómez Álvarez, Jesse Heyninck, Thomas Meyer, Rafael Peñaloza, Srdjan Vesic
2023	J	`jnl`	On the Empirical Evidence of Microservice Logical Coupling. A Registered Report. CoRR Dario Amoroso d'Aragona, Luca Pascarella, Andrea Janes, Valentina Lenarduzzi, Rafael Peñaloza, Davide Taibi
2023	B	`conf`	Plan Recognition as Probabilistic Trace Alignment. ICPM Jonghyeon Ko, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza, Ramon Fraga Pereira
2023	J	`jnl`	Semiring Provenance for Lightweight Description Logics. CoRR Camille Bourgaux, Ana Ozaki, Rafael Peñaloza
2023	—	`conf`	Semiring Provenance in Expressive Description Logics. Description Logics Rafael Peñaloza
2023	—	`conf`	Walk Me to the Moon: Representing Image Schemas with Abstract Time Measures. ISD Rafael Peñaloza, Zuzana Pinkosova
2022	J	`jnl`	Highlights of AI Research in Europe. AI Commun. Steven Schockaert, Rafael Peñaloza
2022	—	`ed.`	International Research School in Artificial Intelligence in Bergen, AIB 2022, University of Bergen, Norway, June 7-11, 2022 AIB Camille Bourgaux, Ana Ozaki, Rafael Peñaloza
2022	B	`conf`	Pinpointing Axioms in Ontologies via ASP. LPNMR Rafael Peñaloza, Francesco Ricca
2022	J	`jnl`	Probabilistic declarative process mining. Inf. Syst. Anti Alman, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza
2022	—	`ed.`	Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology, Jönköping, Sweden, August 15-19, 2022. JOWO Tiago Prince Sales, Maria M. Hedblom, He Tan, Guendalina Righetti, Oliver Kutz, Martin Glauer, Janna Hastings, Till Mossakowski, Fabian Neuhaus, Lucía Gómez Álvarez, Rafael Peñaloza, Srdjan Vesic, Claudenir Morais Fonseca, Jona Thai, Stefano Borgo, Damion M. Dooley, Rhiannon Cameron, Lauren E. Chan, Duccio Cavalieri, Robert Warren, Hande Küçük-McGinty, Matthew Lange, Fernanda Forea, Francesco Vitali, Bart Gajderowicz, Daniela Rosu, Aldo Gangemi, Robert Porzel, Daniel Beßler, Mihai Pomarlan, Mohammed Diab, Alberto Olivares Alarcos
2022	A	`conf`	Towards a Robust Approach to Analyze Time-Dependent Data in Software Engineering. SANER Nyyti Saarimäki, Sergio Moreschini, Francesco Lomio, Rafael Peñaloza, Valentina Lenarduzzi
2022	B	`conf`	Union and Intersection of All Justifications. ESWC Jieying Chen, Yue Ma, Rafael Peñaloza, Hui Yang
2022	—	`conf`	User-aware Explications of Ontology Consequences: Levelling Technicality. FCR@KI Rafael Peñaloza, Anni-Yasmin Turhan
2021	J	`jnl`	A Brief Roadmap into Uncertain Knowledge Representation via Probabilistic Description Logics. Algorithms Rafael Peñaloza
2021	—	`conf`	A Tool for Computing Probabilistic Trace Alignments. CAiSE Forum Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza
2021	—	`conf`	An Upper Bound for Provenance in ELHr. Description Logics Rafael Peñaloza
2021	J	`jnl`	An Upper Bound for Provenance in ELHr. CoRR Rafael Peñaloza
2021	J	`jnl`	Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies. CoRR Gabriella Pasi, Rafael Peñaloza
2021	—	`conf`	Complementing Language Embeddings with Knowledge Bases for Specific Domains. DAO-XAI Paolo Tenti, Gabriella Pasi, Rafael Peñaloza
2021	J	`jnl`	Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361). Dagstuhl Reports João Marques-Silva, Rafael Peñaloza, Uli Sattler
2021	—	`conf`	Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox. Description Logics Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
2021	B	`conf`	Probabilistic Trace Alignment. ICPM Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza
2021	J	`jnl`	Probabilistic Trace Alignment. CoRR Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza
2021	—	`ed.`	Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal (virtual), September 20th-21st, 2021. ICLP Workshops Joaquín Arias, Fabio Aurelio D'Asaro, Abeer Dyoub, Gopal Gupta, Markus Hecher, Emily Leblanc, Rafael Peñaloza, Elmer Salazar, Ari Saptawijaya, Felix Weitkämper, Jessica Zangari
2021	B	`ed.`	Rules and Reasoning - 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings RuleML+RR Sotiris Moschoyiannis, Rafael Peñaloza, Jan Vanthienen, Ahmet Soylu, Dumitru Roman
2021	Misc	`conf`	Safety of quantified ABoxes w.r.t. singleton ε SAC Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
2021	J	`jnl`	Special issue on historical and future perspectives of AI. AI Commun. Steven Schockaert, Rafael Peñaloza
2021	J	`jnl`	The Probabilistic Description Logic. Theory Pract. Log. Program. Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza
2021	—	`conf`	Union and Intersection of all Justifications (Extended Abstract). Description Logics Jieying Chen, Rafael Peñaloza, Hui Yang
2021	J	`jnl`	Union and Intersection of all Justifications. CoRR Jieying Chen, Yue Ma, Rafael Peñaloza, Hui Yang
2021	—	`conf`	Using an Ensemble of Features for Personalized Recommendations of Scientific Publications. IIR Paolo Tenti, James Thomas, Rafael Peñaloza, Gabriella Pasi
2020	J	`jnl`	Axiom Pinpointing. CoRR Rafael Peñaloza
2020	—	`ch.`	Axiom Pinpointing. Applications and Practices in Ontology Design, Extraction, and Reasoning Rafael Peñaloza
2020	—	`conf`	Computing Compliant Anonymisations of Quantified ABoxes w.r.t. ISWC (1) Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
2020	J	`jnl`	Error-Tolerance and Error Management in Lightweight Description Logics. Künstliche Intell. Rafael Peñaloza
2020	A	`conf`	Extending Temporal Business Constraints with Uncertainty. BPM Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza, Anti Alman
2020	—	`conf`	Introduction to Probabilistic Ontologies (tutorial). CILC Rafael Peñaloza
2020	—	`conf`	Introduction to Probabilistic Ontologies. RW Rafael Peñaloza
2020	—	`conf`	Probabilistic Conformance Checking Based on Declarative Process Models. CAiSE Forum Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza
2020	—	`conf`	Provenance for the Description Logic ELHr (Extended Abstract). Description Logics Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu
2020	A*	`conf`	Provenance for the Description Logic ELHr. IJCAI Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu
2020	J	`jnl`	Provenance for the Description Logic ELHr. CoRR Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu
2020	—	`conf`	Query Answering in Fuzzy DL-Lite with Graded Axioms (Extended Abstract). Description Logics Gabriella Pasi, Rafael Peñaloza
2020	B	`conf`	Query Answering in Fuzzy DL-Lite with Graded Axioms. RuleML+RR Gabriella Pasi, Rafael Peñaloza
2020	A*	`conf`	Reasoning with Contextual Knowledge and Influence Diagrams. KR Erman Acar, Rafael Peñaloza
2020	J	`jnl`	Reasoning with Contextual Knowledge and Influence Diagrams. CoRR Erman Acar, Rafael Peñaloza
2020	J	`jnl`	SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT. Künstliche Intell. Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph
2020	A*	`conf`	Temporal Logics Over Finite Traces with Uncertainty. AAAI Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza
2020	J	`jnl`	The Probabilistic Description Logic BALC. CoRR Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza
2020	A*	`conf`	Towards a Logic of Meta-Analysis. KR Rafael Peñaloza
2019	B	`conf`	A Bayesian Extension of the Description Logic JELIA Leonard Botha, Thomas Meyer, Rafael Peñaloza
2019	J	`jnl`	Enriching Ontology-based Data Access with Provenance (Extended Version). CoRR Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza, Guohui Xiao
2019	A*	`conf`	Enriching Ontology-based Data Access with Provenance. IJCAI Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza, Guohui Xiao
2019	—	`conf`	Explaining Axiom Pinpointing. Description Logic, Theory Combination, and All That Rafael Peñaloza
2019	J	`jnl`	Image Schema Combinations and Complex Events. Künstliche Intell. Maria M. Hedblom, Oliver Kutz, Rafael Peñaloza, Giancarlo Guizzardi
2019	—	`conf`	Making Decisions over Contextual Ontologies. Description Logics Erman Acar, Rafael Peñaloza, Livia Predoiu
2019	B	`conf`	Making Decisions with Knowledge Base Repairs. MDAI Rafael Peñaloza
2019	J	`jnl`	Probabilistic Temporal Logic over Finite Traces (Technical Report). CoRR Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza
2019	J	`jnl`	Representing a reference foundational ontology of events in SROIQ. Appl. Ontology Alessander Botti Benevides, Jean-Rémi Bourguet, Giancarlo Guizzardi, Rafael Peñaloza, João Paulo A. Almeida
2018	J	`jnl`	A Hardware/Software Stack for Heterogeneous Systems. IEEE Trans. Multi Scale Comput. Syst. 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
2018	—	`conf`	Consequence-Based Axiom Pinpointing. SUM Ana Ozaki, Rafael Peñaloza
2018	J	`jnl`	Consequence-Based Axiom Pinpointing. CoRR Ana Ozaki, Rafael Peñaloza
2018	A*	`conf`	Cutting Diamonds: A Temporal Logic with Probabilistic Distributions. KR Alisa Kovtunova, Rafael Peñaloza
2018	—	`conf`	Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data. Description Logics Alisa Kovtunova, Rafael Peñaloza
2018	J	`jnl`	Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data. CoRR Alisa Kovtunova, Rafael Peñaloza
2018	—	`conf`	Making Repairs in Description Logics More Gentle (Extended Abstract). Description Logics Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
2018	A*	`conf`	Making Repairs in Description Logics More Gentle. KR Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
2018	—	`ed.`	Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017. JOWO Stefano Borgo, Oliver Kutz, Frank Loebe, Fabian Neuhaus, Kemo Adrian, Mihailo Antovic, Valerio Basile, Martin Boeker, Diego Calvanese, Tommaso Caselli, Giorgio Colombo, Roberto Confalonieri, Laura Daniele, Jérôme Euzenat, Antony Galton, Dagmar Gromann, Maria M. Hedblom, Heinrich Herre, Inge Hinterwaldner, Andrea Janes, Ludger Jansen, Kris Krois, Antonio Lieto, Claudio Masolo, Rafael Peñaloza, Daniele Porello, Daniele Paolo Radicioni, Emilio M. Sanfilippo, Daniel Schober, Rossella Stufano, Amanda Vizedom
2018	—	`ed.`	Proceedings of the Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness co-located with the 9th International Joint Conference on Automated Reasoning, PRUV@IJCAR 2018, Oxford, UK, July 19th, 2018. PRUV@IJCAR Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan
2018	—	`conf`	Provenance in Ontology-based Data Access. Description Logics Ana Ozaki, Rafael Peñaloza
2018	J	`jnl`	Query Answering for Rough EL Ontologies (Extended Technical Report). CoRR Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
2018	A*	`conf`	Query Answering for Rough EL Ontologies. KR Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
2018	J	`jnl`	Repairing Description Logic Ontologies by Weakening Axioms. CoRR Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
2018	A*	`conf`	Repairing Ontologies via Axiom Weakening. AAAI Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz
2018	—	`conf`	The Bayesian Description Logic BALC. Description Logics Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza
2018	A*	`conf`	Two Approaches to Ontology Aggregation Based on Axiom Weakening. IJCAI Daniele Porello, Nicolas Troquard, Rafael Peñaloza, Roberto Confalonieri, Pietro Galliani, Oliver Kutz
2018	C	`conf`	Under the Super-Suit: What Superheroes Can Reveal About Inherited properties in Conceptual Blending. ICCC Giancarlo Guizzardi, Rafael Peñaloza, Maria M. Hedblom, Oliver Kutz
2018	J	`jnl`	Upward refinement operators for conceptual blending in the description logic ℰ ℒ Ann. Math. Artif. Intell. Roberto Confalonieri, Manfred Eppe, Marco Schorlemmer, Oliver Kutz, Rafael Peñaloza, Enric Plaza
2018	—	`conf`	What's Cracking? How Image Schema Combinations Can Model Conceptualisations of Events. TriCoLore (C3GI/ISD/SCORE) Maria M. Hedblom, Oliver Kutz, Rafael Peñaloza, Giancarlo Guizzardi
2017	J	`jnl`	A Decidable Very Expressive Description Logic for Databases (Extended Version). CoRR Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli
2017	—	`conf`	A Decidable Very Expressive Description Logic for Databases. ISWC (1) Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli
2017	—	`conf`	A Decidable Very Expressive n-ary Description Logic for Database Applications (extended abstract). SEBD Alessandro Artale, Enrico Franconi, Rafael Peñaloza, Francesco Sportelli
2017	J	`jnl`	Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics. Int. J. Approx. Reason. Stefan Borgwardt, Rafael Peñaloza
2017	C	`conf`	An Automata View to Goal-Directed Methods. LATA Lisa Hutschenreiter, Rafael Peñaloza
2017	—	`conf`	Coherence, Similarity, and Concept Generalisation. Description Logics Roberto Confalonieri, Oliver Kutz, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Marco Schorlemmer, Nicolas Troquard
2017	—	`conf`	Debugging EL+ Ontologies through Horn MUS Enumeration. Description Logics Alexey Ignatiev, João Marques-Silva, Carlos Mencía, Rafael Peñaloza
2017	J	`jnl`	Decidability and Complexity of Fuzzy Description Logics. Künstliche Intell. Franz Baader, Stefan Borgwardt, Rafael Peñaloza
2017	—	`conf`	Fuzzy Description Logics - A Survey. SUM Stefan Borgwardt, Rafael Peñaloza
2017	B	`conf`	Inconsistency-Tolerant Instance Checking in Tractable Description Logics. RuleML+RR Rafael Peñaloza
2017	—	`conf`	Lean Kernels in Description Logics. ESWC (1) Rafael Peñaloza, Carlos Mencía, Alexey Ignatiev, João Marques-Silva
2017	A*	`conf`	Minimal Undefinedness for Fuzzy Answer Sets. AAAI Mario Alviano, Giovanni Amendola, Rafael Peñaloza
2017	J	`jnl`	Preface to the Speical Issue on Reasoning about Preferences, Uncertainty, and Vagueness. FLAP Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan
2017	A*	`conf`	Query Answering in Ontologies under Preference Rankings. IJCAI Ismail Ilkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza, Oana Tifrea-Marciuska
2017	J	`jnl`	Repairing Ontologies via Axiom Weakening. CoRR Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz
2017	B	`conf`	Repairing Socially Aggregated Ontologies Using Axiom Weakening. PRIMA Daniele Porello, Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Rafael Peñaloza
2017	—	`conf`	Representing the UFO-B Foundational Ontology of Events in SROIQ. JOWO Alessander Botti Benevides, Jean-Rémi Bourguet, Giancarlo Guizzardi, Rafael Peñaloza
2017	A	`conf`	Semantic Rules for Machine Diagnostics: Execution and Management. CIKM Evgeny Kharlamov, Ognjen Savkovic, Guohui Xiao, Rafael Peñaloza, Gulnar Mehdi, Mikhail Roshchin, Ian Horrocks
2017	J	`jnl`	The Bayesian Ontology Language $$\mathcal {BEL}$$ BEL. J. Autom. Reason. Ismail Ilkan Ceylan, Rafael Peñaloza
2017	—	`conf`	The Shape of the Other. JOWO Rafael Peñaloza
2017	J	`jnl`	The complexity of fuzzy EL under the Łukasiewicz T-norm. Int. J. Approx. Reason. Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
2017	J	`jnl`	Towards Statistical Reasoning in Description Logics over Finite Domains (Full Version). CoRR Rafael Peñaloza, Nico Potyka
2017	—	`conf`	Towards Statistical Reasoning in Description Logics over Finite Domains. SUM Rafael Peñaloza, Nico Potyka
2017	—	`conf`	Two Applications of Concept Refinement. CEx@AI*IA Roberto Confalonieri, Nicolas Troquard, Pietro Galliani, Oliver Kutz, Rafael Peñaloza, Daniele Porello
2017	J	`jnl`	Understanding the complexity of axiom pinpointing in lightweight description logics. Artif. Intell. Rafael Peñaloza, Baris Sertkaya
2017	—	`conf`	Łukasiewicz Fuzzy EL is Undecidable. Description Logics Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
2016	J	`jnl`	Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies. J. Data Semant. Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
2016	A	`conf`	BEACON: An Efficient SAT-Based Tool for Debugging SAT M. Fareed Arif, Carlos Mencía, Alexey Ignatiev, Norbert Manthey, Rafael Peñaloza, João Marques-Silva
2016	A	`conf`	Complexity Results for Probabilistic Datalog ECAI Ismail Ilkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza
2016	—	`conf`	Conceptual Blending in EL++. Description Logics Roberto Confalonieri, Marco Schorlemmer, Oliver Kutz, Rafael Peñaloza, Enric Plaza, Manfred Eppe
2016	—	`conf`	Efficient Axiom Pinpointing in EL using SAT Technology. Description Logics Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph
2016	B	`conf`	Efficient Reasoning for Inconsistent Horn Formulae. JELIA João Marques-Silva, Alexey Ignatiev, Carlos Mencía, Rafael Peñaloza
2016	—	`conf`	Probabilistic Reasoning in the Description Logic SUM Rafael Peñaloza, Nico Potyka
2016	J	`jnl`	Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy (Full Version). CoRR Rafael Peñaloza, Nico Potyka
2016	—	`ed.`	Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016. Description Logics Maurizio Lenzerini, Rafael Peñaloza
2016	—	`conf`	Reasoning in Expressive Gödel Description Logics. Description Logics Stefan Borgwardt, Rafael Peñaloza
2016	J	`jnl`	Reasoning in Fuzzy Description Logics using Automata. Fuzzy Sets Syst. Stefan Borgwardt, Rafael Peñaloza
2015	—	`conf`	Answering EL Queries in the Presence of Preferences. Description Logics Ismail Ilkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza
2015	J	`jnl`	Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies. CoRR Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
2015	—	`conf`	Conjunctive Query Answering with Finitely Many Truth Degrees. Description Logics Stefan Borgwardt, Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
2015	—	`conf`	Dynamic Bayesian Description Logics. Description Logics Ismail Ilkan Ceylan, Rafael Peñaloza
2015	J	`jnl`	Dynamic Bayesian Ontology Languages. CoRR Ismail Ilkan Ceylan, Rafael Peñaloza
2015	J	`jnl`	Fuzzy Answer Set Computation via Satisfiability Modulo Theories. CoRR Mario Alviano, Rafael Peñaloza
2015	J	`jnl`	Fuzzy answer set computation via satisfiability modulo theories. Theory Pract. Log. Program. Mario Alviano, Rafael Peñaloza
2015	—	`conf`	Iterative Ontology Updates Using Context Labels. JOWO@IJCAI Rafael Peñaloza, Aparna Saisree Thuluva
2015	Misc	`ed.`	KI 2015: Advances in Artificial Intelligence - 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings KI Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza, Sebastian Rudolph
2015	J	`jnl`	On the Decidability Status of Fuzzy ALC with General Concept Inclusions. J. Philos. Log. Franz Baader, Stefan Borgwardt, Rafael Peñaloza
2015	—	`conf`	Probabilistic Query Answering in the Bayesian Description Logic SUM Ismail Ilkan Ceylan, Rafael Peñaloza
2015	—	`conf`	Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics. FroCos Stefan Borgwardt, Rafael Peñaloza
2015	J	`jnl`	Reasoning in Infinitely Valued G-IALCQ. CoRR Stefan Borgwardt, Rafael Peñaloza
2015	J	`jnl`	Similarity-based relaxed instance queries. J. Appl. Log. Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
2015	—	`conf`	The Bayesian Ontology Reasoner is BORN! ORE Ismail Ilkan Ceylan, Julian Mendez, Rafael Peñaloza
2015	A*	`conf`	The Complexity of Subsumption in Fuzzy EL. IJCAI Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
2015	J	`jnl`	The limits of decidability in fuzzy description logics with general concept inclusions. Artif. Intell. Stefan Borgwardt, Felix Distel, Rafael Peñaloza
2015	—	`conf`	Upward Refinement for Conceptual Blending in Description Logic: An ASP-based Approach and Case Study in EL++. JOWO@IJCAI Roberto Confalonieri, Marco Schorlemmer, Enric Plaza, Manfred Eppe, Oliver Kutz, Rafael Peñaloza
2014	A*	`conf`	Answering Instance Queries Relaxed by Concept Similarity. KR Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
2014	—	`conf`	Bayesian Description Logics. Description Logics Ismail Ilkan Ceylan, Rafael Peñaloza
2014	—	`conf`	Brave and Cautious Reasoning in EL. Description Logics Michel Ludwig, Rafael Peñaloza
2014	—	`conf`	Certain Answers in a Rough World. Description Logics Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
2014	J	`jnl`	Completion-based generalization inferences for the Description Logic ELOR with subjective probabilities. Int. J. Approx. Reason. Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
2014	—	`conf`	Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics. RR Theofilos P. Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
2014	J	`jnl`	Consistency reasoning in lattice-based fuzzy Description Logics. Int. J. Approx. Reason. Stefan Borgwardt, Rafael Peñaloza
2014	—	`conf`	DeaLing with Ontologies using CODs. Description Logics Chiara Del Vescovo, Rafael Peñaloza
2014	A*	`conf`	Decidable Gödel Description Logics without the Finitely-Valued Model Property. KR Stefan Borgwardt, Felix Distel, Rafael Peñaloza
2014	—	`conf`	Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics. ACRI Stathis Delivorias, Haralampos Hatzikirou, Rafael Peñaloza, Dirk Walther
2014	B	`conf`	Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$. JELIA Michel Ludwig, Rafael Peñaloza
2014	—	`conf`	Finite Lattices Do Not Make Reasoning in URSW (LNCS Vol.) Stefan Borgwardt, Rafael Peñaloza
2014	—	`conf`	Gödel Description Logics with General Models. Description Logics Stefan Borgwardt, Felix Distel, Rafael Peñaloza
2014	—	`conf`	Gödel FL_0 with Greatest Fixed-Point Semantics. Description Logics Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza
2014	—	`conf`	Many-valued Horn Logic is Hard. PRUV Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
2014	—	`conf`	Mary, What's Like All Cats? Description Logics Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
2014	—	`ed.`	Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness, PRUV 2014, co-located with 7th International Joint Conference on Automated Reasoning (IJCAR 2014), Vienna, Austria, July 23-24, 2014. PRUV Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan
2014	Misc	`conf`	Reasoning in KI Dorian Merz, Rafael Peñaloza, Anni-Yasmin Turhan
2014	—	`conf`	Reasoning in the Description Logic BEL Using Bayesian Networks. StarAI@AAAI Ismail Ilkan Ceylan, Rafael Peñaloza
2014	A	`conf`	The Bayesian Description Logic ${\mathcal{BEL}}$. IJCAR Ismail Ilkan Ceylan, Rafael Peñaloza
2014	B	`conf`	The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics. JELIA Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza
2014	J	`jnl`	The complexity of computing the behaviour of lattice automata on infinite trees. Theor. Comput. Sci. Karsten Lehmann, Rafael Peñaloza
2014	B	`conf`	Tight Complexity Bounds for Reasoning in the Description Logic $\mathcal{BE{\kern-.1em}L}$. JELIA Ismail Ilkan Ceylan, Rafael Peñaloza
2014	—	`conf`	Towards Parallel Repair: An Ontology Decomposition-based Approach. Description Logics Yue Ma, Rafael Peñaloza
2013	—	`conf`	About Subsumption in Fuzzy EL. Description Logics Stefan Borgwardt, Rafael Peñaloza
2013	Misc	`conf`	Computing Role-Depth Bounded Generalizations in the Description Logic. KI Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
2013	J	`jnl`	Fuzzy answer sets approximations. Theory Pract. Log. Program. Mario Alviano, Rafael Peñaloza
2013	—	`conf`	Instance-Based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities. URSW (LNCS Vol.) Rafael Peñaloza, Anni-Yasmin Turhan
2013	A*	`conf`	Positive Subsumption in Fuzzy EL with General t-Norms. IJCAI Stefan Borgwardt, Rafael Peñaloza
2013	—	`conf`	Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals. Description Logics Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
2013	—	`conf`	Rough EL Classification. Description Logics Rafael Peñaloza, Tingting Zou
2013	—	`conf`	Roughening the Envelope. FroCos Rafael Peñaloza, Tingting Zou
2013	J	`jnl`	The Complexity of Lattice-Based Fuzzy Description Logics. J. Data Semant. Stefan Borgwardt, Rafael Peñaloza
2012	—	`conf`	A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices. RR Stefan Borgwardt, Rafael Peñaloza
2012	—	`conf`	Adding Context to Tableaux for DLs. Description Logics Weili Fu, Rafael Peñaloza
2012	J	`jnl`	Context-dependent views to axioms and consequences of Semantic Web ontologies. J. Web Semant. Franz Baader, Martin Knechtel, Rafael Peñaloza
2012	—	`conf`	Gödel Negation Makes Unwitnessed Consistency Crisp. Description Logics Stefan Borgwardt, Felix Distel, Rafael Peñaloza
2012	A	`conf`	How Fuzzy Is My Fuzzy Description Logic? IJCAR Stefan Borgwardt, Felix Distel, Rafael Peñaloza
2012	—	`conf`	Non-Gödel Negation Makes Unwitnessed Consistency Undecidable. Description Logics Stefan Borgwardt, Rafael Peñaloza
2012	A*	`conf`	Undecidability of Fuzzy Description Logics. KR Stefan Borgwardt, Rafael Peñaloza
2011	—	`conf`	A Practical Approach for Computing Generalization Inferences in ESWC (1) Rafael Peñaloza, Anni-Yasmin Turhan
2011	B	`conf`	Are fuzzy description logics with general concept inclusion axioms decidable? FUZZ-IEEE Franz Baader, Rafael Peñaloza
2011	—	`conf`	Correcting Access Restrictions to a Consequence More Flexibly. Description Logics Eldora, Martin Knechtel, Rafael Peñaloza
2011	A*	`conf`	Description Logics over Lattices with Multi-Valued Ontologies. IJCAI Stefan Borgwardt, Rafael Peñaloza
2011	—	`conf`	Finite Lattices Do Not Make Reasoning in ALCI Harder. URSW Stefan Borgwardt, Rafael Peñaloza
2011	—	`conf`	Fuzzy Ontologies over Lattices with T-norms. Description Logics Stefan Borgwardt, Rafael Peñaloza
2011	—	`conf`	GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable. Description Logics Franz Baader, Rafael Peñaloza
2011	—	`conf`	On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm. FroCoS Franz Baader, Rafael Peñaloza
2011	—	`conf`	The Inclusion Problem for Weighted Automata on Infinite Trees. AFL Stefan Borgwardt, Rafael Peñaloza
2010	—	`conf`	A Generic Approach for Correcting Access Restrictions to a Consequence. ESWC (1) Martin Knechtel, Rafael Peñaloza
2010	J	`jnl`	Automata-Based Axiom Pinpointing. J. Autom. Reason. Franz Baader, Rafael Peñaloza
2010	J	`jnl`	Axiom Pinpointing in General Tableaux. J. Log. Comput. Franz Baader, Rafael Peñaloza
2010	A	`conf`	Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics. ECAI Rafael Peñaloza, Baris Sertkaya
2010	—	`conf`	Complexity of Axiom Pinpointing in the DL-Lite Family. Description Logics Rafael Peñaloza, Baris Sertkaya
2010	—	`conf`	Correcting Access Restrictions to a Consequence. Description Logics Martin Knechtel, Rafael Peñaloza
2010	A*	`conf`	On the Complexity of Axiom Pinpointing in the EL Family of Description Logics. KR Rafael Peñaloza, Baris Sertkaya
2010	—	`ed.`	Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010 UniDL Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan
2010	—	`conf`	Role-depth Bounded Least Common Subsumers by Completion for EL- and prob-EL-TBoxes. Description Logics Anni-Yasmin Turhan, Rafael Peñaloza
2010	—	`conf`	Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities. UniDL Rafael Peñaloza, Anni-Yasmin Turhan
2010	C	`conf`	Using Sums-of-Products for Non-standard Reasoning. LATA Rafael Peñaloza
2009	Misc	`conf`	A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms. ISWC Franz Baader, Martin Knechtel, Rafael Peñaloza
2009	—	`conf`	Axiom Pinpointing is Hard. Description Logics Rafael Peñaloza, Baris Sertkaya
2009	—	`conf`	Reasoning With Weighted Ontologies. Description Logics Rafael Peñaloza
2009	—	`ch.`	Wie findet man die verantwortlichen Axiome? Axiom-Pinpointing in Beschreibungslogiken. Ausgezeichnete Informatikdissertationen Rafael Peñaloza
2008	J	`jnl`	Automata can show PSpace results for description logics. Inf. Comput. Franz Baader, Jan Hladik, Rafael Peñaloza
2008	A	`conf`	Automata-Based Axiom Pinpointing. IJCAR Franz Baader, Rafael Peñaloza
2008	—	`conf`	Automata-based Pinpointing for DLs. Description Logics Rafael Peñaloza
2007	B	`conf`	Axiom Pinpointing in General Tableaux. TABLEAUX Franz Baader, Rafael Peñaloza
2007	—	`conf`	Blocking Automata for PSPACE DLs. Description Logics Franz Baader, Jan Hladik, Rafael Peñaloza
2007	Misc	`conf`	Pinpointing in the Description Logic KI Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn
2007	—	`conf`	Pinpointing in the Description Logic EL. Description Logics Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn
2007	C	`conf`	SI! Automata Can Show PSPACE Results for Description Logics. LATA Franz Baader, Jan Hladik, Rafael Peñaloza
2006	—	`conf`	PSPACE Automata for Description Logics. Description Logics Jan Hladik, Rafael Peñaloza
2006	—	`conf`	Prova: Rule-Based Java Scripting for Distributed Web Applications: A Case Study in Bioinformatics. EDBT Workshops Alexander Kozlenkov, Rafael Peñaloza, Vivek Nigam, Loïc Royer, Gihan Dawelbait, Michael Schroeder
2003	—	`conf`	Using Bayesian Networks as an Inference Engine in KAMET. SCCC Osvaldo Cairó, Rafael Peñaloza