Racer Software Authors: Volker Haarslev, Kay Hidde, Ralf Möller, Michael Wessel Cited in: 52 Publications (2001–2021) Related Software: FaCT++; Pellet; KL-ONE; Protege; RacerPro; HermiT; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
QUBE Software Authors: Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando Cited in: 26 Publications (2001–2018) Related Software: QuBE++; Quaffle; Chaff; semprop; DepQBF; MiniSat; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX)
HYPROLOG Software Authors: Christiansen, Henning; Dahl, Veronica Cited in: 14 Publications (2005–2012) Related Software: SCIFF; Smodels; PRISM; Binder; CHR; ACORDA; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
MEDLAR Software Authors: Bruno Buchberger, Joachim Pfalzgraf, Karel Stokkermans, Wolfgang Gehrke, Viorica Sofronie Cited in: 14 Publications (1995–2013) Related Software: Maple; Juno-2; BVPh; Epsilon; GEX Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)
CHR Software Authors: Christian Holzbaur, Tom Schrijvers, Tom Schrijvers Cited in: 4 Publications (2002–2018) Related Software: Haskell; SCIFF; ACORDA; HYPROLOG; SWI-Prolog; XSB; … Main Fields: Computer science (68-XX)
ToyElim Software Authors: Wernhard, C. Cited in: 2 Publications (2012–2013) Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Elvira Software Authors: Andrés Cano Cited in: 2 Publications (2008–2011) Related Software: Netica; HUGIN; MSBNx; GeNIe; JavaBayes; Bayesia; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
ProofWriter Software Authors: Oyvind Tafjord, Bhavana Dalvi Mishra, Peter Clark Cited in: 1 Publication (2022) Related Software: Transformers; RuleTaker; BLEURT; BERT; multiPRover; z3; … Main Fields: Mathematical logic and foundations (03-XX)
LETHE Software Authors: Koopmann, P., Schmidt, R.A. Cited in: 1 Publication (2019) Related Software: FAME; BioPortal Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
RankPL Software Authors: Rienstra, Tjitze Cited in: 1 Publication (2017) Related Software: Venture; Figaro; Church Main Fields: Computer science (68-XX)
Gillian Software Authors: José Fragoso Santos, Petar Maksimović, Sacha-Élie Ayoun, Philippa Gardner Cited in: 0 Publications Related Software: – Main Fields: –