16 citations · 37 across the 12 of their papers we have counts for
13 papers
Experimental evaluation of optimal abstract operators for sharing and linearity analysis
Francesca Scozzari, Gianluca Amato
In the field of static analysis of logic programs, the optimality of abstract operators is a valuable theoretical property, as it provides insight into the structure of abstract do…
Optimal matching for sharing and linearity analysis
Gianluca Amato, Francesca Scozzari
Static analysis of logic programs by abstract interpretation requires designing abstract operators which mimic the concrete ones, such as unification, renaming and projection. In t…
Increasing biases can be more efficient than increasing weights
Carlo Metta, Marco Fantozzi, Andrea Papini +7
We introduce a novel computational unit for neural networks that features multiple biases, challenging the traditional perceptron structure. This unit emphasizes the importance of…
Artificial intelligence and renegotiation of commercial lease contracts affected by pandemic-related contingencies from Covid-19. The project A.I.A.Co
Maurizio Parton, Marco Angelone, Carlo Metta +4
This paper aims to investigate the possibility of using artificial intelligence (AI) to resolve the legal issues raised by the Covid-19 emergency about the fate of continuing execu…
Score vs. Winrate in Score-Based Games: which Reward for Reinforcement Learning?
Luca Pasqualini, Gianluca Amato, Marco Fantozzi +5
In the last years, the DeepMind algorithm AlphaZero has become the state of the art to efficiently tackle perfect information two-player zero-sum games with a win/lose outcome. How…
Universal Algebra in UniMath
Gianluca Amato, Matteo Calosci, Marco Maggesi +1
We present our library for Universal Algebra in the UniMath framework dealing with multi-sorted signatures, their algebras, and the basics for equation systems. We show how to impl…
Universal Algebra in UniMath
Gianluca Amato, Marco Maggesi, Maurizio Parton +1
We present an ongoing effort to implement Universal Algebra in the UniMath system. Our aim is to develop a general framework for formalizing and studying Universal Algebra in a pro…
SAI: a Sensible Artificial Intelligence that plays with handicap and targets high scores in 9x9 Go (extended version)
Francesco Morandin, Gianluca Amato, Marco Fantozzi +3
We develop a new model that can be applied to any perfect information two-player zero-sum game to target a high score, and thus a perfect play. We integrate this model into the Mon…
SAI, a Sensible Artificial Intelligence that plays Go
Francesco Morandin, Gianluca Amato, Rosa Gini +3
We propose a multiple-komi modification of the AlphaGo Zero/Leela Zero paradigm. The winrate as a function of the komi is modeled with a two-parameters sigmoid function, so that th…
Primitive weird numbers having more than three distinct prime factors
Gianluca Amato, Maximilian F. Hasler, Giuseppe Melfi +1
In this paper we study some structure properties of primitive weird numbers in terms of their factorization. We give sufficient conditions to ensure that a positive integer is weir…
Primitive abundant and weird numbers with many prime factors
Gianluca Amato, Maximilian F. Hasler, Giuseppe Melfi +1
We give an algorithm to enumerate all primitive abundant numbers (briefly, PANs) with a fixed (the number of prime factors counted with their multiplicity), and explicitly find…
Efficiently intertwining widening and narrowing
Gianluca Amato, Francesca Scozzari, Helmut Seidl +2
Non-trivial analysis problems require posets with infinite ascending and descending chains. In order to compute reasonably precise post-fixpoints of the resulting systems of equati…
Optimal multi-binding unification for sharing and linearity analysis
Gianluca Amato, Francesca Scozzari
In the analysis of logic programs, abstract domains for detecting sharing properties are widely used. Recently the new domain $\Linp$ has been introduced to generalize both sharing…