mlsanityData to 7 Oct 2026

Clingo goes Linear Constraints over Reals and Integers

arXiv 1707.04053 ↗First posted 13 Jul 2017cs.AIcited by 18

Not on the map. Why?

Abstract (arXiv)

The recent series 5 of the ASP system clingo provides generic means to enhance basic Answer Set Programming (ASP) with theory reasoning capabilities. We instantiate this framework with different forms of linear constraints, discuss the respective implementations, and present techniques of how to use these constraints in a reactive context. More precisely, we introduce extensions to clingo with difference and linear constraints over integers and reals, respectively, and realize them in complementary ways. Finally, we empirically evaluate the resulting clingo derivatives clingo[dl] and clingo[lp] on common fragments and contrast them to related ASP systems. This paper is under consideration for acceptance in TPLP.

Key facts. Cited by 18 papers in the map (data through 7 Oct 2026). First posted on arXiv 13 Jul 2017.

Builds on

No reference list yet.

Built on by

Cited by year (2026 to 7 Oct)

Citing papers per year: 2021: 4; 2022: 2; 2023: 1; 2024: 2; 2025: 5; 2026: 4.

18 papers.

Sort:

  1. 2021Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approachescited by 7
  2. 2021Aggregate Semantics for Propositional Answer Set Programscited by 5
  3. 2022Decomposition Strategies and Multi-shot ASP Solving for Job-shop Schedulingcited by 3
  4. 2022Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Schedulingcited by 3
  5. 2021Solving a Multi-resource Partial-ordering Flexible Variant of the Job-shop Scheduling Problem with Hybrid ASPcited by 2
  6. 2025Strong Equivalence in Answer Set Programming with Constraintscited by 2
  7. 2025ASP-driven User-interaction with Clinguincited by 2
  8. 2021Towards a Semantics for Hybrid ASP systemscited by 0
  9. 2023Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes (Extended version)cited by 0
  10. 2024Finite Groundings for ASP with Functions: A Journey through Consistencycited by 0
  11. 2024Probabilistic Answer Set Programming with Discrete and Continuous Random Variablescited by 0
  12. 2025Compiling Metric Temporal Answer Set Programmingcited by 0
6 more
  1. 2025Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programmingcited by 0
  2. 2025ASP-FZN: A Translation-based Constraint Answer Set Solvercited by 0
  3. 2026EZSMT Version 3, Maturedcited by 0
  4. 2026Logic, Optimization, and Artificial Intelligencecited by 0
  5. 2026Declarative Problem Solving in UAM Strategic Deconflictioncited by 0
  6. 2026Bound-Founded Semantics for Answer Set Programming with Difference Constraints: Preliminary Reportcited by 0