{"total":35,"rows":[{"id":"2110.13606","title":"AUTO-DISCERN: Autonomous Driving Using Common Sense Reasoning","created":"2021-10-17","cited_by_count":14,"area":null},{"id":"2101.11707","title":"Knowledge-driven Natural Language Understanding of English Text and its Applications","created":"2021-01-27","cited_by_count":12,"area":null},{"id":"2302.03780","title":"Reliable Natural Language Understanding with Large Language Models and Answer Set Programming","created":"2023-02-07","cited_by_count":12,"area":null},{"id":"2110.07843","title":"FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data","created":"2021-10-15","cited_by_count":10,"area":null},{"id":"2202.06913","title":"FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data","created":"2022-02-14","cited_by_count":7,"area":null},{"id":"2110.05387","title":"CASPR: A Commonsense Reasoning-based Conversational Socialbot","created":"2021-10-11","cited_by_count":6,"area":null},{"id":"2106.14566","title":"Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming","created":"2021-06-28","cited_by_count":4,"area":null},{"id":"2310.13073","title":"Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks","created":"2023-10-19","cited_by_count":4,"area":null},{"id":"2112.11241","title":"An ASP-based Approach to Answering Natural Language Questions for Texts","created":"2021-12-21","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":"2505.06745","title":"Symbolic Rule Extraction from Attention-Guided Sparse Representations in Vision Transformers","created":"2025-05-10","cited_by_count":3,"area":null},{"id":"2209.09066","title":"Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming","created":"2022-09-19","cited_by_count":2,"area":null},{"id":"2301.12667","title":"NeSyFOLD: Neurosymbolic Framework for Interpretable Image Classification","created":"2023-01-30","cited_by_count":2,"area":null},{"id":"2508.17221","title":"MC3G: Model Agnostic Causally Constrained Counterfactual Generation","created":"2025-08-24","cited_by_count":2,"area":null},{"id":"2104.01190","title":"grASP: A Graph Based ASP-Solver and Justification System","created":"2021-04-02","cited_by_count":1,"area":null},{"id":"2106.10685","title":"MILP, pseudo-boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks","created":"2021-06-20","cited_by_count":1,"area":null},{"id":"2109.04634","title":"Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming","created":"2021-09-10","cited_by_count":1,"area":null},{"id":"2110.12053","title":"Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming","created":"2021-10-22","cited_by_count":1,"area":null},{"id":"2401.14511","title":"Automated legal reasoning with discretion to act using s(LAW)","created":"2024-01-25","cited_by_count":1,"area":null},{"id":"2407.08179","title":"CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP","created":"2024-07-11","cited_by_count":1,"area":null},{"id":"2107.02421","title":"An NLG pipeline for a legal expert system: a work in progress","created":"2021-07-06","cited_by_count":0,"area":null},{"id":"2208.12199","title":"Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming","created":"2022-08-25","cited_by_count":0,"area":null},{"id":"2305.18225","title":"Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP","created":"2023-05-20","cited_by_count":0,"area":null},{"id":"2310.14497","title":"Counterfactual Explanation Generation with s(CASP)","created":"2023-10-23","cited_by_count":0,"area":null},{"id":"2402.04382","title":"Counterfactual Generation with Answer Set Programming","created":"2024-02-06","cited_by_count":0,"area":null},{"id":"2405.15956","title":"CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP","created":"2024-05-24","cited_by_count":0,"area":null},{"id":"2407.20413","title":"Through the Looking Glass, and what Horn Clause Programs Found There","created":"2024-07-29","cited_by_count":0,"area":null},{"id":"2408.07524","title":"Fast Inference for Probabilistic Answer Set Programs via the Residual Program","created":"2024-08-14","cited_by_count":0,"area":null},{"id":"2502.09226","title":"Generating Causally Compliant Counterfactual Explanations using ASP","created":"2025-02-13","cited_by_count":0,"area":null},{"id":"2506.16596","title":"A Community-driven vision for a new Knowledge Resource for AI","created":"2025-06-19","cited_by_count":0,"area":null},{"id":"2507.05519","title":"Modeling Deontic Modal Logic in ASP","created":"2025-07-07","cited_by_count":0,"area":null},{"id":"2508.20371","title":"P2C: Path to Counterfactuals","created":"2025-08-28","cited_by_count":0,"area":null},{"id":"2601.14764","title":"An XAI View on Explainable ASP: Methods, Systems, and Perspectives","created":"2026-01-21","cited_by_count":0,"area":null},{"id":"2602.09620","title":"FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints","created":"2026-02-10","cited_by_count":0,"area":null},{"id":"2602.13135","title":"Constrained Assumption-Based Argumentation Frameworks","created":"2026-02-13","cited_by_count":0,"area":null}],"next_cursor":null}