{"total":117,"rows":[{"id":"2212.05767","title":"A Survey of Knowledge Graph Reasoning on Graph Types: Static, Dynamic, and Multimodal","created":"2022-12-12","cited_by_count":106,"area":null},{"id":"2307.07700","title":"NeurASP: Embracing Neural Networks into Answer Set Programming","created":"2023-07-15","cited_by_count":92,"area":null},{"id":"2310.07064","title":"Large Language Models can Learn Rules","created":"2023-10-10","cited_by_count":69,"area":null},{"id":"2106.12574","title":"DeepStochLog: Neural Stochastic Logic Programming","created":"2021-06-23","cited_by_count":58,"area":null},{"id":"2102.10556","title":"Inductive logic programming at 30","created":"2021-02-21","cited_by_count":47,"area":null},{"id":"2102.11965","title":"Modular Design Patterns for Hybrid Learning and Reasoning Systems: a taxonomy, patterns and use cases","created":"2021-02-23","cited_by_count":39,"area":null},{"id":"2111.08164","title":"A Survey on Neural-symbolic Learning Systems","created":"2021-11-10","cited_by_count":39,"area":null},{"id":"2112.00578","title":"Systematic Generalization with Edge Transformers","created":"2021-12-01","cited_by_count":38,"area":null},{"id":"2102.09756","title":"TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning","created":"2021-02-19","cited_by_count":37,"area":null},{"id":"2112.03324","title":"Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks","created":"2021-12-06","cited_by_count":36,"area":null},{"id":"2406.11179","title":"Learning Iterative Reasoning through Energy Diffusion","created":"2024-06-17","cited_by_count":36,"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":"2308.12595","title":"Logic-induced Diagnostic Reasoning for Semi-supervised Semantic Segmentation","created":"2023-08-24","cited_by_count":29,"area":null},{"id":"2202.06851","title":"HAKE: A Knowledge Engine Foundation for Human Activity Understanding","created":"2022-02-14","cited_by_count":28,"area":null},{"id":"2111.12990","title":"Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning","created":"2021-11-25","cited_by_count":27,"area":null},{"id":"2103.01719","title":"Differentiable Inductive Logic Programming for Structured Examples","created":"2021-03-02","cited_by_count":26,"area":null},{"id":"2103.10367","title":"Neural Multi-Hop Reasoning With Logical Rules on Biomedical Knowledge Graphs","created":"2021-03-18","cited_by_count":25,"area":null},{"id":"2303.04660","title":"Neural Probabilistic Logic Programming in Discrete-Continuous Domains","created":"2023-03-08","cited_by_count":25,"area":null},{"id":"2311.09817","title":"Neural-Logic Human-Object Interaction Detection","created":"2023-11-16","cited_by_count":25,"area":null},{"id":"2112.13418","title":"Neuro-Symbolic Hierarchical Rule Induction","created":"2021-12-26","cited_by_count":23,"area":null},{"id":"2402.12309","title":"TILP: Differentiable Learning of Temporal Logical Rules on Knowledge Graphs","created":"2024-02-19","cited_by_count":22,"area":null},{"id":"2302.04496","title":"Dual Algorithmic Reasoning","created":"2023-02-09","cited_by_count":21,"area":null},{"id":"2305.19068","title":"Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraints","created":"2023-05-30","cited_by_count":21,"area":null},{"id":"2303.03581","title":"Neural Compositional Rule Learning for Knowledge Graph Reasoning","created":"2023-03-07","cited_by_count":20,"area":null},{"id":"2202.07412","title":"Knowledge Graph Reasoning with Logics and Embeddings: Survey and Perspective","created":"2022-02-15","cited_by_count":18,"area":null},{"id":"2309.08395","title":"Learning by Self-Explaining","created":"2023-09-15","cited_by_count":17,"area":null},{"id":"2309.13556","title":"LOGICSEG: Parsing Visual Semantics with Neural Logic Learning and Reasoning","created":"2023-09-24","cited_by_count":17,"area":null},{"id":"2110.09383","title":"Neuro-Symbolic Forward Reasoning","created":"2021-10-18","cited_by_count":16,"area":null},{"id":"2106.13103","title":"FF-NSL: Feed-Forward Neural-Symbolic Learner","created":"2021-06-24","cited_by_count":15,"area":null},{"id":"2308.11991","title":"Relational Concept Bottleneck Models","created":"2023-08-23","cited_by_count":15,"area":null},{"id":"2201.12113","title":"HEAT: Hyperedge Attention Networks","created":"2022-01-28","cited_by_count":13,"area":null},{"id":"2302.13114","title":"Sequential Query Encoding For Complex Query Answering on Knowledge Graphs","created":"2023-02-25","cited_by_count":13,"area":null},{"id":"2210.01603","title":"Neural-Symbolic Recursive Machine for Systematic Generalization","created":"2022-10-04","cited_by_count":12,"area":null},{"id":"2305.18015","title":"On the Correspondence Between Monotonic Max-Sum GNNs and Datalog","created":"2023-05-29","cited_by_count":12,"area":null},{"id":"2104.06751","title":"Is Multi-Hop Reasoning Really Explainable? Towards Benchmarking Reasoning Interpretability","created":"2021-04-14","cited_by_count":10,"area":null},{"id":"2210.01910","title":"Learning Signal Temporal Logic through Neural Network for Interpretable Classification","created":"2022-10-04","cited_by_count":10,"area":null},{"id":"2312.11522","title":"Assessing SATNet's Ability to Solve the Symbol Grounding Problem","created":"2023-12-13","cited_by_count":10,"area":null},{"id":"2403.00329","title":"Learning with Logical Constraints but without Shortcut Satisfaction","created":"2024-03-01","cited_by_count":10,"area":null},{"id":"2106.07487","title":"pix2rule: End-to-end Neuro-symbolic Rule Learning","created":"2021-06-14","cited_by_count":9,"area":null},{"id":"2109.06316","title":"Learning Constraints and Descriptive Segmentation for Subevent Detection","created":"2021-09-13","cited_by_count":9,"area":null},{"id":"2111.12038","title":"Learning Symbolic Rules for Reasoning in Quasi-Natural Language","created":"2021-11-23","cited_by_count":9,"area":null},{"id":"2203.04857","title":"Neuro-symbolic Natural Logic with Introspective Revision for Natural Language Inference","created":"2022-03-09","cited_by_count":9,"area":null},{"id":"2402.14123","title":"DeiSAM: Segment Anything with Deictic Prompting","created":"2024-02-21","cited_by_count":9,"area":null},{"id":"2406.01124","title":"Latent Logic Tree Extraction for Event Sequence Explanation from LLMs","created":"2024-06-03","cited_by_count":9,"area":null},{"id":"2106.11417","title":"Interpretable Model-based Hierarchical Reinforcement Learning using Inductive Logic Programming","created":"2021-06-21","cited_by_count":8,"area":null},{"id":"2109.08460","title":"Neural Unification for Logic Reasoning over Natural Language","created":"2021-09-17","cited_by_count":8,"area":null},{"id":"2311.02018","title":"Active Reasoning in an Open-World Environment","created":"2023-11-03","cited_by_count":8,"area":null},{"id":"2507.11127","title":"Defining neurosymbolic AI","created":"2025-07-15","cited_by_count":8,"area":null},{"id":"2105.02486","title":"Towards General Natural Language Understanding with Probabilistic Worldbuilding","created":"2021-05-06","cited_by_count":7,"area":null},{"id":"2109.09566","title":"Combining Rules and Embeddings via Neuro-Symbolic AI for Knowledge Base Completion","created":"2021-09-16","cited_by_count":7,"area":null},{"id":"2111.10625","title":"Explainable Biomedical Recommendations via Reinforcement Learning Reasoning on Knowledge Graphs","created":"2021-11-20","cited_by_count":7,"area":null},{"id":"2112.15319","title":"A Critical Review of Inductive Logic Programming Techniques for Explainable AI","created":"2021-12-31","cited_by_count":7,"area":null},{"id":"2205.06454","title":"R5: Rule Discovery with Reinforced and Recurrent Relational Reasoning","created":"2022-05-13","cited_by_count":7,"area":null},{"id":"2201.06206","title":"SQUIRE: A Sequence-to-sequence Framework for Multi-hop Knowledge Graph Reasoning","created":"2022-01-17","cited_by_count":6,"area":null},{"id":"2301.04020","title":"Quant 4.0: Engineering Quantitative Investment with Automated, Explainable and Knowledge-driven Artificial Intelligence","created":"2022-12-13","cited_by_count":6,"area":null},{"id":"2305.10113","title":"Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels","created":"2023-05-17","cited_by_count":6,"area":null},{"id":"2104.05435","title":"Neural Network for Weighted Signal Temporal Logic","created":"2021-04-08","cited_by_count":5,"area":null},{"id":"2204.13570","title":"Learning First-Order Rules with Differentiable Logic Program Semantics","created":"2022-04-28","cited_by_count":5,"area":null},{"id":"2302.09458","title":"Learning Language Representations with Logical Inductive Bias","created":"2023-02-19","cited_by_count":5,"area":null},{"id":"2303.08264","title":"Neuro-symbolic Commonsense Social Reasoning","created":"2023-03-14","cited_by_count":5,"area":null},{"id":"2106.00393","title":"Relational Reasoning Networks","created":"2021-06-01","cited_by_count":4,"area":null},{"id":"2106.09225","title":"On the Capabilities of Pointer Networks for Deep Deductive Reasoning","created":"2021-06-17","cited_by_count":4,"area":null},{"id":"2109.05362","title":"Modular Self-Supervision for Document-Level Relation Extraction","created":"2021-09-11","cited_by_count":4,"area":null},{"id":"2302.04599","title":"Principled and Efficient Motif Finding for Structure Learning of Lifted Graphical Models","created":"2023-02-09","cited_by_count":4,"area":null},{"id":"2407.17396","title":"Systematic Relational Reasoning With Epistemic Graph Neural Networks","created":"2024-07-24","cited_by_count":4,"area":null},{"id":"2408.12591","title":"Differentiable Logic Programming for Distant Supervision","created":"2024-08-22","cited_by_count":4,"area":null},{"id":"2504.20020","title":"Modular Machine Learning: An Indispensable Path towards New-Generation Large Language Models","created":"2025-04-28","cited_by_count":4,"area":null},{"id":"2205.15762","title":"Knowledge Enhanced Neural Networks for relational domains","created":"2022-05-31","cited_by_count":3,"area":null},{"id":"2307.02849","title":"NatLogAttack: A Framework for Attacking Natural Language Inference Models with Natural Logic","created":"2023-07-06","cited_by_count":3,"area":null},{"id":"2403.10692","title":"EXPLORER: Exploration-guided Reasoning for Textual Reinforcement Learning","created":"2024-03-15","cited_by_count":3,"area":null},{"id":"2506.23924","title":"Performance of LLMs on Stochastic Modeling Operations Research Problems: From Theory to Practice","created":"2025-06-30","cited_by_count":3,"area":null},{"id":"2105.04620","title":"A Description Logic for Analogical Reasoning","created":"2021-05-10","cited_by_count":2,"area":null},{"id":"2202.05403","title":"Learning Temporal Rules from Noisy Timeseries Data","created":"2022-02-11","cited_by_count":2,"area":null},{"id":"2207.07503","title":"Explainable Sparse Knowledge Graph Completion via High-order Graph Reasoning Network","created":"2022-07-14","cited_by_count":2,"area":null},{"id":"2209.04698","title":"Structured Q-learning For Antibody Design","created":"2022-09-10","cited_by_count":2,"area":null},{"id":"2307.00465","title":"Towards Unbiased Exploration in Partial Label Learning","created":"2023-07-02","cited_by_count":2,"area":null},{"id":"2307.14193","title":"Efficient Learning of Discrete-Continuous Computation Graphs","created":"2023-07-26","cited_by_count":2,"area":null},{"id":"2408.10261","title":"Relational Graph Convolutional Networks Do Not Learn Sound Rules","created":"2024-08-14","cited_by_count":2,"area":null},{"id":"2510.20607","title":"Generalizable Reasoning through Compositional Energy Minimization","created":"2025-10-23","cited_by_count":2,"area":null},{"id":"2104.00755","title":"Reconciling the Discrete-Continuous Divide: Towards a Mathematical Theory of Sparse Communication","created":"2021-04-01","cited_by_count":1,"area":null},{"id":"2105.00357","title":"RotLSTM: Rotating Memories in Recurrent Neural Networks","created":"2021-05-01","cited_by_count":1,"area":null},{"id":"2203.06985","title":"Neural Theorem Provers Delineating Search Area Using RNN","created":"2022-03-14","cited_by_count":1,"area":null},{"id":"2207.06679","title":"Learning to Prove Trigonometric Identities","created":"2022-07-14","cited_by_count":1,"area":null},{"id":"2210.05723","title":"Embeddings as Epistemic States: Limitations on the Use of Pooling Operators for Accumulating Knowledge","created":"2022-10-11","cited_by_count":1,"area":null},{"id":"2408.10369","title":"Boolean Matrix Logic Programming on the GPU","created":"2024-08-19","cited_by_count":1,"area":null},{"id":"2502.02135","title":"Standard Neural Computation Alone Is Insufficient for Logical Intelligence","created":"2025-02-04","cited_by_count":1,"area":null},{"id":"2509.10034","title":"Symbolic Feedforward Networks for Probabilistic Finite Automata: Exact Simulation and Learnability","created":"2025-09-12","cited_by_count":1,"area":null},{"id":"2601.12442","title":"Constraint-Aware Neurosymbolic Uncertainty Quantification with Bayesian Deep Learning for Scientific Discovery","created":"2026-01-18","cited_by_count":1,"area":null},{"id":"2602.12170","title":"Statistical Parsing for Logical Information Retrieval","created":"2026-02-12","cited_by_count":1,"area":null},{"id":"2604.10604","title":"NSFL: A Post-Training Neuro-Symbolic Fuzzy Logic Framework for Boolean Operators in Neural Embeddings","created":"2026-04-12","cited_by_count":1,"area":null},{"id":"2605.04916","title":"A Foundation Model for Zero-Shot Logical Rule Induction","created":"2026-05-06","cited_by_count":1,"area":null},{"id":"2103.06198","title":"Relational Weight Priors in Neural Networks for Abstract Pattern Learning and Language Modelling","created":"2021-03-10","cited_by_count":0,"area":null},{"id":"2107.09579","title":"Semantic Reasoning with Differentiable Graph Transformations","created":"2021-07-20","cited_by_count":0,"area":null},{"id":"2107.12591","title":"Combining Probabilistic Logic and Deep Learning for Self-Supervised Learning","created":"2021-07-27","cited_by_count":0,"area":null},{"id":"2201.11331","title":"Epistemic AI platform accelerates innovation by connecting biomedical knowledge","created":"2022-01-27","cited_by_count":0,"area":null},{"id":"2202.09163","title":"Selection Strategies for Commonsense Knowledge","created":"2022-02-18","cited_by_count":0,"area":null},{"id":"2205.02660","title":"Region-Based Merging of Open-Domain Terminological Knowledge","created":"2022-05-05","cited_by_count":0,"area":null},{"id":"2211.04693","title":"Deep Explainable Learning with Graph Based Data Assessing and Rule Reasoning","created":"2022-11-09","cited_by_count":0,"area":null},{"id":"2211.09923","title":"Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP)","created":"2022-11-17","cited_by_count":0,"area":null},{"id":"2212.00373","title":"A Noise-tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving","created":"2022-12-01","cited_by_count":0,"area":null}],"next_cursor":"100"}