KEGG Software Authors: Minoru Kanehisa; Susumu Goto Cited in: 194 Publications (2003–2022) Related Software: Bioconductor; R; UniProt; MetaCyc; Cytoscape; Reactome; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)
Oz Software Authors: Henz, M., Smolka, G., and Würtz, J. Cited in: 108 Publications (1994–2022) Related Software: CHIP; Mozart; CLAIRE; CPLEX; SALSA; SICStus; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
OMDoc Software Authors: Kohlhase, Michael Cited in: 88 Publications (2001–2021) Related Software: Coq; MMT; Mizar; ActiveMath; Isabelle/HOL; Automath; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)
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)
MMT Software Authors: Florian Rabe Cited in: 51 Publications (2009–2022) Related Software: OMDoc; QMT; Coq; Isabelle; Mizar; HOL Light; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)
FRIL Software Authors: Baldwin, J. F.; Martin, T. P.; Pilsworth, B. W. Cited in: 37 Publications (1987–2020) Related Software: Likelog; FPROLOG; XPath; XQuery; Ciao; Rfuzzy; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)
PersistenceImages Software Authors: Henry Adams, Sofya Chepushtanova, Tegan Emerson, Eric Hanson, Michael Kirby, Francis Motta, Rachel Neville, Chris Peterson, Patrick Shipman, Lori Ziegelmeier Cited in: 42 Publications (2016–2022) Related Software: GitHub; Ripser; PHAT; Scikit; Gudhi; Persistence Landscape; … Main Fields: Algebraic topology (55-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
KL-ONE Software Authors: Baader, Franz; Sattler, Ulrike Cited in: 36 Publications (2001–2020) Related Software: FaCT++; Racer; Pellet; MSPASS; E Theorem Prover; MetTeL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PRISM Software Authors: Sato, T., Kameya, Y. Cited in: 41 Publications (2006–2022) Related Software: ProbLog; CP-logic; PITA; BLOG; Church; IBAL; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)
Prodigy Software Authors: Carbonell, J., Blythe, J., Etzioni, O., Gil, Y., Joseph, R., Kahn, D., Knoblock, C., Minton, S., Pérez, M.A., Reilly, S., Veloso, M., Wang, X. Cited in: 24 Publications (1992–2019) Related Software: UCPOP; Graphplan; KQML; Bliksem; Waldmeister; SPASS; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
SMOTEBoost Software Authors: Barnan Das; Nitesh V. Chawla, Aleksandar Lazarevic, Lawrence O. Hall, Kevin W. Bowyer Cited in: 28 Publications (2004–2022) Related Software: SMOTE; UCI-ml; JStatCom; AdaCost; MWMOTE; KEEL; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
DLV Software Authors: Grasso, Giovanni; Iiritano, Salvatore; Leone, Nicola; Ricca, Francesco Cited in: 29 Publications (2001–2021) Related Software: WASP; Gringo; Cmodels; Datalog; ASSAT; clasp; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
SETL Software Authors: Schwartz, J. T.; Dewar, R. B. K.; Dubinsky, E.; Schonberg, E. Cited in: 27 Publications (1986–2021) Related Software: Z; JSetL; Referee; AEtnaNova; MiniZinc; seL4; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); General algebraic systems (08-XX)
Euk-PLoc Software Authors: Shen, H. -B.; Yang, J.; Chou, K. -C. Cited in: 19 Publications (2007–2019) Related Software: Euk-mPLoc; Cell-PLoc; Hum-PLoc; Hum-mPLoc; Virus-ploc; iLoc-Virus; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Hum-PLoc Software Authors: Chou KC, Shen HB Cited in: 22 Publications (2007–2019) Related Software: Cell-PLoc; Euk-mPLoc; Euk-PLoc; Hum-mPLoc; Memtype-2L; LIBSVM; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Anasazi Software Authors: Rich Lehoucq; Heidi Thornquist Cited in: 21 Publications (2005–2020) Related Software: PRIMME; SLEPc; ARPACK; PETSc; Trilinos; LAPACK; … Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
QMT Software Authors: Rabe, Florian Cited in: 22 Publications (2012–2022) Related Software: MMT; Mizar; Isabelle; Coq; HOL Light; LATIN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
TRIPLE Software Authors: Sintek, Michael; Decker, Stefan Cited in: 16 Publications (2002–2015) Related Software: SPARQL; Smodels; swrl; XSB; DAML+OIL; RuleML; … Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Astronomy and astrophysics (85-XX)
CP-logic Software Authors: Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice Cited in: 19 Publications (2009–2022) Related Software: ProbLog; PITA; PRISM; MCINTYRE; BLOG; XSB; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
Mozart Software Authors: Peter Van Roy; Seif Haridi Cited in: 15 Publications (1999–2018) Related Software: Oz; CPLEX; CHIP; SICStus; Choco; Haskell; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
GASP Software Authors: Dal Palu, Alessandro; Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco Cited in: 17 Publications (2008–2021) Related Software: Clingo; Gringo; WASP; clasp; ASSAT; OMiGA; … Main Fields: Computer science (68-XX)
MBase Software Authors: Franke, Andreas; Kohlhase, Michael Cited in: 17 Publications (1999–2006) Related Software: TPS; OMEGA; Nuprl; Coq; OMDoc; TRAMP; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Mathematics education (97-XX)
SAINTETIQ Software Authors: Raschia, G.; Mouaddib, N. Cited in: 7 Publications (2002–2018) Related Software: Summary SQL; C4.5; Genocop Main Fields: Computer science (68-XX)
DeLorean Software Authors: – Cited in: 13 Publications (2009–2017) Related Software: Fuzzydl; FaCT++; pg4DB; FPROLOG; FRIL; Ciao; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MEBN Software Authors: Laskey, Kathryn Blackmond Cited in: 11 Publications (2008–2018) Related Software: BLOG; PR-OWL; IBAL; PRISM; BayesOWL; BUGS; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Statistics (62-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)
RESUME Software Authors: Yuval Shahar; Mark A. Musen Cited in: 8 Publications (1997–2018) Related Software: Protege; PhysioToolkit; CloSpan; BIDE; MacRad; Snoop; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
E-KRHyper Software Authors: Pelzer, Björn; Wernhard, Christoph Cited in: 11 Publications (2007–2021) Related Software: E Theorem Prover; E-Darvin; SATCHMO; Darwin; SPASS; VAMPIRE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ezcsp Software Authors: Balduccini, Marcello; Lierler, Yuliya Cited in: 12 Publications (2009–2021) Related Software: Clingo; Clingcon; WASP; DLV2; clasp; Gringo; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
SeqLog Software Authors: Lee, Sau; De Raedt, Luc Cited in: 12 Publications (2004–2011) Related Software: GOLEM; Aleph; PrefixSpan; gSpan; ProGolem; XPath; … Main Fields: Computer science (68-XX)
SPOOK Software Authors: A. Pfeffer, D. Koller, B. Milch, K. Takusagawa Cited in: 11 Publications (2000–2020) Related Software: BLOG; FACTORIE; IBAL; TETRAD; PRISM; MEBN; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Concluder Software Authors: Waldemar W. Koczkodaj Cited in: 12 Publications (1993–2016) Related Software: – Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
WHIRL Software Authors: Cohen, W.W. Cited in: 11 Publications (2000–2015) Related Software: C4.5; XPath; SSE; Dyna; Figaro; PRISM; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
DistilBERT Software Authors: Victor Sanh, Lysandre Debut, Julien Chaumond, Thomas Wolf Cited in: 3 Publications (2021–2022) Related Software: BERT; Transformers; RoBERTa; Python; PyTorch; BLEU; … Main Fields: Computer science (68-XX)
IDP3 Software Authors: Bruynooghe, Maurice; Blockeel, Hendrik; Bogaerts, Bart; De Cat, Broes; De Pooter, Stef; Jansen, Joachim; Labarre, Anthony; Ramon, Jan; Denecker, Marc; Verwer, Sicco Cited in: 9 Publications (2015–2020) Related Software: clasp; WASP; DLV; Clingo; Cmodels; DLV2; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
KnowRob Software Authors: Tenorth, Moritz; Beetz, Michael Cited in: 9 Publications (2016–2020) Related Software: BLOG; BayesOWL; PR-OWL; Church; IBAL; BUGS; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Statistics (62-XX)
MultiNet Software Authors: Hermann Helbig Cited in: 10 Publications (2001–2010) Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX)
plasp Software Authors: Gebser, Martin; Kaminski, Roland; Knecht, Murat; Schaub, Torsten Cited in: 9 Publications (2012–2021) Related Software: PDDL; Clingo; ROSoClingo; Clingcon; WASP; GDL; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
PROMETHEE-MD Software Authors: Halouani, N.; Chabchoub, H.; Martel, J.-M. Cited in: 8 Publications (2009–2018) Related Software: FLINTSTONES; VIKOR; VisualUTA; Scatter Search; BANKADVISER; Decision Lab 2000; … Main Fields: Measure and integration (28-XX); Statistics (62-XX); Computer science (68-XX)
N3Logic Software Authors: Berners-Lee, Tim; Connolly, Dan; Kagal, Lalana; Scharf, Yosi; Hendler, Jim Cited in: 7 Publications (2008–2017) Related Software: MWeb; SPARQL; Smodels; TRIPLE; foaf; Graal; … Main Fields: Computer science (68-XX)
Tweety Software Authors: Thimm, M. Cited in: 9 Publications (2016–2022) Related Software: Clingo; sCASP; ezcsp; Brain Connectivity Toolbox; Adam; MRtrix; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
ALM Software Authors: Daniela Inclezan, Michael Gelfond Cited in: 8 Publications (2012–2020) Related Software: PEORL; VerbNet; CCalc; BWIBots; StanfordCoreNLP; PDDL; … Main Fields: Computer science (68-XX)
ARVis Software Authors: Blanchard, Julien; Guillet, Fabrice; Briand, Henri Cited in: 4 Publications (2007–2018) Related Software: CViz; UCI-ml; DB2; eggNOG; kohonen; rapidminer; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
LeoPARD Software Authors: Wisniewski, Max; Steen, Alexander; Benzmüller, Christoph Cited in: 8 Publications (2015–2021) Related Software: Leo-III; Satallax; TPTP; Isabelle/HOL; Sledgehammer; QMLTP; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
BEACON Software Authors: Arif, M.Fareed; Mencía, Carlos; Ignatiev, Alexey; Manthey, Norbert; Peñaloza, Rafael; Marques-Silva, Joao Cited in: 7 Publications (2016–2022) Related Software: ELK; EL2MCS; HgMUS; PULi; Just; CEL; … Main Fields: Computer science (68-XX)
SALT Software Authors: Marcus, Sandra; McDermott, John Cited in: 5 Publications (1989–2010) Related Software: MOLE; Protege; WordNet; LISP; RESUME; CLIPS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
arXMLiv Software Authors: Deyan Ginev, Constantin Jucovschi, Stefan Anca, Mihai Grigore, Catalin David, Michael Kohlhase Cited in: 6 Publications (2008–2015) Related Software: LaTeXML; LaTeX; ActiveMath; Hermes; Electronic Geometry Textbook; DLMF; … 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)
RacerPro Software Authors: Haarslev, V., Hidde, K., Möller, R., Wessel, M. Cited in: 6 Publications (2014–2021) Related Software: HermiT; Racer; Pellet; Konclude; ELK; FaCT++; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
AmpliGraph Software Authors: Luca Costabello, Sumit Pai, Chan Le Van, Rory McGrath, Nicholas McCarthy Cited in: 2 Publications (2021) Related Software: Pykg2vec; OpenKE; Python; DGL-KE; PyKEEN; PyTorch; … Main Fields: Computer science (68-XX)
Asparagus Software Authors: Christian Anger; Torsten Schaub; Miroslaw Truszczynski Cited in: 3 Publications (2005–2012) Related Software: ASSAT; Runsolver; StarExec; RunLim; VCWC; TPTP; … Main Fields: Computer science (68-XX)
BEEHAVE Software Authors: Becher, M.; Grimm, V.; Thorbek, P.; Horn, J.; Kennedy, P.; Osborne, J. Cited in: 5 Publications (2016–2022) Related Software: BEESCOUT; circular; fields; R; TR-BDF2 Main Fields: Difference and functional equations (39-XX); Integral equations (45-XX); Biology and other natural sciences (92-XX)
FrameNet Software Authors: Baumgartner, Peter; Burchardt, Aljoscha Cited in: 5 Publications (2004–2010) Related Software: – Main Fields: Computer science (68-XX)
HOMER Software Authors: David Hopkins; C. -H. Luke Ong Cited in: 3 Publications (2005–2013) Related Software: SLAM; BLAST; GTRECS2; HECTOR; C-SHORe Main Fields: Computer science (68-XX)
I2T Software Authors: Yao, B.; Yang, X.; Lin, L.; Lee, M. W.; Zhu, S. C. Cited in: 2 Publications (2012–2021) Related Software: Im2Text; DenseCap; PASCAL VOC; ImageNet; VQA; MS-COCO; … Main Fields: Computer science (68-XX)
Nasari Software Authors: Camacho-Collados, José; Pilehvar, Mohammad Taher; Navigli, Roberto Cited in: 5 Publications (2016–2022) Related Software: word2vec; BabelNet; WordNet; AutoExtend; SBERT; VerbNet; … Main Fields: Computer science (68-XX)
NetLSD Software Authors: Anton Tsitsulin, Davide Mottin, Panagiotis Karras, Alex Bronstein, Emmanuel Müller Cited in: 2 Publications (2020–2021) Related Software: Python; PyTorch; SciPy; NumPy; NetworkX; Scikit; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)
NoHR Software Authors: Lopes, Carlos; Knorr, Matthias; Leite, João Cited in: 5 Publications (2015–2019) Related Software: Konclude; ELK; HermiT; Catnap; ArgueApply; Moviola; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
OpenKE Software Authors: Xu Han, Shulin Cao, Xin Lv, Yankai Lin, Zhiyuan Liu, Maosong Sun, Juanzi Li Cited in: 2 Publications (2021) Related Software: Pykg2vec; AmpliGraph; Python; DGL-KE; PyKEEN; PyTorch; … Main Fields: Computer science (68-XX)
Pykg2vec Software Authors: Shih Yuan Yu, Sujit Rokka Chhetri, Arquimedes Canedo, Palash Goyal, Mohammad Abdullah Al Faruque Cited in: 2 Publications (2021) Related Software: OpenKE; AmpliGraph; Python; DGL-KE; PyKEEN; PyTorch; … Main Fields: Computer science (68-XX)
ROSoClingo Software Authors: Andres, Benjamin; Rajaratnam, David; Sabuncu, Orkunt; Schaub, Torsten Cited in: 5 Publications (2015–2021) Related Software: Clingo; Clingcon; WASP; IDP3; DLV; Lparse; … Main Fields: Computer science (68-XX)
DiSL Software Authors: Lukáš Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tůma, Zhengwei Qi Cited in: 2 Publications (2016–2022) Related Software: AspectJ; GitHub; Apache Flink; Savina; Akkaprof Main Fields: Computer science (68-XX)
FLISP Software Authors: Sosnowski, Zenon A. Cited in: 3 Publications (1990–2009) Related Software: FPROLOG; FuzzyCLIPS Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
GIGA Software Authors: Thomas, P. Cited in: 3 Publications (2013–2019) Related Software: Notung; PHYLIP; TreeFix; PAML; PAUP*; RAxML; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
KOJAK Software Authors: Bernd Mohr, Felix Wolf Cited in: 2 Publications (2007–2008) Related Software: OpenUH; TAU; ParaProf; PARAVER; SIMGRID; Jumpshot; … Main Fields: Computer science (68-XX)
LogiKEy Software Authors: Christoph Benzmüller, Xavier Parent, Leendert van der Torre Cited in: 4 Publications (2020–2022) Related Software: Isabelle/HOL; PLM; LegalRuleML; embed_modal; Leo-III; Lean; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PAGOdA Software Authors: Zhou, Yujiao; Grau, Bernardo Cuenca; Nenov, Yavor; Kaminski, Mark; Horrocks, Ian Cited in: 4 Publications (2015–2022) Related Software: Datalog; Polyanna; CEX; MASTRO; Ontop; ContentCVS; … Main Fields: Computer science (68-XX)
PROLEG Software Authors: Satoh, K., Asai, K., Kogawa, T., Kubota, M., Nakamura, M., Nishigai, Y., Shirakawa, K., Takano, C. Cited in: 3 Publications (2012–2020) Related Software: SCIFF; Potassco; ASPIDE Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
REBA Software Authors: Sridharan, Mohan; Gelfond, Michael; Zhang, Shiqi; Wyatt, Jeremy Cited in: 4 Publications (2019–2021) Related Software: PEORL; CCalc; FODD-Planner; Smodels; GitHub; ALM; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
WebODE Software Authors: Corcho, Óscar; Fernández-López, Mariano Author Profile; Gómez-Pérez, Asunción; Vicente, Óscar Cited in: 4 Publications (2002–2008) Related Software: Protege; OntoEdit; OilEd; SUMO; PostgreSQL; Jena; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
WUM Software Authors: Myra Spiliopoulou; Lukas C. Faulstich Cited in: 3 Publications (2002–2010) Related Software: DIAsDEM Main Fields: Statistics (62-XX); Computer science (68-XX)
YAFOOL Software Authors: Roland Ducournau; Joël Quinqueton Cited in: 4 Publications (1998–2011) Related Software: Python; Dylan; Forsythe; Simula 67; Ruby; Commonloops; … Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
BodyParts3D Software Authors: Mitsuhashi, N.; Fujieda, K.; Tamura, T.; Kawamoto, S.; Takagi, T.; Okubo, K. Cited in: 2 Publications (2011–2017) Related Software: gnuplot Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
FEND Software Authors: Zhang, Chaowei; Gupta, Ashish; Kauten, Christian; Deokar, Amit V.; Qin, Xiao Cited in: 3 Publications (2021–2022) Related Software: Tensor2Tensor; XLNet; BERT; GloVe; glmnet Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
FluxSimulator Software Authors: Thomas W. Binsl, Katharine M. Mullen, Ivo H. M. van Stokkum, Jaap Heringa, Johannes H. G. M. van Beek Cited in: 0 Publications Related Software: R; VCNet; edgeR; ARACNE; DEseq; JDINAC; … Main Fields: –
KnowledgeSeeker Software Authors: Lim, Edward H. Y.; Liu, James N. K.; Lee, Raymond S. T. Cited in: 2 Publications (1996–2011) Related Software: Swoogle Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
KReator Software Authors: Finthammer, Marc; Thimm, Matthias Cited in: 3 Publications (2012) Related Software: Alchemy; ProbLog Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MedPost Software Authors: L. Smith; T. Rindflesch; W. J. Wilbur Cited in: 1 Publication (2004) Related Software: GENETAG; TEIRESIAS; C4.5; MALLET; LingPipe Main Fields: Computer science (68-XX)
SUCRAGE Software Authors: Borgi, Amel; Akdag, Herman Cited in: 1 Publication (2001) Related Software: – Main Fields: Computer science (68-XX)
ALASKA Software Authors: Baget, J.-F., Croitoru, M., da Silva, B.P.L. Cited in: 1 Publication (2016) Related Software: Datalog Main Fields: Computer science (68-XX)
AROM Software Authors: Page, Michel; Gensel, J'er^ome; Capponi, C'ecile; Bruley, Christophe; Genoud, Philippe Cited in: 2 Publications (2001–2002) Related Software: – Main Fields: Computer science (68-XX)
BaRT Software Authors: Booker, Lashon B.; Hota, Naveen; Ramsey, Connie Loggia Cited in: 2 Publications (1990–1995) Related Software: – Main Fields: Computer science (68-XX)
CAIN Software Authors: Faucher, Colette Cited in: 2 Publications (2001) Related Software: Objlog+ Main Fields: Computer science (68-XX)
CLIPS Software Authors: Perez-Jimenez, M.J., Romero-Campero, F.J. Cited in: 2 Publications (2005–2007) Related Software: MGS; Maude; WebPS Main Fields: Computer science (68-XX)
DMAP Software Authors: Stockwell, P. A., A. Chatterjee, E. J. Rodger. I. M. Morison Cited in: 2 Publications (2016) Related Software: MethylSig; HMM-Fisher; COHCAP; SAAP-RRBS; MOABS; HMM-DM; … Main Fields: Probability theory and stochastic processes (60-XX); Biology and other natural sciences (92-XX)
Eureka! Software Authors: Manco, Giuseppe; Pizzuti, Clara; Talia, Domenico Cited in: 1 Publication (2002) Related Software: – Main Fields: Computer science (68-XX)
extended_rmcv.m Software Authors: Halbersberg, Dan; Wienreb, Maydan; Lerner, Boaz Cited in: 2 Publications (2020–2021) Related Software: rNPBST; pyDML; LMNN; ORCA; t-SNE; KEEL; … Main Fields: Statistics (62-XX); Computer science (68-XX)
F--MP Software Authors: Yang, Jae Dong Cited in: 2 Publications (1997–2001) Related Software: KernSmooth Main Fields: Computer science (68-XX)
FingerNet Software Authors: Yao Tang, Fei Gao, Jufu Feng, Yuhang Liu Cited in: 2 Publications (2020) Related Software: OpenFinger; SURF; ArrayFire; GitHub; Caffe; SIFT; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
FooCA Software Authors: Koester, B. Cited in: 2 Publications (2011–2014) Related Software: SearchSleuth; CreChainDo; AddIntent; WordNet; CLOSET Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
ICOM Software Authors: Pablo R. Fillottrani; Enrico Franconi; Sergio Tessaris Cited in: 2 Publications (2001–2020) Related Software: KL-ONE; FaCT++ Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ILPME Software Authors: Mitra, Arindam; Baral, Chitta Cited in: 2 Publications (2018–2020) Related Software: SQuARE; VerbNet; Penn Treebank; AQuA; sCASP; MCTest; … Main Fields: Computer science (68-XX)
InterAspect Software Authors: Seyster, Justin; Dixit, Ketan; Huang, Xiaowan; Grosu, Radu; Havelund, Klaus; Smolka, Scott A.; Stoller, Scott D.; Zadok, Erez Cited in: 2 Publications (2012–2021) Related Software: AspectJ; Java-MaC; evt; AspectWerkz; Valgrind; CIL; … Main Fields: Computer science (68-XX)
KERNEL Software Authors: Castellano, G.; Castiello, C.; Fanelli, A.M. Cited in: 2 Publications (2002–2013) Related Software: Matlab; SVM; SURROGATES; LIBSVM Main Fields: Statistics (62-XX); Computer science (68-XX)
KnowLang Software Authors: Vassev, Emil; Hinchey, Mike Cited in: 0 Publications Related Software: – Main Fields: Computer science (68-XX)
MMTTeX Software Authors: Rabe, Florian Cited in: 2 Publications (2019) Related Software: Isabelle; LaTeX; Plat-Omega; Mizar; Isabelle/PIDE; MMT; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
OntoDebug Software Authors: Schekotihin, Konstantin; Rodler, Patrick; Schmid, Wolfgang Cited in: 2 Publications (2018–2022) Related Software: MERGEXPLAIN; Protege; Pellet; QUICKXPLAIN; ELK; HermiT; … Main Fields: Computer science (68-XX)
ProTraS Software Authors: Guillaume, Serge; Ros, Frédéric Cited in: 2 Publications (2020) Related Software: k-means++; Graclus; improved_spectral_community_detection; FLANN; JDQZ; JDQR; … Main Fields: Statistics (62-XX)
SemanticVectors Software Authors: Widdows, D., Ferraro, K. Cited in: 2 Publications (2009–2010) Related Software: NETBOOK; CmapTools Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
SmartCheck Software Authors: Tikhomirov, S., et al. Cited in: 2 Publications (2021) Related Software: Vandal; GitHub; eThor Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)