ezcsp

EZCSP is an inference engine that allows computing extended answer sets of ASP programs, as defined in [bal09a,bal09b]. Intuitively, EZCSP allows a lightweight integration of ASP and constraint programming (CP). An extended answer set of an ASP program P is a pair consisting of an answer set of P, and of a solution to the constraint satisfaction problem (CSP) defined by such answer set of P. The current version of EZCSP uses gringo+clasp by default (lparse+smodels or other solvers can be specified) as ASP solver and BProlog as constraint solver. To specify other solvers, run ”ezcsp -h”.


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

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

  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. Calimeri, Francesco; Cauteruccio, Francesco; Cinelli, Luca; Marzullo, Aldo; Stamile, Claudio; Terracina, Giorgio; Durand-Dubief, Françoise; Sappey-Marinier, Dominique: A logic-based framework leveraging neural networks for studying the evolution of neurological disorders (2021)
  3. Dodaro, Carmine; Ricca, Francesco: The external interface for extending WASP (2020)
  4. Cuteri, Bernardo; Dodaro, Carmine; Ricca, Francesco; Schüller, Peter: Partial compilation of ASP programs (2019)
  5. Lifschitz, Vladimir: Answer set programming (2019)
  6. Arias, Joaquin; Carro, Manuel; Salazar, Elmer; Marple, Kyle; Gupta, Gopal: Constraint answer set programming without grounding (2018)
  7. Balduccini, Marcello; Lierler, Yuliya: Constraint answer set solver \textscezcspand why integration schemas matter (2017)
  8. Balduccini, Marcello; Lierler, Yuliya; Schüller, Peter: Prolog and ASP inference under one roof (2013)
  9. Balduccini, Marcello: Industrial-size scheduling with ASP+CP (2011)
  10. Balduccini, Marcello: Representing constraint satisfaction problems in answer set programming (2009)
  11. Balduccini, Marcello: CR-Prolog as a specification language for constraint satisfaction problems (2009)