{"id":1594,"date":"2026-04-20T09:48:09","date_gmt":"2026-04-20T09:48:09","guid":{"rendered":"https:\/\/synasc.ro\/2026\/?page_id=1594"},"modified":"2026-07-21T15:40:50","modified_gmt":"2026-07-21T15:40:50","slug":"nsai","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2026\/special-sessions\/nsai\/","title":{"rendered":"NSAI \u2013 Special Session for Neuro-Symbolic Artificial Intelligence"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"1594\" class=\"elementor elementor-1594\" data-elementor-post-type=\"page\">\n\t\t\t\t<div class=\"elementor-element elementor-element-5e68096 e-con-full e-flex e-con e-parent\" data-id=\"5e68096\" data-element_type=\"container\">\n\t\t<div class=\"elementor-element elementor-element-4e1ee71 e-flex e-con-boxed e-con e-child\" data-id=\"4e1ee71\" data-element_type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-1fb2f64 e-grid e-con-full e-con e-child\" data-id=\"1fb2f64\" data-element_type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-ca42c01 elementor-widget elementor-widget-image\" data-id=\"ca42c01\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" width=\"371\" height=\"80\" src=\"https:\/\/synasc.ro\/2026\/wp-content\/uploads\/sites\/28\/2026\/04\/HRIA-ue_80.png\" class=\"attachment-large size-large wp-image-1636\" alt=\"\" srcset=\"https:\/\/synasc.ro\/2026\/wp-content\/uploads\/sites\/28\/2026\/04\/HRIA-ue_80.png 371w, https:\/\/synasc.ro\/2026\/wp-content\/uploads\/sites\/28\/2026\/04\/HRIA-ue_80-300x65.png 300w\" sizes=\"(max-width: 371px) 100vw, 371px\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-a1eb03f elementor-widget elementor-widget-image\" data-id=\"a1eb03f\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" width=\"136\" height=\"80\" src=\"https:\/\/synasc.ro\/2026\/wp-content\/uploads\/sites\/28\/2026\/04\/HRIA-logo_80.png\" class=\"attachment-large size-large wp-image-1637\" alt=\"\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-60e57d7 elementor-widget elementor-widget-image\" data-id=\"60e57d7\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" width=\"80\" height=\"80\" src=\"https:\/\/synasc.ro\/2026\/wp-content\/uploads\/sites\/28\/2026\/04\/HRIA-gov_80.png\" class=\"attachment-large size-large wp-image-1638\" alt=\"\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-60befa2 elementor-widget elementor-widget-text-editor\" data-id=\"60befa2\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t\t\t\t\t\t<p><em>(supported by the project \u201cRomanian Hub for Artificial Intelligence -HRIA\u201d, Smart Growth, Digitization and Financial Instruments Program, MySMIS no. 351416)<\/em><\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-9c63797 elementor-widget elementor-widget-heading\" data-id=\"9c63797\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">AIM<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-0f1b95d elementor-widget elementor-widget-text-editor\" data-id=\"0f1b95d\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t\t\t\t\t\t<p><span style=\"font-weight: 400;\">This special session focuses on recent advances in Neuro-Symbolic Artificial Intelligence (NSAI), with a particular emphasis on neuro-symbolic models such as Logic Tensor Networks (LTN), DeepProbLog and related frameworks that integrate symbolic reasoning with deep learning. These approaches aim to improve the training, generalization, and interpretability of neural networks by incorporating logical constraints, structured knowledge, and reasoning capabilities. The motivation of this session is to advance the connections between statistical learning and symbolic reasoning, which is a central theme aligned with SYNASC\u2019s focus on symbolic and numeric computation. Neuro-symbolic approaches offer a promising direction for building more reliable, interpretable, and data-efficient AI systems, making this topic relevant to the SYNASC audience.<\/span><\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-2ce1ed7 elementor-widget elementor-widget-heading\" data-id=\"2ce1ed7\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">TOPICS OF INTEREST INCLUDE (BUT ARE NOT LIMITED TO):<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-22b83a0 elementor-widget elementor-widget-text-editor\" data-id=\"22b83a0\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t\t\t\t\t\t<ul><li><span style=\"font-weight: 400;\">Neuro-symbolic intelligent agents and networked systems<\/span><\/li><li><span style=\"font-weight: 400;\">Applications in medicine, fault diagnostics and computer vision<\/span><\/li><li><span style=\"font-weight: 400;\">Neuro-symbolic methods for planning and program synthesis<\/span><\/li><li><span style=\"font-weight: 400;\">Integration with large language models<\/span><\/li><li><span style=\"font-weight: 400;\">Symbolic knowledge extraction and injection<\/span><\/li><li><span style=\"font-weight: 400;\">Trustworthy AI (explainability, fairness, robustness)<\/span><\/li><li><span style=\"font-weight: 400;\">Symbolic regression and inductive logic programming<\/span><\/li><li><span style=\"font-weight: 400;\">Training deep neural networks with logical constraints (e.g., LTN, differentiable logic)<\/span><\/li><li><span style=\"font-weight: 400;\">Compositional concept learning, variable binding, and relational reasoning<\/span><\/li><li><span style=\"font-weight: 400;\">Neuro-Symbolic Prediction via Physiology-Constrained Learning<\/span><\/li><\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-4a61005 elementor-widget elementor-widget-heading\" data-id=\"4a61005\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">CHAIRS<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-725756e elementor-widget elementor-widget-text-editor\" data-id=\"725756e\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t\t\t\t\t\t<ul><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\"><strong>Darian Onchis<\/strong> (<\/span><a href=\"mailto:darian.onchis@e-uvt.ro\"><span style=\"font-weight: 400;\">darian.onchis@e-uvt.ro<\/span><\/a><span style=\"font-weight: 400;\">), West University of Timisoara, Romania<\/span><\/li><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\"><strong>Florin Leon<\/strong> (<\/span><a href=\"mailto:florin.leon@academic.tuiasi.ro\"><span style=\"font-weight: 400;\">florin.leon@academic.tuiasi.ro<\/span><\/a><span style=\"font-weight: 400;\">), \u201cGheorghe Asachi\u201d; Technical University of Iasi, Romania<\/span><\/li><\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-e7643f6 elementor-widget elementor-widget-heading\" data-id=\"e7643f6\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">IMPORTANT DATES<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-0ee5c33 elementor-widget elementor-widget-text-editor\" data-id=\"0ee5c33\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t\t\t\t\t\t<ul><li style=\"font-weight: 400;\" aria-level=\"1\"><strong>July 6, 2026 (AoE):<\/strong> Paper submission (extended deadline)<\/li><li><span style=\"font-weight: 400;\"><strong>July 28, 2026 (AoE):<\/strong> Notification of acceptance<\/span><\/li><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\"><strong>September 4, 2026:<\/strong> Registration\u00a0\u00a0\u00a0\u00a0\u00a0<\/span><\/li><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\"><strong>September 4, 2026:<\/strong> Revised papers according to reviews<\/span><\/li><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\"><strong>September 14-17, 2026:<\/strong> Symposium<\/span><\/li><\/ul><p><span style=\"font-weight: 400;\">All deadlines are 11:59 pm, AoE time (Anywhere on Earth).<\/span><\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-3d51ada elementor-widget elementor-widget-heading\" data-id=\"3d51ada\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">PAPER SUBMISSION<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-b608550 elementor-widget elementor-widget-text-editor\" data-id=\"b608550\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t\t\t\t\t\t<p><span style=\"font-weight: 400;\">We welcome original research contributions in the following formats:<\/span><\/p><ul><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\">Full papers: 6\u20138 pages, presenting mature research results.<\/span><\/li><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\">Short papers: 4 pages, suitable for work-in-progress, early-stage results, or<\/span><\/li><\/ul><p><span style=\"font-weight: 400;\">demonstrations of software prototypes.<\/span><\/p><p><span style=\"font-weight: 400;\">All submitted papers will undergo a peer-review process. Selected papers presented during the conference will be published in the SYNASC 2026 post-proceedings, edited by the Conference Publishing Service (CPS) and submitted for indexing in ISI Web of Science, DBLP, and SCOPUS.<\/span><\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-4f54c02 elementor-widget elementor-widget-heading\" data-id=\"4f54c02\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">SUBMISSION GUIDELINES<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-61460df elementor-widget elementor-widget-text-editor\" data-id=\"61460df\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t\t\t\t\t\t<ul><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\">Submissions should highlight the research problem, methodology, key results (even <\/span>preliminary), and future research directions.<\/li><\/ul><ul><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\">All submissions must follow the <\/span><a href=\"https:\/\/www.ieee.org\/conferences_events\/conferences\/publishing\/templates.html\"><span style=\"font-weight: 400;\">CPS Conference Style<\/span><\/a><\/li><li><span style=\"font-weight: 400;\">Submissions should highlight the research problem, methodology, key results (even preliminary), and future research directions. Papers must be submitted electronically via <\/span><a href=\"https:\/\/easychair.org\/conferences\/?conf=synasc2026\"><span style=\"font-weight: 400;\">EasyChair<\/span><\/a><\/li><\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-cfc2d2c elementor-widget elementor-widget-heading\" data-id=\"cfc2d2c\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">SCIENTIFIC COMMITTEE<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-4f4251e elementor-widget elementor-widget-text-editor\" data-id=\"4f4251e\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t\t\t\t\t\t<ul><li><strong>Guido Bologna<\/strong>, University of Applied Sciences and Arts of Western Switzerland<\/li><li><strong>Ana Corlan<\/strong>, Victor Babe\u015f University of Medicine and Pharmacy, Romania<\/li><li><strong>Fernando Diaz del Rio<\/strong>, University of Seville, Spain<\/li><li><strong>Laura Diosan<\/strong>, Babes-Bolyai University, Romania<\/li><li><strong>Tiberius Dumitriu<\/strong>, Gheorghe Asachi Technical University of Iasi, Romania<\/li><li><strong>Ernesto Exposito<\/strong>, University de Pau et des Pays de L\u2019Adour, France<\/li><li><strong>Mihail Gaianu<\/strong>, West University of Timisoara, Romania<\/li><li><strong>Marius Gavrilescu<\/strong>, \u201cGheorghe Asachi\u201d; Technical University of Iasi, Romania<\/li><li><strong>Rainer Gilbert Gillich<\/strong>, Babes-Bolyai University, Romania<\/li><li><strong>Radu Ionescu<\/strong>, University of Bucharest, Romania<\/li><li><strong>Codruta Istin<\/strong>, Politehnica University of Timisoara, Romania<\/li><li><strong>Todor Ivascu<\/strong>, West University of Timisoara, Romania<\/li><li><strong>Dan Pescaru<\/strong>, Politehnica University of Timisoara, Romania<\/li><li><strong>Adrian Popescu<\/strong>, CEA LIST Laboratory, France,<\/li><li><strong>Pedro Real<\/strong>, University of Seville, Spain<\/li><li><strong>Yan Ruqiang<\/strong>, Xi\u2019an Jiaotong University, China<\/li><\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-0fa2401 elementor-widget elementor-widget-heading\" data-id=\"0fa2401\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">ORGANIZATION COMMITTEE<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-d915a07 elementor-widget elementor-widget-text-editor\" data-id=\"d915a07\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t\t\t\t\t\t<ul><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\"><strong>Eduard Hogea<\/strong>, West University of Timisoara, Romania<\/span><\/li><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\"><strong>Flavia Costi<\/strong>, West University of Timisoara, Romania<\/span><\/li><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\"><strong>Fabian Gali\u0219<\/strong>, West University of Timisoara, Romania<\/span><\/li><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\"><strong>Emanuel Covaci<\/strong>, West University of Timisoara, Romania<\/span><\/li><li style=\"font-weight: 400;\" aria-level=\"1\"><span style=\"font-weight: 400;\"><strong>Ioan Samuil\u0103<\/strong>, West University of Timisoara, Romania<\/span><\/li><li aria-level=\"1\"><strong>Diogen Babuc<\/strong>, West University of Timisoara, Romania<\/li><\/ul>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>(supported by the project \u201cRomanian Hub for Artificial Intelligence -HRIA\u201d, Smart Growth, Digitization and Financial Instruments Program, MySMIS no. 351416) AIM This special session focuses on recent advances in Neuro-Symbolic Artificial Intelligence (NSAI), with a particular emphasis on neuro-symbolic models such as Logic Tensor Networks (LTN), DeepProbLog and related frameworks that integrate symbolic reasoning with [&hellip;]<\/p>\n","protected":false},"author":30,"featured_media":0,"parent":145,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-1594","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages\/1594","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/users\/30"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/comments?post=1594"}],"version-history":[{"count":34,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages\/1594\/revisions"}],"predecessor-version":[{"id":1932,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages\/1594\/revisions\/1932"}],"up":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/pages\/145"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2026\/wp-json\/wp\/v2\/media?parent=1594"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}