×

Found 5 Software Packages (Results 1–5)

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)

ABEL

Software Authors:   Haenni, Rolf; Lehmann, Norbert
Cited in: 1 Publication (2011)
Related Software: LISP
Main Fields: Computer science (68-XX)

Autoepigraph

Software Authors:   Hunter, Anthony; Polberg, Sylwia
Cited in: 1 Publication (2019)
Related Software:
Main Fields: Computer science (68-XX)

BRECCIA

Software Authors:   Sacharny, D.; Henderson, T.; Simmons, R.; Mitiche, A.; Welker, T.; Fan, X.
Cited in: 1 Publication (2020)
Related Software: GenPSAT; BLOG
Main Fields: Computer science (68-XX)

SMProbLog

Software Authors:   Pietro Totis, Angelika Kimmig, Luc De Raedt
Cited in: 1 Publication (2022)
Related Software: PASOCS; PASTA; PrASP; ProbLog
Main Fields: Computer science (68-XX)