×

Found 145 Software Packages (Results 1–100)

Datalog

Software Authors:   Ceri, S., Gottlob, G., Tanca, L
Referenced in: 280 Publications (1978–2022)
Related Software: ASSAT; Gringo; Clingo; WASP; Smodels; DLV; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

GOLOG

Software Authors:   Levesque, Hector J.; Reiter, Raymond; Lespérance, Yves; Lin, Fangzhen; Scherl, Richard B.
Referenced in: 157 Publications (1996–2022)
Related Software: ConGolog; AgentSpeak; METATEM; Graphplan; Jason; CCalc; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

XSB

Software Authors:   Sagonas, K.F., Swift, T., Warren, D.S., Freire, J., Rao, P.
Referenced in: 134 Publications (1995–2022)
Related Software: YAP-Prolog; Smodels; B-Prolog; OPTYap; SICStus; Datalog; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

SETHEO

Software Authors:   Letz, R.; Schumann, J.; Bayerl, S.; Bibel, W.
Referenced in: 114 Publications (1990–2021)
Related Software: TPTP; OTTER; SPASS; E-SETHEO; SATCHMO; VAMPIRE; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

SICStus

Software Authors:   Mats Carlsson, Per Mildner
Referenced in: 91 Publications (1992–2022)
Related Software: SWI-Prolog; Prolog; Ciao; XSB; Oz; CPLEX; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Statistics (62-XX)

ProbLog

Software Authors:   Renkens, Joris; Van Den Broeck, Guy; Nijssen, Siegfried
Referenced in: 103 Publications (2007–2022)
Related Software: PRISM; PITA; CP-logic; Church; BLOG; YAP-Prolog; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

SATCHMO

Software Authors:   Manthey, R., Bry, F.
Referenced in: 90 Publications (1988–2021)
Related Software: TPTP; OTTER; SETHEO; SPASS; Mace4; FINDER; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX)

Prolog

Software Authors:   Daniel Diaz
Referenced in: 56 Publications (1984–2020)
Related Software: SICStus; CHIP; Twelf; SWI-Prolog; XSB; wamcc; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

BABEL

Software Authors:   Mario Rodriguez-Artalejo
Referenced in: 69 Publications (1988–2013)
Related Software: Kernel-LEAF; TOY; Curry; ECCE; PAKCS; Miranda; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

ECCE

Software Authors:   Leuschel, M., Martens, B. and De Schreye, D
Referenced in: 62 Publications (1998–2022)
Related Software: DPPD; LOGEN; Mercury; BABEL; TOY; Ciao; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

TOY

Software Authors:   F. J. López Fraguas, J. Sánchez Hernández
Referenced in: 56 Publications (2001–2022)
Related Software: BABEL; PAKCS; Haskell; Curry; Kernel-LEAF; Maude; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MPTP 0.2

Software Authors:   Urban, Josef
Referenced in: 51 Publications (2006–2021)
Related Software: Mizar; E Theorem Prover; VAMPIRE; TPTP; MaLARea; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SWI-Prolog

Software Authors:   Wielemaker, J., Schrijvers, T., Triska, M., Lager, T.
Referenced in: 47 Publications (2001–2022)
Related Software: SICStus; ProbLog; B-Prolog; XSB; Aleph; YAP-Prolog; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Manifolds and cell complexes (57-XX)

CiaoPP

Software Authors:   Hermenegildo M. V., Bueno F., Puebla G., Lopez P.
Referenced in: 47 Publications (1999–2022)
Related Software: Ciao; SICStus; Mercury; z3; RAHFT; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

YAP-Prolog

Software Authors:   Vítor Santos Costa, Luís Damas, Rogério Reis, Rúben Azevedo
Referenced in: 44 Publications (1999–2022)
Related Software: XSB; ProbLog; B-Prolog; SICStus; SWI-Prolog; Aleph; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Computer science (68-XX)

GHC

