{"total":15,"rows":[{"id":"2202.05793","title":"Answer Set Planning: A Survey","created":"2022-02-11","cited_by_count":12,"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":"2311.10505","title":"CNL2ASP: converting controlled natural language sentences into ASP","created":"2023-11-17","cited_by_count":5,"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":"2502.04302","title":"Strong Equivalence in Answer Set Programming with Constraints","created":"2025-02-06","cited_by_count":2,"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":"2308.15901","title":"Explainable Answer-set Programming","created":"2023-08-30","cited_by_count":1,"area":null},{"id":"2405.15794","title":"Finite Groundings for ASP with Functions: A Journey through Consistency","created":"2024-05-08","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.17493","title":"Automated Hybrid Grounding Using Structural and Data-Driven Heuristics","created":"2025-07-23","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":"2602.09620","title":"FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints","created":"2026-02-10","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},{"id":"2607.21201","title":"Bound-Founded Semantics for Answer Set Programming with Difference Constraints: Preliminary Report","created":"2026-07-23","cited_by_count":0,"area":null}],"next_cursor":null}