Logic Uncertainty Computation and Information Profile
Logic Uncertainty Computation and Information

@LogicMilano

Followers
458
Following
123
Media
33
Statuses
248

We are a great bunch of logicians working at the Department of Philosophy @LaStatale https://t.co/XQ5sUzwmX3…

Joined June 2020
Don't wanna be here? Send us removal request.
@gprimiero
Giuseppe Primiero
2 years
Our effort on Logics for Trustworthy AI continues in the context of the @BRIO_PRIN project. Joint work with @Ekaterina_Kub_ in the International Journal of Approximate Reasoning. https://t.co/xz9vzryhd8
0
5
5
@BRIO_PRIN
BRIO
2 years
Ultimo giorno #iltempodelledonne @Corriere @triennalemilano per presentare il software Brio×Alkemy @alkemy . Abbiamo parlato con tante persone interessate al problema del #bias in #AI. Release #opensource prossima settimana. Stay tuned!
0
3
0
@BRIO_PRIN
BRIO
2 years
Da oggi anche #BRIO al #tempodelledonne @Corriere @triennalemilano per presentare la prima release del software #BrioxAlkemy sviluppato in collaborazione con @alkemy . Venite a trovarci! https://t.co/VdFqMXpRsf
1
3
3
@BRIO_PRIN
BRIO
3 years
L'8-9-10 Settembre vi aspettiamo in @triennalemilano per il festival "il tempo delle donne" dove presenteremo la prima versione di un tool per l'analisi di bias nei dati sviluppato in collaborazione con @alkemy
0
5
2
@gprimiero
Giuseppe Primiero
3 years
Another chapter of the research by and with my PhD student Alberto Termine @LogicMilano @LaStataleFilo is out online. And his defence is coming up soon! Check it out
Tweet card summary image
link.springer.com
SN Computer Science - Standard techniques for model checking stochastic multi-agent systems usually assume the transition probabilities describing the system dynamics to be stationary and...
0
4
11
@LogicMilano
Logic Uncertainty Computation and Information
3 years
Today we close the ASL Logic Colloquium 2023: 5 days full of logic in its many forms. Thanks to participants and sponsors for making this possible. As LUCI Group we have been honoured to host the community of logicians and hope you have enjoyed it! #logic https://t.co/YefJVI1kQe
0
3
13
@BRIO_PRIN
BRIO
3 years
After the @LogicMilano talk on #Logics for #fair #AI, Davide Posillipo @alkemy presenting the first PoC for a tool based on joint work with @LogicMilano members of # BRIO
0
2
4
@BRIO_PRIN
BRIO
3 years
2nd Research Meeting, May 23: new results and ongoing work by the units. For programme and details see https://t.co/DxqFUsMUfr @LaStatale @LaStataleFilo @META_PoliMi @cnr_istc @UninaIT @UniGenova
0
4
8
@gprimiero
Giuseppe Primiero
3 years
@LaStatale @unimib and @unipv launch this year a Joint Master’s Degree in #Human-Centered #Artificial #Intelligence! For essential information about objectives, career prospects and admissions requirements see https://t.co/HV8CVrA0LN #ai #legal #law #neurosciences #humanities
0
7
2
@gprimiero
Giuseppe Primiero
3 years
Excellent location @unipv within the #Statistics for #DataScience and #AI Conference to present our work @BRIO_PRIN on #Logics for Fair AI in an interdisciplinary session on Data #Ethics
0
3
11
@LogicMilano
Logic Uncertainty Computation and Information
3 years
#updates #LC2023 Safety officer
0
0
1
@LogicMilano
Logic Uncertainty Computation and Information
3 years
Logic Colloquium 2023 is approaching! Registrations are still open, early bird deadline 1st of May. See the programme and list of invited speakers and special sessions at https://t.co/IicObP82xJ Now also a fantastic poster to share! #LC2023 #ASL #logic
0
6
12
@gprimiero
Giuseppe Primiero
3 years
Glad to contribute to this event on Artificial Morality with an overview of current research within @BRIO_PRIN and with @LogicMilano members and beyond about Logics for Fair AI https://t.co/snL8w5yu4u
1
3
2
@LogicMilano
Logic Uncertainty Computation and Information
3 years
We are happy to announce that today's talk of the LUCI group seminar series will be given by Melissa Antonelli (University of Bologna & INRIA Sophia Antipolis) via Zoom at 2pm CET. ++++++ Title of the talk: On Classical Counting Propositional Logic ++++++
0
1
3
@BRIO_PRIN
BRIO
3 years
Welcome to our new PostDoc! Greta Coraglia joins the @LogicMilano Group within the BRIO Project https://t.co/Lh3mbd9o48 https://t.co/Yb7XnNkzLz
0
3
1
@LogicMilano
Logic Uncertainty Computation and Information
3 years
FINAL CfP: LOGIC COLLOQUIUM 2023, University of Milan, Italy 5 June - 9 June 2023 Deadline for submissions 1st of March All details at https://t.co/YefJVI1kQe #logic
0
5
3
@LogicMilano
Logic Uncertainty Computation and Information
3 years
We are happy to announce that the second talk of the LUCI group seminar is given by Aybüke Özgün (ILLC, University of Amsterdam) -->TODAY at 2pm (CET)<-- +++++ Title of the talk: Uncertainty about Evidence (joint work with Adam Bjorndahl) +++++
0
6
10