Damiano Azzolini

56 papers A* 3A 2B 4C 1Journal 24Unranked 19

Year	Rank	Type	Title / Venue / Authors
2026	C	`conf`	Solving Hard Combinatorial Optimization Problems with PyQASP. PADL Damiano Azzolini, Nicola Leone, Giuseppe Mazzotta, Francesco Ricca
2025	A*	`conf`	A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming. KR Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi
2025	A	`conf`	An Algebraic View of MAP Inference in Probabilistic Answer Set Programs. ECAI Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi
2025	J	`jnl`	Application Placement with Constraint Relaxation. CoRR Damiano Azzolini, Marco Duca, Stefano Forti, Francesco Gallo, Antonio Ielo
2025	J	`jnl`	Application Placement with Constraint Relaxation. Theory Pract. Log. Program. Damiano Azzolini, Marco Duca, Francesco Gallo, Antonio Ielo, Stefano Forti
2025	J	`jnl`	Continuous reasoning for adaptive container image distribution in the cloud-edge continuum. Clust. Comput. Damiano Azzolini, Stefano Forti, Antonio Ielo
2025	J	`jnl`	Evolutionary learning of probabilistic logic programs. Knowl. Based Syst. Damiano Azzolini
2025	J	`jnl`	Integrating Belief Domains into Probabilistic Logic Programs. CoRR Damiano Azzolini, Fabrizio Riguzzi, Theresa Swift
2025	J	`jnl`	Integrating Belief Domains into Probabilistic Logic Programs. Theory Pract. Log. Program. Damiano Azzolini, Fabrizio Riguzzi, Theresa Swift
2025	—	`ed.`	Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), Rende, Italy, September 9-13, 2025. ICLP Workshops Damiano Azzolini, Sotirios Batsakis, Manuel Alejandro Borroto Santana, Pierangela Bruno, Laura Andrea Cecchi, Jorge Fandinno, Markus Hecher, Marco Maratea, José F. Morales, Brais Muñiz, Emmanuel Papadakis, Livio Robaldo, Luciano Serafini, Fabrizio Lo Scudo, Ilias Tachmazidis, Alice Tarzariol, Mauro Vallati, Adam Wyner
2025	J	`jnl`	Learning answer set programs with aggregates via sampling and genetic programming. Mach. Learn. Damiano Azzolini
2025	J	`jnl`	Mixtures of probabilistic logic programs. Int. J. Approx. Reason. Damiano Azzolini
2025	A*	`conf`	Most Probable Explanation in Probabilistic Answer Set Programming. IJCAI Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi
2025	J	`jnl`	Probabilistic Answer Set Programming with Discrete and Continuous Random Variables. Theory Pract. Log. Program. Damiano Azzolini, Fabrizio Riguzzi
2025	A*	`conf`	Reasoning with Restricted Statistical Statements in Probabilistic Answer Set Programming: Complexity and Algorithms. KR Damiano Azzolini, Markus Hecher
2025	J	`jnl`	Solving Decision Theory Problems with Probabilistic Answer Set Programming. Theory Pract. Log. Program. Damiano Azzolini, Elena Bellodi, Rafael Kiesel, Fabrizio Riguzzi
2024	—	`conf`	A First Journey into the Complexity of Statistical Statements in Probabilistic Answer Set Programming. ICLP Workshops Damiano Azzolini, Markus Hecher
2024	—	`conf`	Benchmarking in Neuro-Symbolic AI. IJCLR Robin Manhaeve, Francesco Giannini, Mehdi Ali, Damiano Azzolini, Alice Bizzarri, Andrea Borghesi, Samuele Bortolotti, Luc De Raedt, Devendra Singh Dhami, Michelangelo Diligenti, Sebastijan Dumancic, Boi Faltings, Elisabetta Gentili, Alfonso Gerevini, Marco Gori, Tias Guns, Martin Homola, Kristian Kersting, Jens Lehmann, Michele Lombardi, Luca Salvatore Lorello, Emanuele Marconato, Stefano Melacci, Andrea Passerini, Debjit Paul, Fabrizio Riguzzi, Stefano Teso, Neil Yorke-Smith, Marco Lippi
2024	J	`jnl`	Continuous reasoning for adaptive container image distribution in the cloud-edge continuum. CoRR Damiano Azzolini, Stefano Forti, Antonio Ielo
2024	J	`jnl`	Fast Inference for Probabilistic Answer Set Programs Via the Residual Program. Theory Pract. Log. Program. Damiano Azzolini, Fabrizio Riguzzi
2024	J	`jnl`	Fast Inference for Probabilistic Answer Set Programs via the Residual Program. CoRR Damiano Azzolini, Fabrizio Riguzzi
2024	A	`conf`	Inference in Probabilistic Answer Set Programs with Imprecise Probabilities via Optimization. UAI Damiano Azzolini, Fabrizio Riguzzi
2024	—	`conf`	Logic Programming for Knowledge Graph Completion. CILC Damiano Azzolini, Matteo Bonato, Elisabetta Gentili, Fabrizio Riguzzi
2024	J	`jnl`	Probabilistic Answer Set Programming with Discrete and Continuous Random Variables. CoRR Damiano Azzolini, Fabrizio Riguzzi
2024	J	`jnl`	Solving Decision Theory Problems with Probabilistic Answer Set Programming. CoRR Damiano Azzolini, Elena Bellodi, Rafael Kiesel, Fabrizio Riguzzi
2024	—	`conf`	Summary of Inference in Probabilistic Answer Set Programs with Imprecise Probabilities via Optimization (Short paper). DP@AI*IA Damiano Azzolini, Fabrizio Riguzzi
2024	J	`jnl`	Symbolic Parameter Learning in Probabilistic Answer Set Programming. CoRR Damiano Azzolini, Elisabetta Gentili, Fabrizio Riguzzi
2024	J	`jnl`	Symbolic Parameter Learning in Probabilistic Answer Set Programming. Theory Pract. Log. Program. Damiano Azzolini, Elisabetta Gentili, Fabrizio Riguzzi
2024	—	`ed.`	Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), Dallas, TX, USA, October 12th and 13th, 2024. ICLP Workshops Joaquín Arias, Damiano Azzolini, Kinjal Basu, Verónica Dahl, Markus Hecher, Francesco Pacenza, Zeynep G. Saribatur, Sarat Chandra Varanasi
2023	—	`conf`	A Brief Discussion about the Credal Semantics for Probabilistic Answer Set Programs. ICLP Workshops Damiano Azzolini
2023	B	`conf`	A Constrained Optimization Approach to Set the Parameters of Probabilistic Answer Set Programs. ILP Damiano Azzolini
2023	—	`conf`	Inference in Probabilistic Answer Set Programming Under the Credal Semantics. AI*IA Damiano Azzolini, Fabrizio Riguzzi
2023	J	`jnl`	Lifted inference for statistical statements in probabilistic answer set programming. Int. J. Approx. Reason. Damiano Azzolini, Fabrizio Riguzzi
2023	—	`conf`	Link Prediction in Knowledge Graphs with Probabilistic Logic Programming: Work in Progress. ICLP Workshops Damiano Azzolini, Elisabetta Gentili, Fabrizio Riguzzi
2023	B	`conf`	Regularization in Probabilistic Inductive Logic Programming. ILP Elisabetta Gentili, Alice Bizzarri, Damiano Azzolini, Riccardo Zese, Fabrizio Riguzzi
2022	—	`conf`	Abduction in (Probabilistic) Answer Set Programming. CILC Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi
2022	J	`jnl`	Abduction with probabilistic logic programming under the distribution semantics. Int. J. Approx. Reason. Damiano Azzolini, Elena Bellodi, Stefano Ferilli, Fabrizio Riguzzi, Riccardo Zese
2022	—	`conf`	Approximate Inference in Probabilistic Answer Set Programming for Statistical Probabilities. AI*IA Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi
2022	—	`—`	Extensions and Applications of Probabilistic Logic Programming. Damiano Azzolini
2022	B	`conf`	Learning the Parameters of Probabilistic Answer Set Programs. ILP Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi
2022	—	`conf`	MAP Inference in Probabilistic Answer Set Programs. AI*IA Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi
2022	J	`jnl`	Probabilistic Logic Models for the Lightning Network. Cryptogr. Damiano Azzolini, Fabrizio Riguzzi
2022	—	`conf`	Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical Summary. ICLP Workshops Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
2022	B	`conf`	Statistical Statements in Probabilistic Logic Programming. LPNMR Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi
2021	—	`conf`	A Probabilistic Logic Model of Lightning Network. BIS (Workshops) Damiano Azzolini, Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma
2021	J	`jnl`	A semantics for Hybrid Probabilistic Logic programs with function symbols. Artif. Intell. Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
2021	J	`jnl`	Optimizing Probabilities in Probabilistic Logic Programs. CoRR Damiano Azzolini, Fabrizio Riguzzi
2021	J	`jnl`	Optimizing Probabilities in Probabilistic Logic Programs. Theory Pract. Log. Program. Damiano Azzolini, Fabrizio Riguzzi
2021	—	`conf`	Reducing Probabilistic Logic Programs. RuleML+RR (Supplement) Damiano Azzolini, Fabrizio Riguzzi
2021	—	`conf`	Syntactic Requirements for Well-defined Hybrid Probabilistic Logic Programs. ICLP Technical Communications Damiano Azzolini, Fabrizio Riguzzi
2020	—	`conf`	An Analysis of Gibbs Sampling for Probabilistic Logic Programs. ICLP Workshops Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
2020	—	`conf`	Modeling Smart Contracts with Probabilistic Logic Programming. BIS (Workshops) Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
2019	—	`conf`	A Comparison of MCMC Sampling for Probabilistic Logic Programming. AI*IA Damiano Azzolini, Fabrizio Riguzzi, Franco Masotti, Evelina Lamma
2019	—	`conf`	Analyzing Transaction Fees with Probabilistic Logic Programming. BIS (Workshops) Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
2019	J	`jnl`	Studying Transaction Fees in the Bitcoin Blockchain with Probabilistic Logic Programming. Inf. Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma
2018	—	`conf`	Modeling Bitcoin Protocols with Probabilistic Logic Programming. PLP@ILP Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma, Elena Bellodi, Riccardo Zese

