Gephi Software Authors: M. Bastian, S. Heymann, M. Jacomy Cited in: 58 Publications (2012–2022) Related Software: NetworkX; ForceAtlas2; igraph; R; Cytoscape; Pajek; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-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)
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)
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)
Lifting Software Authors: Brian Huffman, Ondřej Kunčar Cited in: 35 Publications (2013–2023) Related Software: Transfer; Isabelle/HOL; Archive Formal Proofs; Isabelle; HOL; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Ordinary differential equations (34-XX)
Transfer Software Authors: Brian Huffman, Ondřej Kunčar Cited in: 35 Publications (2013–2023) Related Software: Lifting; Isabelle/HOL; Archive Formal Proofs; Isabelle; HOL; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Ordinary differential equations (34-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)
PITA Software Authors: Riguzzi, Fabrizio; Swift, Terrance Cited in: 24 Publications (2010–2022) Related Software: ProbLog; CP-logic; PRISM; MCINTYRE; XSB; Church; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)
TRIPLE Software Authors: Sintek, Michael; Decker, Stefan Cited in: 16 Publications (2002–2015) Related Software: SPARQL; Smodels; XSB; swrl; DAML+OIL; RuleML; … Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Astronomy and astrophysics (85-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)
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)
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)
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)
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)
Tweety Software Authors: Thimm, M. Cited in: 10 Publications (2016–2023) Related Software: DiArg; LARS; Clingo; Brain Connectivity Toolbox; sCASP; ezcsp; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
OntoDLV Software Authors: Ricca, F., Gallucci, L., Schindlauer, R., Dell’armi, T., Grasso, G., Leone, N. Cited in: 8 Publications (2009–2021) Related Software: DLV-EX; Pellet; Lparse; Gringo; PR-OWL; leanTAP; … Main Fields: Computer science (68-XX)
PR-OWL Software Authors: Carvalho, Rommel N.; Laskey, Kathryn B.; Costa, Paulo C.G. Cited in: 9 Publications (2014–2021) Related Software: IBAL; BayesOWL; BLOG; BUGS; MEBN; OntoDLV; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Statistics (62-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)
LNgen Software Authors: Aydemir, B.E., Weirich, S. Cited in: 7 Publications (2011–2021) Related Software: PoplMark; Isabelle/HOL; Nominal Isabelle; Abella; Twelf; Beluga; … Main Fields: Mathematical logic and foundations (03-XX); 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)
Vellvm Software Authors: Zhao, Jianzhou; Nagarakatte, Santosh; Martin, Milo M.K.; Zdancewic, Steve Cited in: 7 Publications (2012–2021) Related Software: Coq; LLVM; GraalVM; GitHub; CompCert; CakeML; … Main Fields: 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)
StrSolve Software Authors: Hooimeijer, P., Weimer, W. Cited in: 6 Publications (2014–2020) Related Software: PASS; Gecode; MiniZinc; HAMPI; S3; Z3-str; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Asparagus Software Authors: Christian Anger; Torsten Schaub; Miroslaw Truszczynski Cited in: 3 Publications (2005–2012) Related Software: ASSAT; TPTP; Runsolver; StarExec; RunLim; VCWC; … Main Fields: Computer science (68-XX)
FrameNet Software Authors: Baumgartner, Peter; Burchardt, Aljoscha Cited in: 5 Publications (2004–2010) Related Software: – Main Fields: Computer science (68-XX)
Kara Software Authors: Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits Cited in: 3 Publications (2012–2019) Related Software: ASPIDE; SeaLion; ASPVIZ; APE; iGROM; onlineSPARC; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Mathematics education (97-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)
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)
THOR Software Authors: Magill, S., Tsai, M.-H., Lee, P., Tsay, Y.-K. Cited in: 4 Publications (2008–2017) Related Software: Smallfoot; HIP; VeriFast; Slide; Infer; coreStar; … Main Fields: Mathematical logic and foundations (03-XX); 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)
Openproof Software Authors: Barker-Plummer, D., Etchemendy, J., Liu, A., Murray, M., Swoboda, N. Cited in: 3 Publications (2011–2019) Related Software: Speedith; Dr.Doodle; Isabelle/HOL; HOL; Isabelle; VAMPIRE; … Main Fields: 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)
DRAGO Software Authors: L. Serafini, A. Tamilin Cited in: 2 Publications (2009–2014) Related Software: Racer; FaCT++; Pellet; CORON Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
GI-log Software Authors: Zhang, Zhizheng; Wang, Bin; Zhang, Shutao Cited in: 3 Publications (2016–2020) Related Software: selp; Clingo; Gringo; Lpopt; htd; WASP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
JavaBayes Software Authors: Fabio Gagliardi Cozman Cited in: 2 Publications (2005–2011) Related Software: HUGIN; MSBNx; GeNIe; Elvira; Netica; Bayesia; … Main Fields: Mathematical logic and foundations (03-XX); 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)
Petri-PDL Software Authors: Braga, Christiano; Lopes, Bruno Cited in: 3 Publications (2016–2018) Related Software: Maude Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
pGOLOG Software Authors: – Cited in: 2 Publications (2001–2003) Related Software: GOLOG; ConGolog; Graphplan Main Fields: Computer science (68-XX)
PLM Software Authors: Daniel Kirchner Cited in: 3 Publications (2020) Related Software: Isabelle/HOL; LogiKEy; LegalRuleML; embed_modal; Leo-III; Lean; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)
SparQ Software Authors: Jan Oliver Wallgrün, Lutz Frommberger, Diedrich Wolter, Frank Dylla, Christian Freksa Cited in: 2 Publications (2011–2020) Related Software: SWI-Prolog; HOL Light; Isabelle/HOL 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)
Vivid Software Authors: Arkoudas, Konstantine; Bringsjord, Selmer Cited in: 3 Publications (2009–2017) Related Software: SNARK; Mizar; Mathematica; Hyperproof; Dr.Doodle; CafePie; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Relativity and gravitational theory (83-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)
CLF Software Authors: Watkins, Kevin; Cervesato, Iliano; Pfenning, Frank; Walker, David Cited in: 2 Publications (2007–2018) Related Software: Nominal Isabelle; Agda; Abella; Isabelle/HOL Main Fields: Mathematical logic and foundations (03-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)
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: VerbNet; SQuARE; Penn Treebank; AQuA; sCASP; MCTest; … Main Fields: Computer science (68-XX)
KnowLang Software Authors: Vassev, Emil; Hinchey, Mike Cited in: 0 Publications Related Software: – Main Fields: Computer science (68-XX)
PIFuHD Software Authors: Shunsuke Saito, Tomas Simon, Jason Saragih, Hanbyul Joo Cited in: 1 Publication (2022) Related Software: PIFu; PyTorch; KinectFusion; VIBE; MS-COCO; BERT; … Main Fields: Computer science (68-XX)
BAG Software Authors: Yu Cao, Meng Fang, Dacheng Tao Cited in: 1 Publication (2023) Related Software: GraphBTM; CoQA; Penn Treebank; OHSUMED; MultiWOZ; KagNet; … Main Fields: Computer science (68-XX)
CRAM Software Authors: Michael Beetz, M Lorenz, Moritz Tenorth Cited in: 1 Publication (2016) Related Software: Orocos Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Systems theory; control (93-XX)
CTML Software Authors: Tonfoni, Graziella Cited in: 1 Publication (2005) Related Software: – Main Fields: Computer science (68-XX)
EDU-EX Software Authors: Domingo, P.; Garc\'{\i}a-Crespo, A.; Ruiz, B.; Iglesias, A. Cited in: 1 Publication (2002) Related Software: – Main Fields: Computer science (68-XX)
ForceReader Software Authors: – Cited in: 0 Publications Related Software: HILDIF; QANet; ERNIE; SQuAD; ContractNLI; ALBERT; … Main Fields: –
HiPER Software Authors: Highland, F. D.; Iwaskiw, C. T. Cited in: 1 Publication (1989) Related Software: PL/I Main Fields: Computer science (68-XX)
JGR-P2O Software Authors: Linpu Fang, Xingyan Liu, Li Liu, Hang Xu, Wenxiong Kang Cited in: 0 Publications Related Software: Hand PointNet; Silhouette-Net; MeshTransformer; SolarGest; V2V-PoseNet; I2L-MeshNet; … Main Fields: –
KB-VISION Software Authors: Liebig, Thorsten; Finkenzeller, Dieter; Luther, Marko Cited in: 1 Publication (2001) Related Software: – Main Fields: Computer science (68-XX)
KNAML Software Authors: Streeter, Gordon; Potter, Andrew Cited in: 1 Publication (2004) Related Software: – Main Fields: Computer science (68-XX)
Lash Software Authors: Brown, Chad E.; Kaliszyk, Cezary Cited in: 1 Publication (2022) Related Software: TPS; Satallax; TPTP Main Fields: Computer science (68-XX)
MeshSDF Software Authors: Edoardo Remelli, Artem Lukoianov, Stephan R. Richter, Benoît Guillard, Timur Bagautdinov, Pierre Baque, Pascal Fua Cited in: 1 Publication (2022) Related Software: ClusterFit; PWC-Net; Flickr30K; MeshLab; Face2Face; PoseCNN; … Main Fields: Computer science (68-XX)
NEAT Software Authors: Kashyap Chitta, Aditya Prakash, Andreas Geiger Cited in: 0 Publications Related Software: Deformable DETR; PolarNet; DETR3D; Pseudo-LiDAR++; FCOS3D; FCOS; … Main Fields: –
Pix2Shape Software Authors: Rajeswar, Sai; Mannan, Fahim; Golemo, Florian; Parent-Lévesque, Jérôme; Vazquez, David; Nowrouzezahrai, Derek; Courville, Aaron Cited in: 1 Publication (2020) Related Software: Make3D; SoftRas; 3D-R2N2; FrameNet; HoloGAN; Wasserstein GAN; … Main Fields: Computer science (68-XX)
Pixel-BERT Software Authors: Zhicheng Huang, Zhaoyang Zeng, Bei Liu, Dongmei Fu, Jianlong Fu Cited in: 1 Publication (2022) Related Software: ClusterFit; PWC-Net; Flickr30K; MeshLab; Face2Face; PoseCNN; … Main Fields: Computer science (68-XX)
RCDC Software Authors: Navarrete, I., Morales, A., Sciavicco, G., Cardenas, M. Cited in: 1 Publication (2013) Related Software: XPath Main Fields: Computer science (68-XX)
Sub2vec Software Authors: B. Adhikari, Y. Zhang, N. Ramakrishnan, B. A. Prakash Cited in: 1 Publication (2021) Related Software: gBoost; MoTeX; graph2vec; LMNN; PrefixSpan; gSpan; … Main Fields: Computer science (68-XX)
TopicFM Software Authors: Khang Truong Giang, Soohwan Song, Sungho Jo Cited in: 0 Publications Related Software: MegaDepth; D2-Net; SuperPoint; GANDissect; GMS; HPatches; … Main Fields: –
UNITER Software Authors: Yen-Chun Chen, Linjie Li, Licheng Yu, Ahmed El Kholy, Faisal Ahmed, Zhe Gan, Yu Cheng, Jingjing Liu Cited in: 0 Publications Related Software: S4L; Axial-DeepLab; VideoBERT; ViLBERT; VisualBERT; GShard; … Main Fields: –
CWJess Software Authors: Khorasani, E.S., Patel, P., Rahimi, S., Houle, D. Cited in: 0 Publications Related Software: – Main Fields: –
KaBOB Software Authors: Livingston, K. M.; Bada, M.; Baumgartner, W. A.; Hunter, L. E. Cited in: 0 Publications Related Software: – Main Fields: –