A Call for Critically Rethinking and Reforming Data Analysis in Empirical Software Engineering

Authors: Esposito, Matteo, Robredo, Mikel, Sridharan, Murali, Travassos, Guilherme Horta, Peñaloza, Rafael, Lenarduzzi, Valentina

Subject Terms: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Digital Libraries

Access URL: http://arxiv.org/abs/2501.12728

Enumerating Minimal Unsatisfiable Cores of LTLf formulas

Authors: Ielo, Antonio, Mazzotta, Giuseppe, Peñaloza, Rafael, Ricca, Francesco

Subject Terms: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2409.09485

Evaluating Time-Dependent Methods and Seasonal Effects in Code Technical Debt Prediction

Authors: Robredo, Mikel, Saarimaki, Nyyti, Taibi, Davide, Penaloza, Rafael, Lenarduzzi, Valentina

Subject Terms: Computer Science - Software Engineering

Access URL: http://arxiv.org/abs/2408.08095

In Search of Metrics to Guide Developer-Based Refactoring Recommendations

Authors: Robredo, Mikel, Esposito, Matteo, Palomba, Fabio, Peñaloza, Rafael, Lenarduzzi, Valentina

Subject Terms: Computer Science - Software Engineering

Access URL: http://arxiv.org/abs/2407.18169

How to Blend Concepts in Diffusion Models

Authors: Olearo, Lorenzo, Longari, Giorgio, Melzi, Simone, Raganato, Alessandro, Peñaloza, Rafael

Subject Terms: Computer Science - Computer Vision and Pattern Recognition, Computer Science - Artificial Intelligence

Access URL: http://arxiv.org/abs/2407.14280

Ignoring Time Dependence in Software Engineering Data. A Mistake

Authors: Robredo, Mikel, Saarimaki, Nyyti, Penaloza, Rafael, Lenarduzzi, Valentina

Subject Terms: Computer Science - Software Engineering

Access URL: http://arxiv.org/abs/2311.03114

Semiring Provenance for Lightweight Description Logics

Authors: Bourgaux, Camille, Ozaki, Ana, Peñaloza, Rafael

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Databases

Access URL: http://arxiv.org/abs/2310.16472

On the Empirical Evidence of Microservice Logical Coupling. A Registered Report

Authors: Aragona, Dario Amoroso d, Pascarella, Luca, Janes, Andrea, Lenarduzzi, Valentina, Penaloza, Rafael, Taibi, Davide

Subject Terms: Computer Science - Software Engineering

Access URL: http://arxiv.org/abs/2306.02036

Breaks and Code Quality: Investigating the Impact of Forgetting on Software Development. A Registered Report

Authors: d'Aragona, Dario Amoroso, Pascarella, Luca, Janes, Andrea, Lenarduzzi, Valentina, Penaloza, Rafael, Taibi, Davide

Subject Terms: Computer Science - Software Engineering

Access URL: http://arxiv.org/abs/2305.00760

ContReviews: A content-based recommendation system for updating Living Evidences in health care

Authors: Tenti, Paolo ^{a, ⁎}, Thomas, James ^b, Peñaloza, Rafael ^a, Pasi, Gabriella ^a

Source: In Knowledge-Based Systems 28 February 2025 311

Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies

Authors: Pasi, Gabriella, Peñaloza, Rafael

Subject Terms: Computer Science - Artificial Intelligence

Access URL: http://arxiv.org/abs/2111.11779

Union and Intersection of all Justifications

Authors: Chen, Jieying, Ma, Yue, Peñaloza, Rafael, Yang, Hui

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence

Access URL: http://arxiv.org/abs/2109.11216

An Upper Bound for Provenance in ELHr

Authors: Peñaloza, Rafael

Subject Terms: Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2108.12774

Probabilistic Trace Alignment

Authors: Bergami, Giacomo, Maggi, Fabrizio Maria, Montali, Marco, Peñaloza, Rafael

Subject Terms: Computer Science - Databases, Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2107.03997

The Probabilistic Description Logic $\mathcal{BALC}$

Authors: Botha, Leonard, Meyer, Thomas, Peñaloza, Rafael

Subject Terms: Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2009.13407

Reasoning with Contextual Knowledge and Influence Diagrams

Authors: Acar, Erman, Peñaloza, Rafael

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence

Access URL: http://arxiv.org/abs/2007.00571

Pinpointing Axioms in Ontologies via ASP
16th Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)

Authors: Peñaloza, Rafael, Ricca, Francesco

Source: Lecture notes in computer science. 13416:315-321

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN607793758&indx=1&recIds=ETOCCN607793758

Union and Intersection of All Justifications
19th European semantic web conference

Authors: Chen, Jieying, Ma, Yue, Peñaloza, Rafael, Yang, Hui

Source: Lecture notes in computer science. 13261:56-73

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN607648795&indx=1&recIds=ETOCCN607648795

Axiom Pinpointing

Authors: Peñaloza, Rafael

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence

Access URL: http://arxiv.org/abs/2003.08298

Provenance for the Description Logic ELHr

Authors: Bourgaux, Camille, Ozaki, Ana, Peñaloza, Rafael, Predoiu, Livia

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, 16Y60

Access URL: http://arxiv.org/abs/2001.07541