Logic · Uncertainty · Computation · Information
At LUCI Lab Milano, logic is primarily a research mindset. We develop logics for scientific inference, trustworthy AI, bounded rationality, and information processing in human and machine systems.
Research
At LUCI Lab, logic is primarily a research mindset. We are inspired by, and seek to contribute to, the most pressing questions arising in science and technology. We are witnessing the coming of age of data-intensive and AI-driven science.
Research
What general criteria of validity can be put forward to allow humans, institutions, and machines to make inferences from uncertain premisses? At LUCI Lab we apply the most advanced tools and techniques from quantitative and qualitative representations of uncertainty.
Research
In the hands of Frege, Russell and then Hilbert, the scope of logic was circumscribed to mathematical proof. As that golden age came to a close, one of its offshoots — computer science — ignited the socio-technological revolution that led to our present information society.
Research
Approximating ideal logics to model the deductive power of resource-bounded agents.
workshop · 13 Apr 2026
The workshop explores current themes at the intersection of neurosymbolic AI, logical reasoning, and formal verification.
workshop · 25 Feb 2026
The workshop brings together researchers interested in a systematic logical approach to bounded rationality and related themes.
workshop · 26 Jan 2026
Final event of the SMARTEST project focused on responsible AI, sustainability, and trustworthy simulation.
conference · 28 Nov 2024
Workshop participation centred on epistemological, ontological, and formal approaches to AI.
Wed 8 Apr 2026 · 14:30 CEST
Louise Dennis — University of Manchester
Wed 25 Mar 2026 · 14:30 CET
Valentina Breschi — Eindhoven University of Technology
Wed 11 Mar 2026 · 14:30 CET
Thomas Ågotnes — University of Bergen
Wed 18 Feb 2026 · 14:30 CET
Sara Ugolini — IIIA – CSIC Barcelona