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