×

Found 11 Software Packages (Results 1–11)

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)

QUBE

Software Authors:   Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Cited in: 26 Publications (2001–2018)
Related Software: QuBE++; Quaffle; Chaff; semprop; DepQBF; MiniSat; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX)

HYPROLOG

Software Authors:   Christiansen, Henning; Dahl, Veronica
Cited in: 14 Publications (2005–2012)
Related Software: SCIFF; Smodels; PRISM; Binder; CHR; ACORDA; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

MEDLAR

Software Authors:   Bruno Buchberger, Joachim Pfalzgraf, Karel Stokkermans, Wolfgang Gehrke, Viorica Sofronie
Cited in: 14 Publications (1995–2013)
Related Software: Maple; Juno-2; BVPh; Epsilon; GEX
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

CHR

Software Authors:   Christian Holzbaur, Tom Schrijvers, Tom Schrijvers
Cited in: 4 Publications (2002–2018)
Related Software: Haskell; SCIFF; ACORDA; HYPROLOG; SWI-Prolog; XSB; …
Main Fields: Computer science (68-XX)

ToyElim

Software Authors:   Wernhard, C.
Cited in: 2 Publications (2012–2013)
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Elvira

Software Authors:   Andrés Cano
Cited in: 2 Publications (2008–2011)
Related Software: Netica; HUGIN; MSBNx; GeNIe; JavaBayes; Bayesia; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ProofWriter

Software Authors:   Oyvind Tafjord, Bhavana Dalvi Mishra, Peter Clark
Cited in: 1 Publication (2022)
Related Software: Transformers; RuleTaker; BLEURT; BERT; multiPRover; z3; …
Main Fields: Mathematical logic and foundations (03-XX)

LETHE

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

RankPL

Software Authors:   Rienstra, Tjitze
Cited in: 1 Publication (2017)
Related Software: Venture; Figaro; Church
Main Fields: Computer science (68-XX)

Gillian

Software Authors:   José Fragoso Santos, Petar Maksimović, Sacha-Élie Ayoun, Philippa Gardner
Cited in: 0 Publications
Related Software:
Main Fields: