Sfoglia per Autore
Blending concepts with text-to-image diffusion models
2026 Olearo, L; Longari, G; Raganato, A; Peñaloza, R; Melzi, S
Analyzing the ripple effects of refactoring
2026 Robredo, M; Esposito, M; Palomba, F; Penaloza, R; Lenarduzzi, V
Enumerating Minimal Unsatisfiable Cores of LTLf Formulae
2026 Ielo, A; Mazzotta, G; Peñaloza, R; Ricca, F
SQuaD: The Software Quality Dataset
2026 Robredo, M; Esposito, M; Taibi, D; Penaloza, R; Lenarduzzi, V
Introducing DeepEL (Extended Abstract)
2026 Longato, A; Huitzil, I; Penaloza, R
Deontic Defeasible Description Logic
2026 Casini, G; Meyer, T; Penaloza, R; Van Der Torre, L
Neighbourhood Description Logics for Multiperspective Reasoning
2026 Dalmonte, T; Mazzullo, A; Penaloza, R
Deep Weighted Finite Automata
2026 Casone, F; Penaloza, R
When No Paths Lead to Rome: Benchmarking Systematic Neural Relational Reasoning
2025 Das, A; Khalid, I; Penaloza, R; Schockaert, S
ContReviews: A content-based recommendation system for updating Living Evidences in health care
2025 Tenti, P; Thomas, J; Penaloza Nyssen, R; Pasi, G
Towards ASP-based Minimal Unsatisfiable Cores Enumeration for LTLf
2025 Ielo, A; Mazzotta, G; Ricca, F; Penaloza, R
Explainable Knowledge-Aware Process Intelligence: PINPOINT Final Project Report
2025 Piccirilli, E; Di Ciccio, C; Montali, M; Penaloza, R; Pontieri, L; Ricca, F
Evaluating time-dependent methods and seasonal effects in code technical debt prediction
2025 Robredo, M; Saarimäki, N; Esposito, M; Taibi, D; Peñaloza, R; Lenarduzzi, V
Possibilistic Reasoning on Finite-Time Linear Temporal Logic
2025 Carugno, V; Peñaloza, R
Guiding interactive ontology repair through prolific and relevant axioms
2025 Zendron, T; Penaloza, R
Probabilistic Temporal Reasoning Using Superposition Semantics
2025 Maggi, F; Montali, M; Penaloza, R
Reasoning in Rough Description Logics with Multiple Indiscernibility Relations
2024 Penaloza, R; Turhan, A
How to Blend Concepts in Diffusion Models
2024 Olearo, L; Longari, G; Melzi, S; Raganato, A; Penaloza, R
Automata-based LTLf Satisfiability Checking via ASP
2024 Cuteri, A; Mazzotta, G; Penaloza, R; Ricca, F
Rough, Rougher, Roughest Extending ℰℒ with a Hierarchy of Indiscernibility Relations
2024 Penaloza, R; Turhan, A
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile