×

Found 38 Software Packages (Results 1–38)

Abella

Software Authors:   Andrew Gacek
Referenced in: 50 Publications (2008–2022)
Related Software: Twelf; Beluga; Coq; Isabelle/HOL; Bedwyr; PoplMark; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

KL-ONE

Software Authors:   Baader, Franz; Sattler, Ulrike
Referenced 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)

LoTREC

Software Authors:   Gasquet, Olivier; Herzig, Andreas; Longin, Dominique; Sahade, Mohamad
Referenced in: 26 Publications (2001–2021)
Related Software: PVS; MetTeL; MSPASS; TWB; Lotrecscheme; Imogen; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

MSPASS

Software Authors:   Ullrich Hustadt, Renate A. Schmidt
Referenced in: 23 Publications (2000–2021)
Related Software: TPTP; VAMPIRE; E Theorem Prover; SPASS; QMLTP; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

TRIPLE

Software Authors:   Sintek, Michael; Decker, Stefan
Referenced in: 16 Publications (2002–2015)
Related Software: SPARQL; Smodels; swrl; XSB; DAML+OIL; RuleML; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Astronomy and astrophysics (85-XX)

MUltlog

Software Authors:   Gernot Salzer; Vienna Group for Multiple-valued Logics
Referenced in: 19 Publications (1996–2021)
Related Software: JGXYZ; VAMPIRE; Gen2sat; KEMS; MetTeL; NESCOND; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MetTeL

Software Authors:   Tishkovsky, Dmitry; Schmidt, Renate A.; Khodadadi, Mohammad
Referenced in: 15 Publications (2011–2021)
Related Software: LoTREC; KL-ONE; Gen2sat; MSPASS; E Theorem Prover; TPTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CEL

Software Authors:   Baader, F., Lutz, C., Suntisrivaraporn, B.
Referenced in: 13 Publications (2008–2017)
Related Software: Pellet; FaCT++; Racer; HgMUS; ELK; BEACON; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

HTab

Software Authors:   Guillaume Hoffmann; Carlos Areces
Referenced in: 11 Publications (2009–2020)
Related Software: Spartacus; HyLoTab; HGen; HyLoRes; FaCT++; Sibyl; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MASTRO

Software Authors:   Calvanese, D., et al.
Referenced in: 7 Publications (2018–2021)
Related Software: Ontop; SPARQL; HiLog; RDFox; DLV2; Graal; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

N3Logic

Software Authors:   Berners-Lee, Tim; Connolly, Dan; Kagal, Lalana; Scharf, Yosi; Hendler, Jim
Referenced in: 7 Publications (2008–2017)
Related Software: MWeb; SPARQL; Smodels; TRIPLE; foaf; Graal; …
Main Fields: Computer science (68-XX)

DL-learner

Software Authors:   Jens Lehmann
Referenced in: 7 Publications (2009–2020)
Related Software: BayesOWL; swrl; ElemStatLearn
Main Fields: Computer science (68-XX)

BEACON

Software Authors:   Arif, M.Fareed; Mencía, Carlos; Ignatiev, Alexey; Manthey, Norbert; Peñaloza, Rafael; Marques-Silva, Joao
Referenced in: 6 Publications (2016–2021)
Related Software: EL2MCS; ELK; HgMUS; Just; CEL; Ltur; …
Main Fields: Computer science (68-XX)

EL2MCS

Software Authors:   Arif, M.F., Mencía, C., Marques-Silva, J.
Referenced in: 5 Publications (2015–2018)
Related Software: BEACON; Just; HgMUS; Ltur; QUICKXPLAIN; ELK; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

RacerPro

Software Authors:   Haarslev, V., Hidde, K., Möller, R., Wessel, M.
Referenced 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)

HgMUS

Software Authors:   Arif, M. Fareed; Mencía, Carlos; Marques-Silva, Joao
Referenced in: 5 Publications (2015–2019)
Related Software: BEACON; CEL; EL2MCS; Ltur; ELK; Just; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

