×

Found 9 Software Packages (Results 1–9)

Smodels

Software Authors:   Niemelä, Ilkka; Simons, P; Syrjänen, Tommi
Cited in: 229 Publications (1999–2022)
Related Software: ASSAT; Cmodels; XSB; Gringo; clasp; Lparse; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

WASP

Software Authors:   Alviano, Mario; Dodaro, Carmine; Faber, Wolfgang; Leone, Nicola; Ricca, Francesco
Cited in: 54 Publications (2014–2022)
Related Software: Clingo; clasp; Gringo; DLV2; DLV; Cmodels; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

GNT

Software Authors:   Janhunen, Tomi; Niemelä, Ilkka; Patrik Simons;Tomi Janhunen
Cited in: 20 Publications (1997–2013)
Related Software: ASSAT; Smodels; Cmodels; clasp; NoMoRe; MiniSat; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

CSP-prover

Software Authors:   Isobe, Yoshinao; Roggenbach, Markus
Cited in: 17 Publications (2005–2022)
Related Software: PVS; Isabelle/HOL; FDR2; Z; CASL; PAT; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

f2lp

Software Authors:   Lee, J., Palla, R.
Cited in: 9 Publications (2011–2016)
Related Software: CCalc; Cplus2ASP; Coala; WASP; PRISM; PrASP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ASPeRiX

Software Authors:   Claire Lefèvre, Pascal Nicolas, Stéphane Ngoma
Cited in: 4 Publications (2009–2016)
Related Software: ASSAT; OMiGA; Gringo; Clingo; GASP; Smodels; …
Main Fields: Computer science (68-XX)

ASPMT2SMT

Software Authors:   Bartholomew, Michael; Lee, Joohyung
Cited in: 5 Publications (2014–2020)
Related Software: Clingcon; DLV2; ezcsp; Clingo; WASP; clasp; …
Main Fields: Computer science (68-XX)

PrASP

Software Authors:   Nickles, Matthias
Cited in: 3 Publications (2016–2022)
Related Software: PRISM; ProbLog; DeepProbLog; cplint; SCIFF; XSB; …
Main Fields: Computer science (68-XX)

fasp2smt

Software Authors:   Mario Alviano
Cited in: 2 Publications (2013–2015)
Related Software: WASP; z3; DLV; Gringo; Cmodels; RSOLVER; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)