Nicolò Altamura is a security engineer and computer science researcher specializing in software protection, reverse engineering, program analysis, and binary deobfuscation. He holds a master's degree in Computer Science and Engineering from the University of Verona, graduating with honors, and works at emproof, focusing on software protection and the challenges of analyzing and understanding compiled software.

His research explores the relationship between program analysis and code obfuscation, with particular emphasis on how software transformations affect the ability of automated tools to recover program behavior. His interests span static analysis, binary analysis, decompilation, reverse engineering, and techniques for analyzing and simplifying obfuscated code.

Beyond academic research, Nicolò develops and contributes to tools for reverse engineering and software analysis. His projects include obfuscation_analysis, a Binary Ninja plugin for analyzing and simplifying obfuscated code; Pocket, an obfuscator for mixed Boolean-arithmetic expressions; and ptxNinja, a tool for reverse engineering NVIDIA GPU code represented in the PTX virtual instruction set.

His research also extends to binary datasets and software evolution. In 2026, he co-authored ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage, a research work addressing the availability of binary data across multiple software builds and points in time, supporting research into binary analysis and changes between program versions.

Across his research, engineering work, and open-source contributions, Nicolò focuses on advancing the understanding, analysis, and protection of software against increasingly sophisticated obfuscation and reverse-engineering challenges.

Nicolò Altamura is not a football player. Please avoid reporting this kind of infromation.