NoHR

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

TinkerType

Software Authors:   Levin, Michael Y.; Pierce, Benjamin C.
Referenced in: 5 Publications (2003–2010)
Related Software: ML; OCaml; Ott; CASL; LaTeX; Freshml; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Cool

Software Authors:   Gorín, Daniel; Pattinson, Dirk; Schröder, Lutz; Widmann, Florian; Wißmann, Thorsten
Referenced in: 3 Publications (2014–2018)
Related Software: LoTREC; leanK; E Theorem Prover; Racer; FaCT++; SPASS; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

TWB

Software Authors:   Abate, Pietro; Goré, Rajeev
Referenced in: 3 Publications (2009–2019)
Related Software: LoTREC; MSPASS; SableCC; Lua; FaCT++; leanTAP
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

DRAGO

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

FAME

Software Authors:   Zhao, Yizheng; Schmidt, Renate A.
Referenced in: 3 Publications (2018–2021)
Related Software: LETHE; BioPortal
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Imandra

Software Authors:   Grant Olney Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto
Referenced in: 3 Publications (2020–2021)
Related Software: Zeno; SMT-LIB; VAMPIRE; CVC4; AVATAR; eThor; …
Main Fields: Mathematical logic and foundations (03-XX); 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)

Sonic

Software Authors:   Turhan, Anni-Yasmin; Kissig, Christian
Referenced in: 3 Publications (2004–2007)
Related Software: Racer; OilEd; FaCT++; KL-ONE; Protege
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Celf

Software Authors:   Schack-Nielsen, Anders; Schürmann, Carsten
Referenced in: 2 Publications (2008–2018)
Related Software: Twelf
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

DReW

Software Authors:   Xiao, G., Heymans, S., Eiter, T.
Referenced in: 2 Publications (2014–2018)
Related Software: ELK; Snorocket; Protege; Ontobee; WebPIE; Chainsaw; …
Main Fields: Computer science (68-XX)

p2b

Software Authors:   Baldamus, Michael; Schr"oder-Babo, Jochen
Referenced in: 2 Publications (2001–2010)
Related Software: PROMELA; SPIN; ETCH; Haskell; ML; SMV
Main Fields: Computer science (68-XX)

Forest

Software Authors:   Fisher, Kathleen; Foster, Nate; Walker, David; Zhu, Kenny Q.
Referenced in: 0 Publications
Related Software: Graphviz
Main Fields:

KRHyper

Software Authors:   Sinner, Alex; Kleemann, Thomas
Referenced in: 1 Publication (2005)
Related Software: PROTEIN; Racer; TPTP
Main Fields: Computer science (68-XX)

leanK

Software Authors:   Bernhard Beckert; Rajeev Goré
Referenced in: 1 Publication (2018)
Related Software: Cool; E Theorem Prover; Racer; FaCT++; LoTREC; SPASS; …
Main Fields: Computer science (68-XX)

LETHE

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

LIGHT

Software Authors:   Zuo, Ming; Haarslev, Volker
Referenced in: 1 Publication (2013)
Related Software: FaCT++; SATLIB Benchmark Suite; Racer; Pellet
Main Fields: Computer science (68-XX)

MoMo

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

MUNCH

Software Authors:   Piskac, Ruzica; Kuncak, Viktor
Referenced in: 1 Publication (2010)
Related Software: KIV; z3; Caduceus; Why3; KRAKATOA; Isabelle
Main Fields: Computer science (68-XX)

QF_FP

Software Authors:   –
Referenced in: 1 Publication (2021)
Related Software: JBMC; Boogie; Daisy; Nagini; OpenJML; Viper; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

SHIP

Software Authors:   Autexier, Serge; Hutter, Dieter
Referenced in: 1 Publication (2015)
Related Software: Pellet; GOLOG
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TGC

Software Authors:   Nguyen
Referenced in: 1 Publication (2010)
Related Software:
Main Fields: Computer science (68-XX)