Software Authors:   Ueda, Kazunori
Referenced in: 36 Publications (1986–2014)
Related Software: PARLOG; Kima; Haskell; LMNtal; Esterel; Janus; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

CLAM

Software Authors:   Bundy, A., van Harmelen, F., Horn, C.
Referenced in: 39 Publications (1989–2021)
Related Software: Oyster; Nuprl; HOL; Isabelle; InKa; NQTHM; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

leanTAP

Software Authors:   Beckert, Bernhard; Posegga, Joachim
Referenced in: 39 Publications (1994–2021)
Related Software: SETHEO; TPTP; ModLeanTAP; SATCHMO; leanCoP; CondLean; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

PARLOG

Software Authors:   Clark, Keith; Gregory, Steve
Referenced in: 36 Publications (1984–1993)
Related Software: GHC; NARROWER; Haskell; SICStus; Janus; PVM; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

NRL

Software Authors:   Meadows, Catherine
Referenced in: 29 Publications (1996–2018)
Related Software: Maude; AVISPA; OFMC; Maude-NPA; Casper; ProVerif; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

FOIL

Software Authors:   J. R. Quinlan; R. M. Cameron-Jones
Referenced in: 19 Publications (1991–2021)
Related Software: C4.5; GOLEM; UCI-ml; CMAR; Aleph; ProbLog; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Statistics (62-XX)

leanCoP

Software Authors:   Jens Otten
Referenced in: 31 Publications (2001–2021)
Related Software: TPTP; VAMPIRE; FEMaLeCoP; E Theorem Prover; MaLeCoP; ileanCoP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ARMC

Software Authors:   Andreas Podelski, Andrey Rybalchenko
Referenced in: 25 Publications (2007–2020)
Related Software: SLAM; TRACER; Dagger; VeriMAP; z3; HSF; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PAKCS

Software Authors:   M. Hanus, S. Antoy, B. Braßel, M. Engelke, K. Höppner, J. Koj, P. Niederau, R. Sadre, F. Steiner
Referenced in: 25 Publications (1994–2020)
Related Software: TOY; Curry; Haskell; BABEL; KiCS2; Kernel-LEAF; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SETL

Software Authors:   Schwartz, J. T.; Dewar, R. B. K.; Dubinsky, E.; Schonberg, E.
Referenced 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)

Lugares

Software Authors:   Botana, F.; Valcarce, J.L.
Referenced in: 17 Publications (2002–2019)
Related Software: CoCoA; Cinderella; GEX; Mathematica; Geometer's Sketchpad; SageMath; …
Main Fields: Commutative algebra (13-XX); Geometry (51-XX); Differential geometry (53-XX)

NP-SPEC

Software Authors:   Cadoli, Marco; Ianni, Giovambattista; Palopoli, Luigi; Schaerf, Andrea; Vasile, Domenico
Referenced in: 20 Publications (1999–2010)
Related Software: Smodels; GraphBase; ESRA; Gringo; Chaff; PBS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Centaur

Software Authors:   Borras, P., Clément, D., Despeyroux, Th., Incerpi, J., Kahn, G., Lang, B., Pascual, V
Referenced in: 18 Publications (1991–2019)
Related Software: K Prover; Coq; Maude; ML; MMT; JavaFAN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ModLeanTAP

Software Authors:   Beckert, Bernhard; Goré, Rajeev
Referenced in: 19 Publications (1998–2019)
Related Software: leanTAP; KLMLean; Coq; MSPASS; CondLean; SETHEO; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

B-Prolog

Software Authors:   Afany Software
Referenced in: 16 Publications (2001–2018)
Related Software: XSB; SICStus; YAP-Prolog; SWI-Prolog; Gecode; Prolog; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

TABLEAUX

Software Authors:   Catach, Laurent
Referenced in: 18 Publications (1991–2016)
Related Software: Pesca; KRIPKE; Imogen; IntHistGC; ileanCoP; LoTREC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Teyjus

