Giacomo /ˈd͡ʒaːkomo/ Bergami · @bergami
5 followers · 4 posts · Server mathstodon.xyzMy recent paper on #LTLf #logic and #TemporalModelMining through #RelationalAlgebra for temporal reasoning is out: https://www.mdpi.com/2078-2489/14/3/173
Interesting applications involve #CyberSecurity #Industry40 and #eHealth
If you are in #NewcastleUponTyne, I'm going to present both #KnoBAB and the general topic of #BusinessProcessManagement in next week's North East Data Scientists #MeetUp: https://www.meetup.com/it-IT/newcastle-upon-tyne-data-science-meetup/events/291615728/ See you there!
#meetup #BusinessProcessManagement #knobab #newcastleupontyne #ehealth #industry40 #cybersecurity #relationalalgebra #temporalmodelmining #logic #ltlf
Giacomo /ˈd͡ʒaːkomo/ Bergami · @bergami
4 followers · 3 posts · Server mathstodon.xyzMy presentation, "#KnoBAB: Making #Logic Fast" on bridging #DataScience data processing algorithms with #AI, is accepted to the #AAAI23 Spring Symposia, #SSS. This presentation advocates for the representation of #LTLf as #Algebraic operators for accessing finite traces on #RDBMS.
Link to the fast LTLf solver: https://github.com/datagram-db/knobab
See you in #SanFrancisco!
#sanfrancisco #rdbms #algebraic #ltlf #sss #aaai23 #ai #datascience #logic #knobab