🚀 Call for Papers: Integrating Logical Reasoning & LLMs! 🧠
Frontiers in AI just launched a new Research Topic on how to Advance AI by exploring logic, LLMs, verification, neuro-symbolic AI & more. Join editors from UniFerrara & UniCalabria in this special research topic!
🔗 Learn More and Submit your manuscript: https://t.co/fFrAQOPAp0
🗓️ Abstracts: Sept 2, 2025 | Full Papers: Jan 19, 2026
#AI #LLM #Logic #Research
I've recently become Specialty Chief Editor of the section on Logic and Reasoning in AI of the Frontiers in Artificial Intelligence journal
https://t.co/Q3OqP2iBux
Consider submitting your articles about Logic, Uncertainty, Causality and Reasoning
@FrontComputSci
Why not combine super simple probabilistic logic programs into a mixture model to tackle structure learning? In this paper, we explore exactly that, and surprisingly, it works quite well! 👨💻 🍝 🎨
https://t.co/z8r7FGvXc1
New article with Marco Alberti, Evelina Lamma and Riccardo Zese on AIJ: A semantics for probabilistic hybrid knowledge bases with function symbols, where we introduce probability into knowledge bases combining logic programming and description logic
https://t.co/rEAvZUe1mJ
Two papers accepted at #ICLP24
Fast Inference for Probabilistic Answer Set Programs via the Residual Program https://t.co/vaoayH9BzA
Symbolic Parameter Learning in Probabilistic Answer Set Programming https://t.co/A0K54nVa8o
With @damianoazzolini and Elisabetta Gentili
For readers and teachers of Causality (2009), viewgraphs and exercises are available here:
https://t.co/xTetlHllUh
Alternatively, Primer is loaded with exercises: https://t.co/XofByaPBqG, & a solution manual is available. Please RT, to let others know, especially #Bookofwhy folks
TAILOR conference, day2!
The first short talked was given by @lucderaedt “Can Large Language Models Reason?”, and now we are having the keynote “LLMs Can’t Plan, But Can Help Planning in LLM-Modulo Frameworks” by @rao2z#trustworthyai#fromlabtomarket
Short talks given by @meeliskull (Uncertainty in Text-Generating Foundation Models) and @andrea_whatever (Reasoning shortcuts in neuro-symbolic models).
Great session on Generative and Neuro-Symbolic AI!
#trustworthyai#fromlabtomarket
Keynote speech given by @IGurevych: “Towards Real-World Fact-Checking with Large Language Models” at Instituto Superior Técnico in Lisbon.
#trustworthyai#fromlabtomarket
After a long day of talks, keynote speeches and poster sessions, we are enjoying some drinks on the terrace of Palacio de Tancos, in Lisbon.
Come back tomorrow for the second day of TAILOR conference!
#trustworthyai#fromlabtomarket
Are you ready for the 4th TAILOR Summer School?
Join us in Athens from July 15-26 for top-tier AI learning, in conjunction with ESSAI and @EurAI_ECCAI! 🌍🤖
Free registration for TAILOR members. Details here: https://t.co/PWC11C0s6D
Learn more & register: https://t.co/c7cY5Hm1YG
Pictures of the first two keynotes from the session "Can we trust the machine?".
@wendyju gave a talk about “Trust requires Social Intelligence” and @sierra_carles spoke about “On the Engineering of Social Values”.
A PhD position in Neuro-Symbolic Artificial Intelligence is available at the University of Ferrara, Italy, under my supervision https://t.co/P67ZWechpB Deadline for application 28 June 2024. Send me an email for informal inquiry.
The paper "Inference in Probabilistic Answer Set Programs with Imprecise Probabilities via Optimization" by @damianoazzolini and myself got accepted for oral presentation at #UAI2024@UncertaintyInAI@eu_tailor
The Prolog Education campaign I lead (https://t.co/LNxDfnQTiA) now has a youtube channel you can subscribe to (https://t.co/xU5YYWXVnB)- please do! Check out its seminars, which include my own on "Teaching Safety and Trustworthiness in AI through Prolog": https://t.co/JbF7JdaYbf