Software Authors:   Nadathur, G., Mitchell, D.J.
Referenced in: 17 Publications (2001–2022)
Related Software: Twelf; Abella; Isabelle/HOL; Coq; Beluga; ELPI; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

METEOR

Software Authors:   O. L. Astrachan; D. W. Loveland
Referenced in: 11 Publications (1991–2004)
Related Software: SETHEO; OTTER; PARTHEO; PARTHENON; RRL; TPTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Dyna

Software Authors:   Jason Eisner; Eric Goldlust; Noah A. Smith; Filardo, N. W.
Referenced in: 13 Publications (2008–2022)
Related Software: ProbLog; kProbLog; PRISM; Datalog; BLOG; Church; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

Qu-Prolog

Software Authors:   Clark, Keith; Robinson, Peter J.; Hagen, Richard
Referenced in: 12 Publications (1992–2006)
Related Software: Ergo 6; KQML; LAILA; PVS; Isabelle; Freshml; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

FPROLOG

Software Authors:   Martin, T.P.; Baldwin, J.F.; Pilsworth, B.W.
Referenced 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)

HYPROLOG

Software Authors:   Christiansen, Henning; Dahl, Veronica
Referenced 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)

LOGEN

Software Authors:   Leuschel, M.; Jörgensen, J.
Referenced in: 14 Publications (1999–2020)
Related Software: ECCE; DPPD; PPL; XSB; Mercury; Ciao; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

THF0

Software Authors:   Benzmüller, Christoph; Rabe, Florian; Sutcliffe, Geoff
Referenced in: 14 Publications (2008–2019)
Related Software: TPTP; E Theorem Prover; Isabelle/HOL; LEO-II; Satallax; TPS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

DASWAM

Software Authors:   Shen, Kish
Referenced in: 13 Publications (1996–2011)
Related Software: CiaoPP; Ciao; Mercury; wamcc; Prolog; YAP-Prolog; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

OPTYap

Software Authors:   Rocha, Ricardo; Silva, Fernando; Costa, Vítor Santos
Referenced in: 12 Publications (2001–2018)
Related Software: XSB; YapTab; YapOr; YAP-Prolog; OpenRuleBench; CAT; …
Main Fields: Computer science (68-XX)

MleanCoP

Software Authors:   Otten, Jens
Referenced in: 12 Publications (2014–2021)
Related Software: TPTP; QMLTP; leanCoP; nanoCoP; Isabelle/HOL; VAMPIRE; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

FLORA

Software Authors:   Yang, Guizhen; Kifer, Michael
Referenced in: 10 Publications (2000–2006)
Related Software: XSB; TRIPLE; HiLog; KQML; DAML+OIL
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Interrogator

Software Authors:   Jonathan K Millen
Referenced in: 8 Publications (1998–2013)
Related Software: PVS; Isabelle/HOL; OFMC; HOL; Isar; ML; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

wamcc

Software Authors:   Daniel Diaz
Referenced in: 11 Publications (1996–2016)
Related Software: Mercury; Prolog; SICStus; Python; CiaoPP; Ciao; …
Main Fields: Computer science (68-XX)

BEE

Software Authors:   Metodi, Amit; Codish, Michael
Referenced in: 8 Publications (2012–2022)
Related Software: Traces; nauty; MiniSat; OEIS; Glucose; GenerateUHG; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

clpfd

Software Authors:   Triska, Markus
Referenced in: 5 Publications (2014–2019)
Related Software: SWI-Prolog; XSB; SICStus; Prolog; jPET; ATGen; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CondLean

Software Authors:   Olivetti, Nicola; Pozzato, Gian Luca
Referenced in: 8 Publications (2003–2021)
Related Software: leanTAP; KLMLean; VINTE; NESCOND; ModLeanTAP; Prolog; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PALS

Software Authors:   Villaverde, K.; Pontelli, E.; Guo, H.; Gupta, G.
Referenced in: 9 Publications (2001–2016)
Related Software: YapOr; YAP-Prolog; pCMALib; MOCell; CEC 05; DREAM; …
Main Fields: Partial differential equations (35-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX)

