×

Found 5 Software Packages (Results 1–5)

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); …

ABEL

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

Autoepigraph

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

BRECCIA

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

SMProbLog

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

Filter Results by …

all top 5

Related Software

all top 3

Main Field