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: 55 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; MiniSat; GASP; … 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: 4 Publications (2016–2022) Related Software: ProbLog; PRISM; PASOCS; SMProbLog; PASTA; DeepProbLog; … Main Fields: Computer science (68-XX)
fasp2smt Software Authors: Mario Alviano Cited in: 2 Publications (2013–2015) Related Software: Cmodels; MetiTarski; WASP; z3; DLV; Gringo; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SMProbLog Software Authors: Pietro Totis, Angelika Kimmig, Luc De Raedt Cited in: 1 Publication (2022) Related Software: PASOCS; PASTA; PrASP; ProbLog Main Fields: Computer science (68-XX)