{"total":82,"rows":[{"id":"2102.09544","title":"Combinatorial optimization and reasoning with graph neural networks","created":"2021-02-18","cited_by_count":268,"area":null},{"id":"2108.11451","title":"From Statistical Relational to Neurosymbolic Artificial Intelligence: a Survey","created":"2021-08-25","cited_by_count":72,"area":null},{"id":"2108.06688","title":"Complex Knowledge Base Question Answering: A Survey","created":"2021-08-15","cited_by_count":52,"area":null},{"id":"2111.08164","title":"A Survey on Neural-symbolic Learning Systems","created":"2021-11-10","cited_by_count":39,"area":null},{"id":"2109.10129","title":"Learning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and Limits","created":"2021-09-21","cited_by_count":38,"area":null},{"id":"2210.15889","title":"Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computing","created":"2022-10-28","cited_by_count":35,"area":null},{"id":"2205.09702","title":"Parallel and Distributed Graph Neural Networks: An In-Depth Concurrency Analysis","created":"2022-05-19","cited_by_count":29,"area":null},{"id":"2202.04822","title":"Survey on Graph Neural Network Acceleration: An Algorithmic Perspective","created":"2022-02-10","cited_by_count":26,"area":null},{"id":"2106.11072","title":"Techniques for Symbol Grounding with SATNet","created":"2021-06-16","cited_by_count":24,"area":null},{"id":"2309.01038","title":"Neurosymbolic Reinforcement Learning and Planning: A Survey","created":"2023-09-02","cited_by_count":24,"area":null},{"id":"2401.01040","title":"Towards Cognitive AI Systems: a Survey and Prospective on Neuro-Symbolic AI","created":"2024-01-02","cited_by_count":24,"area":null},{"id":"2309.16965","title":"Controlling Continuous Relaxation for Combinatorial Optimization","created":"2023-09-29","cited_by_count":16,"area":null},{"id":"2402.00854","title":"SymbolicAI: A framework for logic-based approaches combining generative models and solvers","created":"2024-02-01","cited_by_count":16,"area":null},{"id":"2211.05368","title":"A Comprehensive Survey on Distributed Training of Graph Neural Networks","created":"2022-11-10","cited_by_count":15,"area":null},{"id":"2304.08349","title":"Deep Explainable Relational Reinforcement Learning: A Neuro-Symbolic Approach","created":"2023-04-17","cited_by_count":15,"area":null},{"id":"2307.04347","title":"Injecting Logical Constraints into Neural Networks via Straight-Through Estimators","created":"2023-07-10","cited_by_count":12,"area":null},{"id":"2305.05840","title":"Achieving Diversity in Counterfactual Explanations: a Review and Discussion","created":"2023-05-10","cited_by_count":11,"area":null},{"id":"2107.01877","title":"Faster-LTN: a neuro-symbolic, end-to-end object detection architecture","created":"2021-07-05","cited_by_count":10,"area":null},{"id":"2302.05282","title":"Graph Neural Networks Go Forward-Forward","created":"2023-02-10","cited_by_count":8,"area":null},{"id":"2306.09482","title":"Sample-Efficient Learning of Novel Visual Concepts","created":"2023-06-15","cited_by_count":8,"area":null},{"id":"2208.00374","title":"Neuro-Symbolic Learning: Principles and Applications in Ophthalmology","created":"2022-07-31","cited_by_count":7,"area":null},{"id":"2409.13153","title":"Towards Efficient Neuro-Symbolic AI: From Workload Characterization to Hardware Architecture","created":"2024-09-20","cited_by_count":7,"area":null},{"id":"2501.14836","title":"Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review","created":"2025-01-23","cited_by_count":7,"area":null},{"id":"2103.06854","title":"A conditional, a fuzzy and a probabilistic interpretation of self-organising maps","created":"2021-03-11","cited_by_count":6,"area":null},{"id":"2105.10709","title":"Inclusion of Domain-Knowledge into GNNs using Mode-Directed Inverse Entailment","created":"2021-05-22","cited_by_count":6,"area":null},{"id":"2202.11296","title":"Reinforcement Learning in Practice: Opportunities and Challenges","created":"2022-02-23","cited_by_count":6,"area":null},{"id":"2305.08876","title":"Neurosymbolic AI and its Taxonomy: a survey","created":"2023-05-12","cited_by_count":6,"area":null},{"id":"2410.23790","title":"Neural Model Checking","created":"2024-10-31","cited_by_count":6,"area":null},{"id":"2502.11269","title":"Unlocking the Potential of Generative AI through Neuro-Symbolic Architectures: Benefits and Limitations","created":"2025-02-16","cited_by_count":6,"area":null},{"id":"2505.19825","title":"Position: Foundation Models for Tabular Data within Systemic Contexts Need Grounding","created":"2025-05-26","cited_by_count":6,"area":null},{"id":"2103.00519","title":"KANDINSKYPatterns -- An experimental exploration environment for Pattern Analysis and Machine Intelligence","created":"2021-02-28","cited_by_count":5,"area":null},{"id":"2109.08291","title":"Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch","created":"2021-09-17","cited_by_count":5,"area":null},{"id":"2111.07568","title":"Can Graph Neural Networks Learn to Solve MaxSAT Problem?","created":"2021-11-15","cited_by_count":5,"area":null},{"id":"2208.05440","title":"Differentiable Inference of Temporal Logic Formulas","created":"2022-08-10","cited_by_count":5,"area":null},{"id":"2403.17853","title":"Using Domain Knowledge to Guide Dialog Structure Induction via Neural Probabilistic Soft Logic","created":"2024-03-26","cited_by_count":5,"area":null},{"id":"2503.18213","title":"A Study on Neuro-Symbolic Artificial Intelligence: Healthcare Perspectives","created":"2025-03-23","cited_by_count":5,"area":null},{"id":"2107.01238","title":"Solving Machine Learning Problems","created":"2021-07-02","cited_by_count":4,"area":null},{"id":"2201.02734","title":"Building Human-like Communicative Intelligence: A Grounded Perspective","created":"2022-01-02","cited_by_count":4,"area":null},{"id":"2202.01123","title":"An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases","created":"2022-02-02","cited_by_count":4,"area":null},{"id":"2304.13626","title":"The Roles of Symbols in Neural-based AI: They are Not What You Think!","created":"2023-04-26","cited_by_count":4,"area":null},{"id":"2406.12841","title":"Demystifying Higher-Order Graph Neural Networks","created":"2024-06-18","cited_by_count":4,"area":null},{"id":"2411.09366","title":"LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces","created":"2024-11-14","cited_by_count":4,"area":null},{"id":"2305.03143","title":"Towards Invertible Semantic-Preserving Embeddings of Logical Formulae","created":"2023-05-03","cited_by_count":3,"area":null},{"id":"2405.14389","title":"stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic","created":"2024-05-23","cited_by_count":3,"area":null},{"id":"2408.15418","title":"Understanding GNNs for Boolean Satisfiability through Approximation Algorithms","created":"2024-08-27","cited_by_count":3,"area":null},{"id":"2109.08006","title":"Deep Algorithmic Question Answering: Towards a Compositionally Hybrid AI for Algorithmic Reasoning","created":"2021-09-16","cited_by_count":2,"area":null},{"id":"2204.09960","title":"Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning","created":"2022-04-21","cited_by_count":2,"area":null},{"id":"2211.03666","title":"Application of Graph Neural Networks and graph descriptors for graph classification","created":"2022-11-07","cited_by_count":2,"area":null},{"id":"2306.08680","title":"Temporally Extended Goal Recognition in Fully Observable Non-Deterministic Domain Models","created":"2023-06-14","cited_by_count":2,"area":null},{"id":"2308.15188","title":"LTLf Best-Effort Synthesis in Nondeterministic Planning Domains","created":"2023-08-29","cited_by_count":2,"area":null},{"id":"2406.04756","title":"Interpretable Multimodal Out-of-context Detection with Soft Logic Regularization","created":"2024-06-07","cited_by_count":2,"area":null},{"id":"2411.15626","title":"Aligning Generalisation Between Humans and Machines","created":"2024-11-23","cited_by_count":2,"area":null},{"id":"2507.21873","title":"A Neuro-Symbolic Approach for Probabilistic Reasoning on Graph Data","created":"2025-07-29","cited_by_count":2,"area":null},{"id":"2508.14725","title":"Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis","created":"2025-08-20","cited_by_count":2,"area":null},{"id":"2509.07122","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","created":"2025-09-08","cited_by_count":2,"area":null},{"id":"2509.16958","title":"Quantum Abduction: A New Paradigm for Reasoning under Uncertainty","created":"2025-09-21","cited_by_count":2,"area":null},{"id":"2601.19467","title":"On the Expressiveness of State Space Models via Temporal Logics","created":"2026-01-27","cited_by_count":2,"area":null},{"id":"2105.14149","title":"Log2NS: Enhancing Deep Learning Based Analysis of Logs With Formal to Prevent Survivorship Bias","created":"2021-05-29","cited_by_count":1,"area":null},{"id":"2208.03093","title":"A Gaze into the Internal Logic of Graph Neural Networks, with Logic","created":"2022-08-05","cited_by_count":1,"area":null},{"id":"2305.00304","title":"A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality","created":"2023-04-29","cited_by_count":1,"area":null},{"id":"2306.13660","title":"Statistical relational learning and neuro-symbolic AI: what does first-order logic offer?","created":"2023-06-08","cited_by_count":1,"area":null},{"id":"2401.09651","title":"Convex and Bilevel Optimization for Neuro-Symbolic Inference and Learning","created":"2024-01-17","cited_by_count":1,"area":null},{"id":"2509.23912","title":"From Neural Networks to Logical Theories: The Correspondence between Fibring Modal Logics and Fibring Neural Networks","created":"2025-09-28","cited_by_count":1,"area":null},{"id":"2604.18532","title":"Symbolic Synthesis for LTLf+ Obligations","created":"2026-04-20","cited_by_count":1,"area":null},{"id":"2103.11692","title":"Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models","created":"2021-03-22","cited_by_count":0,"area":null},{"id":"2107.04870","title":"From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview","created":"2021-07-10","cited_by_count":0,"area":null},{"id":"2202.03188","title":"Knowledge-Integrated Informed AI for National Security","created":"2022-02-04","cited_by_count":0,"area":null},{"id":"2210.07117","title":"Graph-based Neural Modules to Inspect Attention-based Architectures: A Position Paper","created":"2022-10-13","cited_by_count":0,"area":null},{"id":"2211.02403","title":"The Path to Autonomous Learners","created":"2022-11-04","cited_by_count":0,"area":null},{"id":"2304.09975","title":"Solving the Kidney-Exchange Problem via Graph Neural Networks with No Supervision","created":"2023-04-19","cited_by_count":0,"area":null},{"id":"2307.12620","title":"Past-present temporal programs over finite traces","created":"2023-07-24","cited_by_count":0,"area":null},{"id":"2310.07417","title":"What can knowledge graph alignment gain with Neuro-Symbolic learning approaches?","created":"2023-10-11","cited_by_count":0,"area":null},{"id":"2310.18324","title":"\"A Nova Eletricidade: Aplica\\c{c}\\~oes, Riscos e Tend\\^encias da IA Moderna -- \"The New Electricity\": Applications, Risks, and Trends in Current AI","created":"2023-10-08","cited_by_count":0,"area":null},{"id":"2407.09441","title":"The $\\mu\\mathcal{G}$ Language for Programming Graph Neural Networks","created":"2024-07-12","cited_by_count":0,"area":null},{"id":"2409.09069","title":"Temporal Many-valued Conditional Logics: a Preliminary Report","created":"2024-09-06","cited_by_count":0,"area":null},{"id":"2411.04393","title":"Bridging the Gap: Representation Spaces in Neuro-Symbolic AI","created":"2024-11-07","cited_by_count":0,"area":null},{"id":"2509.10510","title":"FireGNN: Neuro-Symbolic Graph Neural Networks with Trainable Fuzzy Rules for Interpretable Medical Image Classification","created":"2025-09-02","cited_by_count":0,"area":null},{"id":"2511.10164","title":"Two Constraint Compilation Methods for Lifted Planning","created":"2025-11-13","cited_by_count":0,"area":null},{"id":"2602.03486","title":"DeepDFA: Injecting Temporal Logic in Deep Learning for Sequential Subsymbolic Applications","created":"2026-02-03","cited_by_count":0,"area":null},{"id":"2603.18203","title":"How Psychological Learning Paradigms Shaped and Constrained Artificial Intelligence","created":"2026-03-18","cited_by_count":0,"area":null},{"id":"2604.16471","title":"Semantic Channel Theory: Deductive Compression and Structural Fidelity for Multi-Agent Communication","created":"2026-04-10","cited_by_count":0,"area":null},{"id":"2606.29556","title":"Persona-Trained Monte Carlo: Estimating Market-Outcome Distributions via Swarms of Persona-Conditioned Neural Policy Bots in a Limit Order Book","created":"2026-06-28","cited_by_count":0,"area":null}],"next_cursor":null}