Clingcon is a hybrid solver combining the monolithic answer set solver Clingo and the CSP solver Gecode. Clingcon is an answer set solver for (extended) constraint normal logic programs. It combines the high-level modeling capacities of Answer Set Programming (ASP) with constraint solving. Constraints over non-linear finite integers can be used in the logic programs. The primary clingcon algorithm adopts state-of-the-art techniques from SMT and uses conflict-driven learning and theory propagation for the CSP solver.

References in zbMATH (referenced in 39 articles , 1 standard article )

Showing results 1 to 20 of 39.
Sorted by year (citations)

1 2 next

  1. Bertolucci, Riccardo; Capitanelli, Alessio; Dodaro, Carmine; Leone, Nicola; Maratea, Marco; Mastrogiovanni, Fulvio; Vallati, Mauro: Manipulation of articulated objects using dual-arm robots via answer set programming (2021)
  2. Eiter, Thomas; Kaminski, Tobias: Pruning external minimality checking for answer set programs using semantic dependencies (2021)
  3. De Wulf, Wolf; Bogaerts, Bart: \textsclp2pb: translating answer set programs into pseudo-Boolean theories (2020)
  4. Dodaro, Carmine; Ricca, Francesco: The external interface for extending WASP (2020)
  5. Bartholomew, Michael; Lee, Joohyung: First-order stable model semantics with intensional functions (2019)
  6. Cuteri, Bernardo; Dodaro, Carmine; Ricca, Francesco; Schüller, Peter: Partial compilation of ASP programs (2019)
  7. Redl, Christoph: Inlining external sources in answer set programs (2019)
  8. Alviano, Mario; Dodaro, Carmine; Maratea, Marco: Shared aggregate sets in answer set programming (2018)
  9. Arias, Joaquin; Carro, Manuel; Salazar, Elmer; Marple, Kyle; Gupta, Gopal: Constraint answer set programming without grounding (2018)
  10. Fangkai Yang, Daoming Lyu, Bo Liu, Steven Gustafson: PEORL: Integrating Symbolic Planning and Hierarchical Reinforcement Learning for Robust Decision-Making (2018) arXiv
  11. Frioux, Clémence; Schaub, Torsten; Schellhorn, Sebastian; Siegel, Anne; Wanko, Philipp: Hybrid metabolic network completion (2018)
  12. Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten: Multi-shot ASP solving with clingo (2018)
  13. Balduccini, Marcello; Magazzeni, Daniele; Maratea, Marco; Leblanc, Emily C.: CASP solutions for planning in hybrid domains (2017)
  14. Banbara, Mutsunori; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten: \textitclingcon: the next generation (2017)
  15. Janhunen, Tomi; Kaminski, Roland; Ostrowski, Max; Schellhorn, Sebastian; Wanko, Philipp; Schaub, Torsten: Clingo goes linear constraints over reals and integers (2017)
  16. Lefèvre, Claire; Béatrix, Christopher; Stéphan, Igor; Garcia, Laurent: \textscASPeRiX, a first-order forward chaining approach for answer set computing (2017)
  17. De Cat, Broes; Lierler, Yuliya: Constraint CNF: SAT and CSP language under one roof (2016)
  18. Eiter, Thomas; Fink, Michael; Ianni, Giovambattista; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter: A model building framework for answer set programming with external computations (2016)
  19. Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph: Domain expansion for ASP-programs with external sources (2016)
  20. Lierler, Yuliya; Truszczynski, Miroslaw: On abstract modular inference systems and solvers (2016)

1 2 next