×

Found 15 Software Packages (Results 1–15)

AIM@SHAPE

Cited in 17 Documents (2008–2020)
Software Authors:
Related Software: PcGets; ABC4EFT; CHOLMOD; …
Main Fields: General and overarching topics; collections (00-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …

DeLorean

Cited in 13 Documents (2009–2017)
Software Authors:
Related Software: Fuzzydl; FaCT++; pg4DB; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

DL-learner

Cited in 9 Documents (2009–2022)
Software Authors: Jens Lehmann
Related Software: FOIL; ElemStatLearn; BayesOWL; …
Main Fields: Computer science (68-XX)

RacerPro

Cited in 6 Documents (2014–2021)
Software Authors: Haarslev, V., Hidde, K., Möller, R., Wessel, M.
Related Software: HermiT; Racer; Pellet; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

NoHR

Cited in 5 Documents (2015–2019)
Software Authors: Lopes, Carlos; Knorr, Matthias; Leite, João
Related Software: Konclude; ELK; HermiT; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

CDAOstore

Cited in 3 Documents (2011–2016)
Software Authors: Chisham, Brandon; Pontelli, Enrico; Son, Tran Cao; Wright, Ben
Related Software:
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

FAME

Cited in 4 Documents (2018–2022)
Software Authors: Zhao, Yizheng; Schmidt, Renate A.
Related Software: ELK; Protege-TS; Evonne; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Orange4WS

Cited in 3 Documents (2016–2019)
Software Authors: V. Podpečan, M. Zemenova, N. Lavrač
Related Software: Orange; WEKA; SimRank; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

DRAGO

Cited in 2 Documents (2009–2014)
Software Authors: L. Serafini, A. Tamilin
Related Software: Racer; FaCT++; Pellet; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Fr-ONT

Cited in 2 Documents (2016–2019)
Software Authors: Agnieszka Lawrynowicz; Jedrzej Potoniec
Related Software: KEGG; Aleph; SimRank; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

EvoOnt

Cited in 0 Documents
Software Authors: Christoph Kiefer, Abraham Bernstein, Jonas Tappolet
Related Software: SEQUEL; iSPARQL; GitHub; …
Main Fields:

LETHE

Cited in 1 Document (2019)
Software Authors: Koopmann, P., Schmidt, R.A.
Related Software: FAME; BioPortal
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MoMo

Cited in 1 Document (2007)
Software Authors: Ovchinnikova, Ekaterina; Richter, Frank
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mathematics education (97-XX)

SHACL

Cited in 1 Document (2022)
Software Authors: Bogaerts, Bart; Jakubowski, Maxime; Van den Bussche, Jan
Related Software:
Main Fields: Computer science (68-XX)

Eddy

Cited in 0 Documents
Software Authors: OBDA Systems; Lembo, Domenico; Pantaleone, Daniele; Santarelli, Valerio; Savo, Domenico Fabio
Related Software:
Main Fields:

Filter Results by …

all top 5

Related Software

all top 3

Main Field