×

Found 8 Software Packages (Results 1–8)

CCalc

Software Authors:   Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson
Referenced in: 74 Publications (2003–2021)
Related Software: Smodels; GOLOG; Coala; PDDL; Society Visualiser; NuSMV; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Racer

Software Authors:   Volker Haarslev, Kay Hidde, Ralf Möller, Michael Wessel
Referenced 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)

BL2D-V2

Software Authors:   Patrick Laug; Houman Borouchaki; INRIA Rocquencourt
Referenced in: 43 Publications (1998–2022)
Related Software: ANGENER; bamg; ABAQUS/Explicit; ABAQUS; A-SLEIPNNIR; libMesh; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

DeReS

Software Authors:   Cholewinski, P., Marek, V., Truszczynski, M.
Referenced in: 2 Publications (2019–2021)
Related Software: Datalog; CUDA; dl2asp; fCube; MiniSat; ILTP
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

dl2asp

Software Authors:   Chen, Yin; Wan, Hai; Zhang, Yan; Zhou, Yi
Referenced in: 3 Publications (2010–2021)
Related Software: DeReS; CUDA; Lparse
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

ChainRules.jl

Software Authors:   Lyndon White; Miha Zgubic; Michael Abbott; Jarrett Revels; Alex Arslan; Seth Axen; Simeon Schaub; Nick Robinson; Yingbo Ma; Gaurav Dhingra; willtebbutt; Niklas Heim; Andrew David Werner Rosemberg; Niklas Schmitz; Christopher Rackauckas; David Widmann; Rainer Heintzmann; frankschae; Keno Fischer; Alex Robson; mattBrzezinski; Andrei Zhabinski; Mathieu Besançon; Pietro Vertechi; Shashi Gowda; Andrew Fitzgibbon; Carlo Lucibello; Curtis Vogt; Dhairya Gandhi; Fernando Chorney
Referenced in: 0 Publications
Related Software: NumPy; Makie.jl; AutoHOOT; ChainRulesCore; TeNPy; TensorNetwork; …
Main Fields:

DARR

Software Authors:   Lupea, Mihaiela
Referenced in: 1 Publication (2002)
Related Software:
Main Fields: Computer science (68-XX)

FOLD-R++

Software Authors:   Wang, Huaduo; Gupta, Gopal
Referenced in: 1 Publication (2022)
Related Software: C4.5; QuickFOIL; nFOIL; sCASP; kFOIL; XGBoost; …
Main Fields: Computer science (68-XX)