Neurosymbolic AI is seen as a way to increase trustworthiness and interpretability of subsymbolic learning approaches by incorporating structured information, such as ontologies, and symbolic reasoning.
Neurosymbolic AI can, however, not only be seen from a subsymbolic perspective, thus to enhance subsymbolic approaches by symbolic reasoning but also the other way round.
In particular, logics, especially non-classical logics suffer from issues regarding representational and computational complexity and struggle to be applied to real-world use cases.
Here, neurosymbolic approaches can come in handy to allow for an enhancement of logical approaches with subsymbolic techniques, e.g., by symbol grounding.
This allows for widening the appeal of complex logical frameworks by simpler access through a NeSy framework.
Topics of interest are (but are not limited to)
- Conceptual foundations and structure of logic-based NeSy architectures
- Ontological analysis of neuro-symbolic architectures
- Starting points include reasoning problems that were elusive to purely symbolic methods. Examples include:
- reasoning with common sense
- reasoning with image schemas (spatio-temporal dynamics)
- Hampton effects (overextension etc)
- quantum logics
- fuzzy logics and prototypes
- perceptron logics
- relevance logics
- non-monotonic reasoning / exceptions
- paraconsistent reasoning
- free logics (the logic of non-existence)
- strange encodings (Counting in SAT, Datatypes in OWL, …)
- logic combinations, multi-modal modelling, learning the links between the components (fibrings, E-connections, distributed DL, distributed knowledge graphs …)
Submission and Reviews
We welcome researchers from all career stages to participate, work in progress (short papers) are also welcome as the primary goal of the workshop is discussion. All papers (except abstracts for presentation only) must be original and not submitted to, or accepted by, any other workshop, conference or journal.
All contributions will be peer-reviewed, and the review process will be managed in a collaborative and transparent manner using the EasyChair System. The interdisciplinary nature necessitates an equally mixed program committee (to be announced).
Abstract for presentation only: 2-3 pages (not included in the proceedings)
Short papers: 6-8 pages
Full research papers: 10-14 pages
Submissions must be sent via Easychair as a single PDF file and should be formatted in CEUR 1-column format. Please refer to this webpage for formatting instructions. Overleaf (latex) template is available here.
Submission link: To be announced
For inclusion in the workshop, at least one of the authors of accepted papers needs to register at Tricolore 2026 and participate on-site at FOUSY.
Location
FOUSY is co-located with Tricolore in the beautiful city of Brixen – Bressanone, Italy.