SETHEO Software Authors: Letz, R.; Schumann, J.; Bayerl, S.; Bibel, W. Cited in: 118 Publications (1990–2022) Related Software: TPTP; OTTER; SPASS; E-SETHEO; VAMPIRE; SATCHMO; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)
Prolog Software Authors: Daniel Diaz Cited in: 57 Publications (1984–2020) Related Software: SICStus; CHIP; Twelf; SWI-Prolog; XSB; wamcc; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
NRL Software Authors: Meadows, Catherine Cited in: 29 Publications (1996–2018) Related Software: Maude; AVISPA; OFMC; Maude-NPA; Casper; ProVerif; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
TABLEAUX Software Authors: Catach, Laurent Cited in: 20 Publications (1991–2022) Related Software: Pesca; MOIN; LoTREC; SPASS; KRIPKE; GitHub; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
B-Prolog Software Authors: Afany Software Cited in: 16 Publications (2001–2018) Related Software: XSB; SICStus; YAP-Prolog; SWI-Prolog; Gecode; Prolog; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
FPROLOG Software Authors: Martin, T.P.; Baldwin, J.F.; Pilsworth, B.W. Cited in: 12 Publications (1985–2017) Related Software: FRIL; Ciao; DeLorean; Fuzzydl; FuzzyCLIPS; Prolog; … Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Statistics (62-XX)
DASWAM Software Authors: Shen, Kish Cited in: 13 Publications (1996–2011) Related Software: CiaoPP; Ciao; Mercury; wamcc; Prolog; YAP-Prolog; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
wamcc Software Authors: Daniel Diaz Cited in: 11 Publications (1996–2016) Related Software: Mercury; Prolog; SICStus; Python; CiaoPP; Ciao; … Main Fields: Computer science (68-XX)
PARTHENON Software Authors: Bose, Soumitra; Clarke, Edmund M.; Long, David E.; Michaylov, Spiro Cited in: 5 Publications (1989–2004) Related Software: METEOR; SETHEO; OTTER; Aquarius; PARTHEO; Roo; … Main Fields: Computer science (68-XX)
CS-Prolog Software Authors: Kawamura, Toshio; Ohwada, Hayato; Mizoguchi, Fumio Cited in: 7 Publications (1988–2002) Related Software: Prolog; CiaoPP; Ciao; PVM; SICStus; Linda Main Fields: Computer science (68-XX)
LPTP Software Authors: Stärk, Robert F. Cited in: 6 Publications (1998–2016) Related Software: AsmL; ML; XSB; HeerHugo; Chaff; SATO; … Main Fields: Computer science (68-XX)
PROTOS-L Software Authors: Beierle, Christoph Cited in: 7 Publications (1990–1996) Related Software: Prolog Main Fields: Computer science (68-XX)
kLog Software Authors: Frasconi, Paolo; Costa, Fabrizio; De Raedt, Luc; De Grave, Kurt Cited in: 6 Publications (2014–2022) Related Software: ProbLog; PyTorch; Aleph; PRISM; kFOIL; Dyna; … Main Fields: Statistics (62-XX); Computer science (68-XX)
kProbLog Software Authors: Orsini, Francesco; Frasconi, Paolo; De Raedt, Luc Cited in: 5 Publications (2016–2021) Related Software: ProbLog; Dyna; BLOG; PRISM; kFOIL; FPsolve; … Main Fields: Computer science (68-XX)
CDAOstore Software Authors: Chisham, Brandon; Pontelli, Enrico; Son, Tran Cao; Wright, Ben Cited in: 3 Publications (2011–2016) Related Software: – Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
MOIN Software Authors: Girlando, Marianna; Straßburger, Lutz Cited in: 4 Publications (2020–2022) Related Software: TABLEAUX; GitHub; QMLTP; LoTREC; MleanCoP; Leo-III; … Main Fields: Computer science (68-XX)
DWAM Software Authors: Rajasekar, A. and Yusuf, H Cited in: 3 Publications (2002–2003) Related Software: SATCHMOREBID; DCTP; I-SATCHMO; SATCHMO Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
GLIMPSE Software Authors: David E. Wolstenholme; Carl M. O'Brien; John A. Nelder Cited in: 2 Publications (1992–2004) Related Software: GLIM; TAXSY; GenStat Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Subsumer Software Authors: Santos, Jose; Muggleton, Stephen Cited in: 2 Publications (2010–2015) Related Software: Aleph; ProGolem Main Fields: Computer science (68-XX)
Datafun Software Authors: Arntzenius, Michael; Krishnaswami, Neelakantan R. Cited in: 2 Publications (2016–2022) Related Software: Haskell; Dsharp; Hakaru; TOY; Mercury; Church; … Main Fields: Computer science (68-XX)
VoSys Software Authors: Ţăndăreanu, Nicolae Cited in: 1 Publication (2009) Related Software: – Main Fields: Computer science (68-XX)
LearnSAT Software Authors: Ben-Ari, Mordechai (Moti) Cited in: 0 Publications Related Software: – Main Fields: Computer science (68-XX)
Logichart Software Authors: Adachi, Yoshihiro; Tsuchida, Kensei; Imaki, Takanori; Yaku, Takeo Cited in: 1 Publication (1999) Related Software: – Main Fields: Computer science (68-XX)
MENDELS Software Authors: Uchihira, Naoshi; Matsumoto, Kazunori; Honiden, Shinichi; Nakamura, Hideo Cited in: 1 Publication (1988) Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MixLog Software Authors: Smith, Donald A. Cited in: 1 Publication (1997) Related Software: – Main Fields: Computer science (68-XX)
OLDTNF Software Authors: Chen, Yangjun Cited in: 1 Publication (1998) Related Software: – Main Fields: Computer science (68-XX)
2P-Kt Software Authors: Giovanni Ciatto, Roberta Calegari, Andrea Omicini Cited in: 0 Publications Related Software: B-Prolog; Ciao; SICStus; SWI-Prolog; XSB; Kotlin; … Main Fields: –
redpl.pl Software Authors: Ásványi, Tibor Cited in: 1 Publication (1998) Related Software: SICStus Main Fields: Computer science (68-XX)