CodeQuest

Software Authors:   Hajiyev, Elnar; Verbaere, Mathieu; De Moor, Oege
Referenced in: 4 Publications (2007–2013)
Related Software: AspectJ; JHotDraw; XSB; Mondrian; Checkstyle; IntensiVE; …
Main Fields: Computer science (68-XX)

DLog

Software Authors:   Lukácsy, Gergely; Szeredi, Péter
Referenced in: 7 Publications (2008–2019)
Related Software: Pellet; OntoDLV; PR-OWL; leanTAP; KL-ONE; Konclude; …
Main Fields: Computer science (68-XX)

MCINTYRE

Software Authors:   Riguzzi, F.
Referenced in: 7 Publications (2015–2019)
Related Software: ProbLog; PITA; CP-logic; PRISM; cplint; SWI-Prolog; …
Main Fields: Computer science (68-XX)

nanoCoP

Software Authors:   Otten, J.
Referenced in: 8 Publications (2016–2021)
Related Software: leanCoP; TPTP; FEMaLeCoP; MleanCoP; E Theorem Prover; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PARTHENON

Software Authors:   Bose, Soumitra; Clarke, Edmund M.; Long, David E.; Michaylov, Spiro
Referenced in: 5 Publications (1989–2004)
Related Software: METEOR; SETHEO; Aquarius; OTTER; PARTHEO; Roo; …
Main Fields: Computer science (68-XX)

Prosper

Software Authors:   Levente Hunyadi
Referenced in: 7 Publications (2007–2010)
Related Software: PROSPER; HOL Light; HOL; ML; Cambridge LCF; ProofPower; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Computer science (68-XX)

AxiomCalc

Software Authors:   Baldi, Paolo; Ciabattoni, Agata; Spendier, Lara
Referenced in: 7 Publications (2012–2017)
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)

BioSPI

Software Authors:   –
Referenced in: 7 Publications (2004–2011)
Related Software: PRISM; MGS; Psim; P-Lingua; Dizzy; BioModels; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

CAT

Software Authors:   Demoen, Bart; Sagonas, Konstantinos
Referenced in: 7 Publications (1999–2019)
Related Software: XSB; YAP-Prolog; YapTab; OPTYap; YapOr; SWI-Prolog; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CS-Prolog

Software Authors:   Kawamura, Toshio; Ohwada, Hayato; Mizoguchi, Fumio
Referenced in: 7 Publications (1988–2002)
Related Software: Prolog; CiaoPP; Ciao; PVM; SICStus; Linda
Main Fields: Computer science (68-XX)

linTAP

Software Authors:   Mantel, H., Otten, J.
Referenced in: 7 Publications (1999–2019)
Related Software: llprover; Lolli; TPTP; leanTAP; ILLTP; Sympli; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

LPTP

Software Authors:   Stärk, Robert F.
Referenced in: 6 Publications (1998–2016)
Related Software: AsmL; ML; XSB; HeerHugo; Chaff; SATO; …
Main Fields: Computer science (68-XX)

PROTOS-L

Software Authors:   Beierle, Christoph
Referenced in: 7 Publications (1990–1996)
Related Software: Prolog
Main Fields: Computer science (68-XX)

Rfuzzy

Software Authors:   Susana Munoz-Hernandez, Victor Pablos Ceruelo, Hannes Strass
Referenced in: 4 Publications (2011–2019)
Related Software: XPath; FRIL; WordNet; Likelog; XQuery; ML
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

Tac

Software Authors:   Baelde, David; Miller, Dale; Snow, Zachary
Referenced in: 7 Publications (2007–2012)
Related Software: Abella; Bedwyr; Twelf; Automath; HYBRID; Prolog; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

YapOr

Software Authors:   Ricardo Rocha; Fernando Silva; Vítor Santos Costa
Referenced in: 7 Publications (2001–2016)
Related Software: YAP-Prolog; PALS; YapTab; OPTYap; CAT; XSB; …
Main Fields: Computer science (68-XX)

