QUBE Cited in 26 Documents (2001–2018) Software Authors: Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando Related Software: QuBE++; Quaffle; Chaff; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); …
DELORES Cited in 21 Documents (2000–2022) Software Authors: Michael Maher; Tristan Miller Related Software: DR-Prolog; DLV2; WebPIE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
NoMoRe Cited in 22 Documents (2001–2012) Software Authors: Anger, Christian; Konczak, Kathrin; Linke, Thomas Related Software: ASSAT; Cmodels; Smodels; … Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Computer science (68-XX)
GASP Cited in 17 Documents (2008–2021) Software Authors: Dal Palu, Alessandro; Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco Related Software: Clingo; Gringo; WASP; … Main Fields: Computer science (68-XX)
ASPIDE Cited in 12 Documents (2012–2021) Software Authors: Febbraro, Onofrio; Reale, Kristian; Ricca, Francesco Related Software: SeaLion; Kara; APE; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Biology and other natural sciences (92-XX); …
NoHR Cited in 5 Documents (2015–2019) Software Authors: Lopes, Carlos; Knorr, Matthias; Leite, João Related Software: Konclude; ELK; HermiT; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
PrASP Cited in 4 Documents (2016–2022) Software Authors: Nickles, Matthias Related Software: ProbLog; PRISM; PASOCS; … Main Fields: Computer science (68-XX)
REBA Cited in 4 Documents (2019–2021) Software Authors: Sridharan, Mohan; Gelfond, Michael; Zhang, Shiqi; Wyatt, Jeremy Related Software: PEORL; CCalc; FODD-Planner; … Main Fields: Computer science (68-XX)
DiArg Cited in 2 Documents (2022–2023) Software Authors: Timotheus Kampik, Dov Gabbay Related Software: Tweety Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
cmMUS Cited in 0 Documents Software Authors: Janota, Mikoláš; Marques-Silva, Joao Related Software: – Main Fields: –