 Info
Highlights

highlights_en

Combining Logic and Probability

Combining logic and probability is one of the long standing problems of Artificial Intelligence. Logic is very useful for describing domains with many different entities connected by complex relationships, while probability theory deals very well with the uncertainty that is associated to the data we collect from the world.

A brief history of Mathematics at the University of Ferrara

Mathematics has a strong tradition at the University of Ferrara which goes back to the foundation of the University in 1391. Focus here is on the early history of mathematics at University of Ferrara. Recent developments will only be mentioned marginally. (In Italian)

animation.gif

Uncertainty quantification and the Boltzmann legacy

After the celebrated Boltzmann equation in 1872, which describes the time evolution of a rarefied gas, kinetic equations have been applied to model a variety of phenomena whose multiscale nature cannot be described by a standard macroscopic approach.

On coarser interval temporal logics

The primary characteristic of interval temporal logic is that intervals, rather than points, are taken as the primitive ontological entities. Given their generally bad computational behavior of interval temporal logics, several techniques exist to produce decidable and computationally affordable temporal logics based on intervals.

results