Ergo 6

Software Authors:   Utting, Mark; Robinson, Peter; Nickson, Ray
Referenced in: 6 Publications (1997–2003)
Related Software: Qu-Prolog; CADP; Salsa; Maude; E-LOTOS; PVS; …
Main Fields: Computer science (68-XX)

I-SATCHMO

Software Authors:   He, Lifeng
Referenced in: 5 Publications (2001–2009)
Related Software: SATCHMO; SATCHMOREBID; TPTP; R-SATCHMO; IDV; SRASS; …
Main Fields: Computer science (68-XX)

kLog

Software Authors:   Frasconi, Paolo; Costa, Fabrizio; De Raedt, Luc; De Grave, Kurt
Referenced in: 6 Publications (2014–2022)
Related Software: ProbLog; PyTorch; Aleph; PRISM; kFOIL; Dyna; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

NAXPERT

Software Authors:   Schulze, Klaus; Cryer, Collin W.
Referenced in: 6 Publications (1988–2000)
Related Software: ODEXPERT; Slatec; NAG; LAPACK; PDEQSOL; ObjectMath; …
Main Fields: General and overarching topics; collections (00-XX); Ordinary differential equations (34-XX); Statistics (62-XX)

ALE

Software Authors:   Carpenter, B., G. Penn
Referenced in: 3 Publications (1992–2005)
Related Software: Grammar Matrix; LKB
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

JavaLog

Software Authors:   Amandi, Anal\'{\i}a; Campo, Marcelo; Zunino, Alejandro
Referenced in: 3 Publications (2002–2007)
Related Software: GOLOG; Oz; METATEM; Mozart; SHOP2; Graphplan; …
Main Fields: Computer science (68-XX)

KLMLean

Software Authors:   Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca
Referenced in: 5 Publications (2007–2021)
Related Software: CondLean; leanTAP; ModLeanTAP; VINTE; NESCOND; CSLLean
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

kProbLog

Software Authors:   Orsini, Francesco; Frasconi, Paolo; De Raedt, Luc
Referenced in: 5 Publications (2016–2021)
Related Software: ProbLog; Dyna; BLOG; PRISM; kFOIL; FPsolve; …
Main Fields: Computer science (68-XX)

NESCOND

Software Authors:   Olivetti, Nicola; Pozzato, Gian Luca
Referenced in: 5 Publications (2014–2021)
Related Software: VINTE; CondLean; KLMLean; leanTAP; Gen2sat; KEMS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

NoHR

Software Authors:   Lopes, Carlos; Knorr, Matthias; Leite, João
Referenced 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)

Pengines

Software Authors:   Lager, Torbjörn; Wielemaker, Jan
Referenced in: 5 Publications (2014–2019)
Related Software: SWI-Prolog; R; Real; STRING; proSQLite; YAP-Prolog; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

Rules2CP

Software Authors:   François Fages, Julien Martin
Referenced in: 2 Publications (2009–2011)
Related Software: SPIN; ntccSim; Ntccrt; OpenMusic; Gelisp; Essence; …
Main Fields: Computer science (68-XX)

tptp2X

Software Authors:   Sutcliffe, Geoff; Suttner, Christian
Referenced in: 3 Publications (1998–2006)
Related Software: HR; MathWeb; Mace4; OTTER; GRAFFITI; OEIS; …
Main Fields: Number theory (11-XX); Computer science (68-XX)

Alcove

Software Authors:   Olarte, Carlos; Pimentel, Elaine; Rueda, Camilo
Referenced in: 4 Publications (2018–2021)
Related Software: Quipper; HYBRID; Coq; Featherweight Java; Mezzo; Rodin
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CatLog3

Software Authors:   Morrill, Glyn
Referenced in: 4 Publications (2019–2021)
Related Software: Lolli; Grail; LinearOne; GitHub
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CDAOstore

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

CHR

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

CSLLean

