ezcsp swMATH ID: 27479 Software Authors: Balduccini, Marcello; Lierler, Yuliya Description: 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”. Homepage: http://mbal.tk/ezcsp/ Keywords: constraint answer set programming; knowledge representation; nonmonotonic reasoning Related Software: Clingo; Clingcon; WASP; DLV2; clasp; Gringo; GASP; sCASP; DLV-EX; ASPIDE; ASPMT2SMT; SICStus; Harvey; iClingo; ROSoClingo; plasp; Brain Connectivity Toolbox; Adam; Tweety; MRtrix Cited in: 12 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Constraint answer set solver {ezcsp} and why integration schemas matter. Zbl 1379.68038Balduccini, Marcello; Lierler, Yuliya 2017 all top 5 Cited by 28 Authors 5 Balduccini, Marcello 3 Dodaro, Carmine 3 Ricca, Francesco 2 Lierler, Yuliya 2 Schüller, Peter 1 Amendola, Giovanni 1 Arias, Joaquin 1 Berei, Tobias 1 Bertolucci, Riccardo 1 Calimeri, Francesco 1 Capitanelli, Alessio 1 Carro, Manuel 1 Cauteruccio, Francesco 1 Cinelli, Luca 1 Cuteri, Bernardo 1 Durand-Dubief, Françoise 1 Gupta, Gopal K. 1 Leone, Nicola 1 Lifschitz, Vladimir 1 Maratea, Marco 1 Marple, Kyle 1 Marzullo, Aldo 1 Mastrogiovanni, Fulvio 1 Salazar, Elmer 1 Sappey-Marinier, Dominique 1 Stamile, Claudio 1 Terracina, Giorgio 1 Vallati, Mauro Cited in 1 Serial 6 Theory and Practice of Logic Programming Cited in 3 Fields 12 Computer science (68-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) Citations by Year