{"total":56,"rows":[{"id":"2109.13006","title":"RuleBert: Teaching Soft Rules to Pre-trained Language Models","created":"2021-09-24","cited_by_count":25,"area":null},{"id":"2308.09393","title":"Learning MDL logic programs from noisy data","created":"2023-08-18","cited_by_count":15,"area":null},{"id":"2110.13606","title":"AUTO-DISCERN: Autonomous Driving Using Common Sense Reasoning","created":"2021-10-17","cited_by_count":14,"area":null},{"id":"2506.02532","title":"ReasoningFlow: Semantic Structure of Complex Reasoning Traces","created":"2025-06-03","cited_by_count":12,"area":"lr"},{"id":"2112.07596","title":"Rushing and Strolling among Answer Sets -- Navigation Made Easy","created":"2021-12-14","cited_by_count":9,"area":null},{"id":"2210.03553","title":"Treewidth-aware Reductions of Normal ASP to SAT -- Is Normal ASP Harder than SAT after All?","created":"2022-10-07","cited_by_count":8,"area":null},{"id":"2206.01614","title":"Learning logic programs by combining programs","created":"2022-06-01","cited_by_count":7,"area":null},{"id":"2205.07496","title":"Efficient Knowledge Compilation Beyond Weighted Model Counting","created":"2022-05-16","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":"2109.08290","title":"Generating Explainable Rule Sets from Tree-Ensemble Learning Methods by Answer Set Programming","created":"2021-09-17","cited_by_count":4,"area":null},{"id":"2109.03166","title":"Aspartix-V21","created":"2021-09-07","cited_by_count":3,"area":null},{"id":"2101.06644","title":"HySTER: A Hybrid Spatio-Temporal Event Reasoner","created":"2021-01-17","cited_by_count":2,"area":null},{"id":"2109.08297","title":"DiscASP: A Graph-based ASP System for Finding Relevant Consistent Concepts with Applications to Conversational Socialbots","created":"2021-09-17","cited_by_count":2,"area":null},{"id":"2109.14883","title":"Process discovery on deviant traces and other stranger things","created":"2021-09-30","cited_by_count":2,"area":null},{"id":"2208.03091","title":"On Model Reconciliation: How to Reconcile When Robot Does not Know Human's Model?","created":"2022-08-05","cited_by_count":2,"area":null},{"id":"2208.03238","title":"Learning programs with magic values","created":"2022-08-05","cited_by_count":2,"area":null},{"id":"2210.00764","title":"Relational program synthesis with numerical reasoning","created":"2022-10-03","cited_by_count":2,"area":null},{"id":"2310.19503","title":"Trust, Accountability, and Autonomy in Knowledge Graph-based AI for Self-determination","created":"2023-10-30","cited_by_count":2,"area":null},{"id":"2411.03287","title":"The Future of Intelligent Healthcare: A Systematic Analysis and Discussion on the Integration and Impact of Robots Using Large Language Models for Healthcare","created":"2024-11-05","cited_by_count":2,"area":null},{"id":"2502.00145","title":"Counting and Reasoning with Plans","created":"2025-01-31","cited_by_count":2,"area":null},{"id":"2506.10161","title":"Can LLMs Generate Good Stories? Insights and Challenges from a Narrative Planning Perspective","created":"2025-06-11","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":"2109.07818","title":"Learning logic programs through divide, constrain, and conquer","created":"2021-09-16","cited_by_count":1,"area":null},{"id":"2209.13043","title":"An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems","created":"2022-09-26","cited_by_count":1,"area":null},{"id":"2305.15374","title":"ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction","created":"2023-05-24","cited_by_count":1,"area":null},{"id":"2308.15895","title":"Assessing Drivers' Situation Awareness in Semi-Autonomous Vehicles: ASP based Characterisations of Driving Dynamics for Modelling Scene Interpretation and Projection","created":"2023-08-30","cited_by_count":1,"area":null},{"id":"2308.15901","title":"Explainable Answer-set Programming","created":"2023-08-30","cited_by_count":1,"area":null},{"id":"2406.17987","title":"Multi-step Inference over Unstructured Data","created":"2024-06-26","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":"2410.11000","title":"Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming","created":"2024-10-14","cited_by_count":1,"area":null},{"id":"2606.09157","title":"SEF-CLGC at SemEval-2026 Task 11: Logical Notation Impact on Language Model Performance","created":"2026-06-08","cited_by_count":1,"area":null},{"id":"2102.12551","title":"Learning logic programs by explaining their failures","created":"2021-02-18","cited_by_count":0,"area":null},{"id":"2109.07132","title":"Parallel Constraint-Driven Inductive Logic Programming","created":"2021-09-15","cited_by_count":0,"area":null},{"id":"2109.08304","title":"Product Configuration in Answer Set Programming","created":"2021-09-17","cited_by_count":0,"area":null},{"id":"2202.03730","title":"Computing H-Partitions in ASP and Datalog","created":"2022-02-08","cited_by_count":0,"area":null},{"id":"2302.14208","title":"Methods and Mechanisms for Interactive Novelty Handling in Adversarial Environments","created":"2023-02-28","cited_by_count":0,"area":null},{"id":"2305.02255","title":"Contextual Reasoning for Scene Generation (Technical Report)","created":"2023-05-03","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":"2404.12493","title":"EnriCo: Enriched Representation and Globally Constrained Inference for Entity and Relation Extraction","created":"2024-04-18","cited_by_count":0,"area":null},{"id":"2506.06739","title":"Honey, I shrunk the hypothesis space (through logical preprocessing)","created":"2025-06-07","cited_by_count":0,"area":null},{"id":"2506.12667","title":"Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning","created":"2025-06-15","cited_by_count":0,"area":"lr"},{"id":"2508.12611","title":"An LLM + ASP Workflow for Joint Entity-Relation Extraction","created":"2025-08-18","cited_by_count":0,"area":null},{"id":"2510.05451","title":"NASP-T: A Fuzzy Neuro-Symbolic Transformer for Logic-Constrained Aviation Safety Report Classification","created":"2025-10-06","cited_by_count":0,"area":null},{"id":"2512.04910","title":"Declarative Synthesis and Multi-Objective Optimization of Stripboard Circuit Layouts Using Answer Set Programming","created":"2025-12-04","cited_by_count":0,"area":null},{"id":"2512.23932","title":"A Proof-of-Concept for Explainable Disease Diagnosis Using Large Language Models and Answer Set Programming","created":"2025-12-30","cited_by_count":0,"area":null},{"id":"2601.03845","title":"Formally Explaining Decision Tree Models with Answer Set Programming","created":"2026-01-07","cited_by_count":0,"area":null},{"id":"2601.04274","title":"An ASP-based Solution to the Medical Appointment Scheduling Problem","created":"2026-01-07","cited_by_count":0,"area":null},{"id":"2603.09455","title":"Declarative Scenario-based Testing with RoadLogic","created":"2026-03-10","cited_by_count":0,"area":null},{"id":"2603.18436","title":"AS2 -- Attention-Based Soft Answer Sets: An End-to-End Differentiable Neuro-Soft-Symbolic Reasoning Architecture","created":"2026-03-19","cited_by_count":0,"area":"lr"},{"id":"2603.23873","title":"The DeepXube Software Package for Solving Pathfinding Problems with Learned Heuristic Functions and Search","created":"2026-03-25","cited_by_count":0,"area":"deeprl"},{"id":"2606.06369","title":"Visual Commonsense Driven Knowledge Refinements for Scene Graph Generation","created":"2026-06-04","cited_by_count":0,"area":null},{"id":"2606.25626","title":"Reasonable Motion: A General ASP Foundation for Environment Constrained Movement Trajectory Computation","created":"2026-06-24","cited_by_count":0,"area":null},{"id":"2607.08136","title":"Answer Set Programming Energised! End-to-End Neurosymbolic Reasoning and Learning with ASP and Energy Based Models","created":"2026-07-09","cited_by_count":0,"area":"lr"},{"id":"2607.21197","title":"Declarative Problem Solving in UAM Strategic Deconfliction","created":"2026-07-23","cited_by_count":0,"area":null},{"id":"2608.11905","title":"Policy-as-logic for robust reasoning over rules","created":"2026-08-12","cited_by_count":0,"area":"lr"},{"id":"2608.12374","title":"Are you Talking Logic to Me? Assessing Language Models Syllogistic Reasoning Capabilities","created":"2026-07-22","cited_by_count":0,"area":"lr"}],"next_cursor":null}