{"total":77,"rows":[{"id":"2307.07700","title":"NeurASP: Embracing Neural Networks into Answer Set Programming","created":"2023-07-15","cited_by_count":92,"area":null},{"id":"2306.08397","title":"Scalable Neural-Probabilistic Answer Set Programming","created":"2023-06-14","cited_by_count":14,"area":null},{"id":"2202.05793","title":"Answer Set Planning: A Survey","created":"2022-02-11","cited_by_count":12,"area":null},{"id":"2108.02637","title":"An ASP-based Solution to the Chemotherapy Treatment Scheduling problem","created":"2021-08-05","cited_by_count":9,"area":null},{"id":"2112.07596","title":"Rushing and Strolling among Answer Sets -- Navigation Made Easy","created":"2021-12-14","cited_by_count":9,"area":null},{"id":"2110.03395","title":"SLASH: Embracing Probabilistic Circuits into Neural Answer Set Programming","created":"2021-10-07","cited_by_count":8,"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":"2301.07550","title":"Logic programming for deliberative robotic task planning","created":"2023-01-18","cited_by_count":8,"area":null},{"id":"2107.08252","title":"Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches","created":"2021-07-17","cited_by_count":7,"area":null},{"id":"2303.09172","title":"Learning Logic Specifications for Soft Policy Guidance in POMCP","created":"2023-03-16","cited_by_count":7,"area":null},{"id":"2403.04541","title":"Towards Automatic Composition of ASP Programs from Natural Language Specifications","created":"2024-03-07","cited_by_count":7,"area":null},{"id":"2412.14814","title":"Answer Set Networks: Casting Answer Set Programming into Deep Learning","created":"2024-12-19","cited_by_count":6,"area":null},{"id":"2109.08662","title":"Aggregate Semantics for Propositional Answer Set Programs","created":"2021-09-17","cited_by_count":5,"area":null},{"id":"2311.10505","title":"CNL2ASP: converting controlled natural language sentences into ASP","created":"2023-11-17","cited_by_count":5,"area":null},{"id":"2105.02283","title":"Operating Room (Re)Scheduling with Bed Management via ASP","created":"2021-05-05","cited_by_count":4,"area":null},{"id":"2112.11806","title":"Lifting Symmetry Breaking Constraints with Inductive Logic Programming","created":"2021-12-22","cited_by_count":4,"area":null},{"id":"2509.16590","title":"Question Answering with LLMs and Learning from Answer Sets","created":"2025-09-20","cited_by_count":4,"area":"lr"},{"id":"2205.07537","title":"Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling","created":"2022-05-16","cited_by_count":3,"area":null},{"id":"2206.06440","title":"An Abstract View on Optimizations in Propositional Frameworks","created":"2022-06-13","cited_by_count":3,"area":null},{"id":"2212.09077","title":"Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling","created":"2022-12-18","cited_by_count":3,"area":null},{"id":"2506.12784","title":"LPMLN, Weak Constraints, and P-log","created":"2025-06-15","cited_by_count":3,"area":null},{"id":"2101.10162","title":"Solving a Multi-resource Partial-ordering Flexible Variant of the Job-shop Scheduling Problem with Hybrid ASP","created":"2021-01-25","cited_by_count":2,"area":null},{"id":"2108.02797","title":"I-DLV-sr: A Stream Reasoning System based on I-DLV","created":"2021-08-05","cited_by_count":2,"area":null},{"id":"2108.03474","title":"Solution Enumeration by Optimality in Answer Set Programming","created":"2021-08-07","cited_by_count":2,"area":null},{"id":"2202.00343","title":"Interactive configurator with FO(.) and IDP-Z3","created":"2022-02-01","cited_by_count":2,"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":"2305.11969","title":"Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling","created":"2023-05-19","cited_by_count":2,"area":null},{"id":"2401.02153","title":"Unit Testing in ASP Revisited: Language and Test-Driven Development Environment","created":"2024-01-04","cited_by_count":2,"area":null},{"id":"2501.07507","title":"Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback","created":"2025-01-13","cited_by_count":2,"area":null},{"id":"2502.09211","title":"Visual Graph Question Answering with ASP and LLMs for Language Parsing","created":"2025-02-13","cited_by_count":2,"area":null},{"id":"2512.03931","title":"Autonomous Agents and Policy Compliance: A Framework for Reasoning About Penalties","created":"2025-12-03","cited_by_count":2,"area":null},{"id":"2601.03850","title":"Investigating the Grounding Bottleneck for a Large-Scale Configuration Problem: Existing Tools and Constraint-Aware Guessing","created":"2026-01-07","cited_by_count":2,"area":null},{"id":"2108.04020","title":"FOLASP: FO(.) as Input Language for Answer Ser Solvers","created":"2021-08-09","cited_by_count":1,"area":null},{"id":"2108.05428","title":"Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming","created":"2021-08-11","cited_by_count":1,"area":null},{"id":"2111.06366","title":"Answer Set Programming Made Easy","created":"2021-11-11","cited_by_count":1,"area":null},{"id":"2203.01024","title":"On the Configuration of More and Less Expressive Logic Programs","created":"2022-03-02","cited_by_count":1,"area":null},{"id":"2206.07862","title":"Unifying Framework for Optimizations in non-boolean Formalisms","created":"2022-06-16","cited_by_count":1,"area":null},{"id":"2207.08599","title":"Applying Incremental Answer Set Solving to Product Configuration","created":"2022-07-18","cited_by_count":1,"area":null},{"id":"2307.06382","title":"Rethinking Answer Set Programming Templates","created":"2023-07-12","cited_by_count":1,"area":null},{"id":"2308.04161","title":"Current and Future Challenges in Knowledge Representation and Reasoning","created":"2023-08-08","cited_by_count":1,"area":null},{"id":"2308.15879","title":"Explanations for Answer Set Programming","created":"2023-08-30","cited_by_count":1,"area":null},{"id":"2308.15888","title":"Generalizing Level Ranking Constraints for Monotone and Convex Aggregates","created":"2023-08-30","cited_by_count":1,"area":null},{"id":"2408.07697","title":"Quantifying over Optimum Answer Sets","created":"2024-08-14","cited_by_count":1,"area":null},{"id":"2410.09428","title":"Declarative Knowledge Distillation from Large Language Models for Visual Question Answering Datasets","created":"2024-10-12","cited_by_count":1,"area":"distill"},{"id":"2412.17143","title":"ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding","created":"2024-12-22","cited_by_count":1,"area":null},{"id":"2503.19762","title":"Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)","created":"2025-03-25","cited_by_count":1,"area":null},{"id":"2507.03929","title":"An ASP-Based Framework for MUSes","created":"2025-07-05","cited_by_count":1,"area":null},{"id":"2511.15623","title":"Sufficient Explanations in Databases and their Connections to Database Repairs","created":"2025-11-19","cited_by_count":1,"area":null},{"id":"2109.10633","title":"Reactive Answer Set Programming","created":"2021-09-22","cited_by_count":0,"area":null},{"id":"2202.09626","title":"ValAsp: a tool for data validation in Answer Set Programming","created":"2022-02-19","cited_by_count":0,"area":null},{"id":"2206.11515","title":"plingo: A system for probabilistic reasoning in clingo based on lpmln","created":"2022-06-23","cited_by_count":0,"area":null},{"id":"2208.03097","title":"An ASP Framework for Efficient Urban Traffic Optimization","created":"2022-08-05","cited_by_count":0,"area":null},{"id":"2208.12726","title":"A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)","created":"2022-08-26","cited_by_count":0,"area":null},{"id":"2303.17018","title":"System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics","created":"2023-03-29","cited_by_count":0,"area":null},{"id":"2307.14799","title":"Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes (Extended version)","created":"2023-07-27","cited_by_count":0,"area":null},{"id":"2308.15863","title":"Inductive Learning of Declarative Domain-Specific Heuristics for ASP","created":"2023-08-30","cited_by_count":0,"area":null},{"id":"2309.04487","title":"Penalization Framework For Autonomous Agents Using Answer Set Programming","created":"2023-08-30","cited_by_count":0,"area":null},{"id":"2310.14413","title":"Data Augmentation: a Combined Inductive-Deductive Approach featuring Answer Set Programming","created":"2023-10-22","cited_by_count":0,"area":null},{"id":"2312.04249","title":"Extending Answer Set Programming with Rational Numbers","created":"2023-12-07","cited_by_count":0,"area":null},{"id":"2407.21556","title":"Operator-based semantics for choice programs: is choosing losing? (full version)","created":"2024-07-31","cited_by_count":0,"area":null},{"id":"2408.07521","title":"Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming","created":"2024-08-14","cited_by_count":0,"area":null},{"id":"2408.08150","title":"Winning Snake: Design Choices in Multi-Shot ASP","created":"2024-08-15","cited_by_count":0,"area":null},{"id":"2408.10563","title":"The Stable Model Semantics for Higher-Order Logic Programming","created":"2024-08-20","cited_by_count":0,"area":null},{"id":"2408.11371","title":"Solving Decision Theory Problems with Probabilistic Answer Set Programming","created":"2024-08-21","cited_by_count":0,"area":null},{"id":"2409.09485","title":"Enumerating Minimal Unsatisfiable Cores of LTLf formulas","created":"2024-09-14","cited_by_count":0,"area":null},{"id":"2412.10152","title":"Direct Encoding of Declare Constraints in ASP","created":"2024-12-13","cited_by_count":0,"area":null},{"id":"2502.09230","title":"Relating Answer Set Programming and Many-sorted Logics for Formal Verification","created":"2025-02-13","cited_by_count":0,"area":null},{"id":"2507.16454","title":"Improving ASP-based ORS Schedules through Machine Learning Predictions","created":"2025-07-22","cited_by_count":0,"area":null},{"id":"2507.17493","title":"Automated Hybrid Grounding Using Structural and Data-Driven Heuristics","created":"2025-07-23","cited_by_count":0,"area":null},{"id":"2508.10504","title":"Advances in Logic-Based Entity Resolution: Enhancing ASPEN with Local Merges and Optimality Criteria","created":"2025-08-14","cited_by_count":0,"area":null},{"id":"2509.03644","title":"Towards a Neurosymbolic Reasoning System Grounded in Schematic Representations","created":"2025-09-03","cited_by_count":0,"area":"lr"},{"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":"2604.06838","title":"Explaining Neural Networks in Preference Learning: a Post-hoc Inductive Logic Programming Approach","created":"2026-04-08","cited_by_count":0,"area":null},{"id":"2604.19251","title":"Streamliners for Answer Set Programming","created":"2026-04-21","cited_by_count":0,"area":null},{"id":"2604.21603","title":"Using ASP(Q) to Handle Inconsistent Prioritized Data","created":"2026-04-23","cited_by_count":0,"area":null},{"id":"2605.31444","title":"Answer-Set-Programming-based Abstractions for Reinforcement Learning","created":"2026-05-29","cited_by_count":0,"area":"deeprl"},{"id":"2607.13344","title":"EZSMT Version 3, Matured","created":"2026-07-15","cited_by_count":0,"area":null}],"next_cursor":null}