Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2305.10113
Cited By
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels
Theory and Practice of Logic Programming (TPLP), 2023
17 May 2023
Vito Barbara
M. Guarascio
Nicola Leone
Giuseppe Manco
A. Quarta
Francesco Ricca
Ettore Ritacco University of Calabria
Re-assign community
ArXiv (abs)
PDF
HTML
Github
Papers citing
"Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels"
3 / 3 papers shown
RepV: Safety-Separable Latent Spaces for Scalable Neurosymbolic Plan Verification
Yunhao Yang
N. Bhatt
Pranay Samineni
Rohan Siva
Zhanyang Wang
Ufuk Topcu
179
0
0
30 Oct 2025
Policy-Driven AI in Dataspaces: Taxonomy, Explainability, and Pathways for Compliant Innovation
Joydeep Chandra
Satyam Kumar Navneet
311
1
0
26 Jul 2025
Visual Graph Question Answering with ASP and LLMs for Language Parsing
International Conference on Logic Programming (ICLP), 2025
Jakob Johannes Bauer
Thomas Eiter
Nelson Higuera Ruiz
J. Oetsch
GNN
424
1
0
13 Feb 2025
1
Page 1 of 1
