KL-ONE Software Authors: Baader, Franz; Sattler, Ulrike Cited 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)
PRISM Software Authors: Sato, T., Kameya, Y. Cited in: 41 Publications (2006–2022) Related Software: ProbLog; CP-logic; PITA; BLOG; Church; IBAL; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)
DLV Software Authors: Grasso, Giovanni; Iiritano, Salvatore; Leone, Nicola; Ricca, Francesco Cited in: 29 Publications (2001–2021) Related Software: WASP; Gringo; Cmodels; Datalog; ASSAT; clasp; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
MBase Software Authors: Franke, Andreas; Kohlhase, Michael Cited in: 17 Publications (1999–2006) Related Software: TPS; OMEGA; Nuprl; Coq; OMDoc; TRAMP; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Mathematics education (97-XX)
DeLorean Software Authors: – Cited in: 13 Publications (2009–2017) Related Software: Fuzzydl; FaCT++; pg4DB; FPROLOG; FRIL; Ciao; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Tweety Software Authors: Thimm, M. Cited in: 10 Publications (2016–2023) Related Software: DiArg; LARS; Clingo; Brain Connectivity Toolbox; sCASP; ezcsp; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
BEACON Software Authors: Arif, M.Fareed; Mencía, Carlos; Ignatiev, Alexey; Manthey, Norbert; Peñaloza, Rafael; Marques-Silva, Joao Cited in: 7 Publications (2016–2022) Related Software: ELK; EL2MCS; HgMUS; PULi; Just; CEL; … Main Fields: Computer science (68-XX)
KAM Software Authors: Nisheva-Pavlova, Maria M. Cited in: 1 Publication (1998) Related Software: – Main Fields: Computer science (68-XX)