×

Found 8 Software Packages (Results 1–8)

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)