For autonomous agents to be deployed safely and effectively, their decision-making must be robust and transparent for trustworthy behavior.

The opacity of current deep learning models is a major barrier to adoption where accountability is essential. NEXUS focuses on neurosymbolic reasoning as a foundational approach to building theory, applications, and tools for well-calibrated and trustworthy autonomy. This paradigm moves beyond a narrow focus on formal logic, concerning itself with the integration of deep and reinforcement learning algorithms with a broad spectrum of structured knowledge.

Important dates

Call for papers

NEXUS aims to make progress in neurosymbolic reasoning for agents and multi-agent systems with a focus on topics around trustworthy AI. We invite submissions addressing urgent issues of efficiency, trust, and safety through neurosymbolic approaches, including but not limited to:

Submission details

Submissions are handled via OpenReview through a single-round, single-blind review. While the platform enforces double-blind submissions, we do not require anonymity; authors should retain their affiliation and name on the paper. We welcome full papers (≤8 pages, AAMAS style ) and shorter work-in-progress papers. Early-career researchers and students are particularly encouraged to present their ongoing research.

Schedule

Proposed speakers & panelists

• Francesca Toni (Imperial College London)
• Julie Shah (MIT)
• Artur d'Avila Garcez (City University London)

Organization

Program committee (tentative)

Franck Djeumou, Cyrus Neary, Cody Fleming, Christos Verginis, Jaime Fisac, Fabrizio Riguzzi, Kostas Stathis, Alessandra Russo, Nicolas Maudet, Marco Montali, Vadim Malvone, Gioele Zardini, Ivan Ruchkin, Amy Zhang, Lasse Peters, Efthymia Tsamoura, Juan Carlos Nieves, Vicenç Torra, Nicoletta Fornara, Christopher Frantz, Julian Padget, Marina De Vos, Javier Vázquez-Salceda, George Vouros, Zohreh Shams, Marija Slavkovik, Loïs Vanhée, Fosca Giannotti, Alvaro Velasquez, Alessandro Oltramari, Catia Pesquita, Alina Petrova, Gaia Saveri, Howard Schneider, Daniel L. Silver, Alessandro Sperduti, Mihaela Stoian, David Tena Cucala, Beyazit Yalcinkaya, Sanjit Seshia.