Software Authors:   Alenda, R., Olivetti, N., Pozzato, G.L.
Referenced in: 4 Publications (2010–2016)
Related Software: KLMLean; CondLean; leanTAP; CSymLean
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

DR-Prolog

Software Authors:   Antonis Bikakis; Constantinos Papatheodorou; Grigoris Antoniou
Referenced in: 2 Publications (2019)
Related Software: DELORES; LegalRuleML; swrl
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

GENA

Software Authors:   –
Referenced in: 4 Publications (1998–2010)
Related Software: Coq; Cibai; BoogiePL; CiaoPP; Ciao; TVLA; …
Main Fields: Computer science (68-XX)

PRESS

Software Authors:   Sterling, Leon; Bundy, Alan; Byrd, Lawrence; O’Keefe, Richard; Silver, Bernard
Referenced in: 3 Publications (1982–1989)
Related Software: MACSYMA; INT
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

PROLEG

Software Authors:   Satoh, K., Asai, K., Kogawa, T., Kubota, M., Nakamura, M., Nishigai, Y., Shirakawa, K., Takano, C.
Referenced 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
Referenced 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)

CHR.js

Software Authors:   Falco Nogatz; Thom Frühwirth; Dietmar Seipel
Referenced in: 2 Publications (2020)
Related Software: FACTORIE; PAKCS; Church; FlatCurry; EasyCheck; KiCS2; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

DWAM

Software Authors:   Rajasekar, A. and Yusuf, H
Referenced in: 3 Publications (2002–2003)
Related Software: SATCHMOREBID; DCTP; I-SATCHMO; SATCHMO
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

GLIMPSE

Software Authors:   David E. Wolstenholme; Carl M. O'Brien; John A. Nelder
Referenced in: 2 Publications (1992–2004)
Related Software: GLIM; TAXSY; GenStat
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

MDGs

Software Authors:   Zhou Z, Boulerice N
Referenced in: 2 Publications (2009–2013)
Related Software: HOL; ML; Caduceus; Bandera; Why3; KRAKATOA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MYDDAS

Software Authors:   Soares, T., Ferreira, M., Rocha, R.
Referenced in: 2 Publications (2006–2007)
Related Software: Spatial-Yap; YAP-Prolog; Aleph; FOIL-D
Main Fields: Computer science (68-XX)

PreDeLo

Software Authors:   Giordano, L., Gliozzi, V., Jalal, A., Olivetti, N. and Pozzato, G.L
Referenced in: 2 Publications (2015)
Related Software: DysToPic; leanTAP
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PrologCheck

Software Authors:   Amaral, Cláudio; Florido, Mário; Santos Costa, Vítor
Referenced in: 2 Publications (2014–2017)
Related Software: K Prover; Nominal Isabelle; PoplMark; PLT Redex; K tool; SmallCheck; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

proSQLite

Software Authors:   Canisius, Sander; Angelopoulos, Nicos; Wessels, Lodewyk
Referenced in: 2 Publications (2016–2019)
Related Software: Real; STRING; SWI-Prolog; Pengines; YAP-Prolog; R; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

sprfn

Software Authors:   Plaisted, David A.; Potter, Richard C.
Referenced in: 3 Publications (1988–1993)
Related Software: NQTHM; Nuprl; HOL; Isabelle/ZF; Isabelle; Coq
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Subsumer

Software Authors:   Santos, Jose; Muggleton, Stephen
Referenced in: 2 Publications (2010–2015)
Related Software: Aleph; ProGolem
Main Fields: Computer science (68-XX)

Datafun

Software Authors:   Arntzenius, Michael; Krishnaswami, Neelakantan R.
Referenced in: 2 Publications (2016–2022)
Related Software: Hakaru; TOY; Church; Mercury; PITA; PFLP; …
Main Fields: Computer science (68-XX)

Epilog

Software Authors:   Porto, A.
Referenced in: 2 Publications (1990–2020)
Related Software: EpilogJS; JavaScript
Main Fields: Computer science (68-XX)