{"total":19,"rows":[{"id":"2107.10159","title":"Answer-Set Programs for Reasoning about Counterfactual Interventions and Responsibility Scores for Classification","created":"2021-07-21","cited_by_count":9,"area":null},{"id":"2108.04192","title":"Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation","created":"2021-08-09","cited_by_count":4,"area":null},{"id":"2502.09222","title":"ASP-driven User-interaction with Clinguin","created":"2025-02-13","cited_by_count":2,"area":null},{"id":"2506.13600","title":"The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital","created":"2025-06-16","cited_by_count":2,"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":"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.21027","title":"Smart Expansion Techniques for ASP-based Interactive Configuration","created":"2025-07-28","cited_by_count":1,"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":"2307.10688","title":"Bounded Combinatorial Reconfiguration with Answer Set Programming","created":"2023-07-20","cited_by_count":0,"area":null},{"id":"2307.15451","title":"DELPHIC: Practical DEL Planning via Possibilities (Extended Version)","created":"2023-07-28","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":"2408.04528","title":"Reasoning about Study Regulations in Answer Set Programming","created":"2024-08-08","cited_by_count":0,"area":null},{"id":"2410.22130","title":"Solving Epistemic Logic Programs using Generate-and-Test with Propagation","created":"2024-10-29","cited_by_count":0,"area":null},{"id":"2506.08150","title":"Compiling Metric Temporal Answer Set Programming","created":"2025-06-09","cited_by_count":0,"area":null},{"id":"2507.22774","title":"ASP-FZN: A Translation-based Constraint Answer Set Solver","created":"2025-07-30","cited_by_count":0,"area":null},{"id":"2605.29965","title":"Meta-Programming for Linear-time Temporal Answer Set Programming","created":"2026-05-28","cited_by_count":0,"area":null},{"id":"2607.13344","title":"EZSMT Version 3, Matured","created":"2026-07-15","cited_by_count":0,"area":null}],"next_cursor":null}