KL-ONE Cited in 36 Documents (2001–2020) Software Authors: Baader, Franz; Sattler, Ulrike Related Software: FaCT++; Racer; Pellet; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PRISM Cited in 40 Documents (2006–2022) Software Authors: Sato, T., Kameya, Y. Related Software: ProbLog; CP-logic; PITA; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); …
DLV Cited in 29 Documents (2001–2021) Software Authors: Grasso, Giovanni; Iiritano, Salvatore; Leone, Nicola; Ricca, Francesco Related Software: WASP; Gringo; Cmodels; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
MBase Cited in 17 Documents (1999–2006) Software Authors: Franke, Andreas; Kohlhase, Michael Related Software: TPS; OMEGA; Nuprl; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Mathematics education (97-XX)
DeLorean Cited in 13 Documents (2009–2017) Software Authors: – Related Software: Fuzzydl; FaCT++; pg4DB; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Tweety Cited in 10 Documents (2016–2023) Software Authors: Thimm, M. Related Software: DiArg; LARS; Clingo; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
BEACON Cited in 7 Documents (2016–2022) Software Authors: Arif, M.Fareed; Mencía, Carlos; Ignatiev, Alexey; Manthey, Norbert; Peñaloza, Rafael; Marques-Silva, Joao Related Software: ELK; EL2MCS; HgMUS; … Main Fields: Computer science (68-XX)
KAM Cited in 1 Document (1998) Software Authors: Nisheva-Pavlova, Maria M. Related Software: – Main Fields: Computer science (68-XX)