By Robin Manhaeve
Review Details
Reviewer has chosen not to be Anonymous
Overall Impression: Average
Content:
Technical Quality of the paper: Average
Originality of the paper: Yes, but limited
Adequacy of the bibliography: Yes, but see detailed comments
Presentation:
Adequacy of the abstract: Yes
Introduction: background and motivation: Good
Organization of the paper: Satisfactory
Level of English: Satisfactory
Overall presentation: Good
Detailed Comments:
This paper presents a survey of neurosymbolic AI approaches that specifically adopt Answer Set Programming (ASP) as the symbolic formalism. The authors introduce ASP, review recent frameworks according to whether neural and symbolic components are pre-defined or learned, and illustrate these systems withgraphical diagrams. The survey highlights the strengths of ASP-based approaches while also acknowledging key limitations in scalability and dependence on hand-crafted knowledge.
The paper has several merits. It is well written and reads easily. Neurosymbolic AI remains a highly varied and fragmented research area, and surveys that clarify specific subfields are valuable. By concentrating on ASP-based methods, the authors provide a structured overview of work that might otherwise be overlooked in broader surveys. The graphical illustrations of the frameworks are especially clear and aid in comparing approaches.
That said, the survey is limited in scope and depth. Restricting attention solely to ASP excludes related and relevant neurosymbolic systems. Without a stronger justification for this focus, the contribution risks being too narrow. Much of the discussion is descriptive rather than analytical. The reader is left without a clear comparative synthesis of why certain methods succeed or fail, what the main trade-offs are, and where the field should head next. A stronger conclusion section could articulate open challenges and research directions to inspire and guide the community.
Some technical and conceptual points would also benefit from clarification. The paper often emphasizes the superior expressivity of ASP over other formalisms, but it is not clear how frequently this added expressivity is practically relevant in NeSy applications. For many tasks, simpler languages such as Datalog are sufficient, and acknowledging this would provide a more balanced perspective.
The section on performance analysis is relatively weak. Claims are not well supported with systematic comparisons, and the survey misses an opportunity to synthesize insights from experimental results across different frameworks. Likewise, the related work section does not situate this survey with respect to existing, broader NeSy surveys. Readers would benefit from a short discussion of how this work complements or differs from prior surveys in the area.
Small remark:
The formal definition of semantics (Section 2) uses sets of ground literals, whereas answer sets are typically defined as sets of atoms.
Conclusion:
The topic of the survey is important, and the paper is a solid starting point. However, in its current form it is too narrow in scope and too descriptive in tone to meet the standards of a leading journal. To be publishable, the paper should (i) broaden or better justify its exclusive focus on ASP, (ii) move beyond description to provide deeper comparative and critical analysis, (iii) expand the conclusion to identify challenges and future directions, and (iv) strengthen the performance and related work sections with references and positioning.