{"total":13,"rows":[{"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":"2204.10789","title":"Verification of Locally Tight Programs","created":"2022-04-18","cited_by_count":3,"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":"2307.06382","title":"Rethinking Answer Set Programming Templates","created":"2023-07-12","cited_by_count":1,"area":null},{"id":"2412.10975","title":"Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence","created":"2024-12-14","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":"2511.01753","title":"SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic","created":"2025-11-03","cited_by_count":1,"area":null},{"id":"2208.03096","title":"Tools and Methodologies for Verifying Answer Set Programs","created":"2022-08-05","cited_by_count":0,"area":null},{"id":"2310.19806","title":"Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis","created":"2023-10-11","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":"2511.19565","title":"Deductive Systems for Logic Programs with Counting","created":"2025-11-24","cited_by_count":0,"area":null},{"id":"2601.03848","title":"Implementing the First-Order Logic of Here and There","created":"2026-01-07","cited_by_count":0,"area":null},{"id":"2605.22716","title":"Parametric Modular Answer Set Programs Made Declarative","created":"2026-05-21","cited_by_count":0,"area":null}],"next_cursor":null}