Smodels Cited in 229 Documents (1999–2022) Software Authors: Niemelä, Ilkka; Simons, P; Syrjänen, Tommi Related Software: ASSAT; Cmodels; XSB; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …
Clingo Cited in 106 Documents (2009–2022) Software Authors: Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub Related Software: Gringo; clasp; WASP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); …
clasp Cited in 101 Documents (2007–2022) Software Authors: Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub Related Software: Gringo; Clingo; WASP; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …
Gringo Cited in 97 Documents (2007–2021) Software Authors: Martin Gebser, Roland Kaminski, Benjamin Kaufmann,Max Ostrowski, Torsten Schaub, Sven Thiele Related Software: clasp; Clingo; Lparse; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
Potassco Cited in 77 Documents (2008–2023) Software Authors: Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius Related Software: Clingo; Gringo; clasp; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
CCalc Cited in 74 Documents (2003–2021) Software Authors: Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson Related Software: Smodels; Coala; GOLOG; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
Clingcon Cited in 39 Documents (2009–2022) Software Authors: Martin Gebser; Max Ostrowski; Torsten Schaub Related Software: Clingo; clasp; Gringo; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); …
DLV2 Cited in 26 Documents (2017–2022) Software Authors: Alviano, Mario; Calimeri, Francesco; Dodaro, Carmine; Fuscà, Davide; Leone, Nicola; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica Related Software: Clingo; WASP; clasp; … Main Fields: Mathematical logic and foundations (03-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)
LARS Cited in 19 Documents (2016–2022) Software Authors: Beck, H., Dao-Tran, M., Eiter, T., Fink, M. Related Software: Clingo; oClingo; SPARQL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
ASPARTIX Cited in 17 Documents (2011–2019) Software Authors: Uwe Egly; Sarah Alice Gaggl; Stefan Woltran Related Software: Dungine; MiniSat; CoQuiAAS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
GATK Cited in 16 Documents (2012–2021) Software Authors: A. McKenna, M. Hanna, E. Banks et al. Related Software: Samtools; Trimmomatic; R; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
DLV-EX Cited in 16 Documents (2007–2021) Software Authors: Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista Related Software: Clingcon; Clingo; OntoDLV; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-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); …
claspfolio 2 Cited in 15 Documents (2014–2022) Software Authors: Hoos, Holger; Lindauer, Marius; Schaub, Torsten Related Software: SATzilla; SMAC; Paramils; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
oClingo Cited in 14 Documents (2011–2021) Software Authors: Torsten Grote Related Software: Clingo; LARS; SPARQL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
ezcsp Cited in 12 Documents (2009–2021) Software Authors: Balduccini, Marcello; Lierler, Yuliya Related Software: Clingo; Clingcon; WASP; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
sCASP Cited in 12 Documents (2018–2022) Software Authors: Joaquin Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta Related Software: Clingo; ezcsp; GASP; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
SUNNY Cited in 12 Documents (2014–2021) Software Authors: Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo Related Software: SATzilla; MiniZinc; Proteus; … Main Fields: Geometry (51-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
aspeed Cited in 10 Documents (2012–2020) Software Authors: Hoos, Holger; Kaminski, Roland; Lindauer, Marius; Schaub, Torsten Related Software: SATzilla; SMAC; Paramils; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Coala Cited in 10 Documents (2010–2013) Software Authors: Gebser, Martin; Grote, Torsten; Schaub, Torsten Related Software: CCalc; f2lp; Cplus2ASP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
plasp Cited in 9 Documents (2012–2021) Software Authors: Gebser, Martin; Kaminski, Roland; Knecht, Murat; Schaub, Torsten Related Software: PDDL; Clingo; ROSoClingo; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
SeaLion Cited in 7 Documents (2012–2019) Software Authors: Johannes Oetsch, Jörg Pührer, Hans Tompits Related Software: ASPIDE; Kara; APE; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Mathematics education (97-XX)
STeLP Cited in 9 Documents (2011–2019) Software Authors: Cabalar, Pedro; Diéguez, Martín Related Software: Coala; Gringo; CCalc; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
DIAMOND Cited in 9 Documents (2015–2021) Software Authors: Ellmauthaler, S.; Strass, H. Related Software: Carneades; MiniSat; GRAPPA; … Main Fields: History and biography (01-XX); Computer science (68-XX)
OntoDLV Cited in 8 Documents (2009–2021) Software Authors: Ricca, F., Gallucci, L., Schindlauer, R., Dell’armi, T., Grasso, G., Leone, N. Related Software: DLV-EX; Pellet; Lparse; … Main Fields: Computer science (68-XX)
D-FLAT Cited in 8 Documents (2012–2020) Software Authors: Bliem, B., Morak, M., Woltran, S.; Abseher, M., Bliem, B., Charwat, G., Dusberger, F., Hecher, M. Related Software: Clingo; Jdrasil; ComputeTW; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
Lpopt Cited in 8 Documents (2017–2022) Software Authors: Bichler, Manuel; Morak, Michael; Woltran, Stefan Related Software: Clingo; GRAPPA; WASP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
selp Cited in 8 Documents (2019–2022) Software Authors: Manuel Bichler, Michael Morak, Stefan Woltran Related Software: Clingo; htd; eclingo; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
dynASP Cited in 7 Documents (2010–2022) Software Authors: Morak, Michael; Pichler, Reinhard; Rümmele, Stefan; Woltran, Stefan Related Software: Jdrasil; ToTo; Regina; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
lp2normal Cited in 7 Documents (2014–2022) Software Authors: Bomanson, Jori Related Software: Clingo; WASP; ASSAT; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
XPathLog Cited in 1 Document (2004) Software Authors: May, Wolfgang Related Software: XPath; XQuery; Lorel; … Main Fields: Computer science (68-XX)
spock Cited in 4 Documents (2008–2020) Software Authors: Gebser, M., Pührer, J., Schaub, T., Tompits, H., Woltran, S. Related Software: Gringo; ASPIDE; SeaLion; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
APE Cited in 4 Documents (2010–2019) Software Authors: Adrian Sureshkumar, Marina De Vos, Martin Brain, John Fitch Related Software: SeaLion; ASPIDE; Kara; … Main Fields: Computer science (68-XX); Mathematics education (97-XX)
Asparagus Cited in 3 Documents (2005–2012) Software Authors: Christian Anger; Torsten Schaub; Miroslaw Truszczynski Related Software: ASSAT; TPTP; Runsolver; … Main Fields: Computer science (68-XX)
ASPMT2SMT Cited in 5 Documents (2014–2020) Software Authors: Bartholomew, Michael; Lee, Joohyung Related Software: Clingcon; DLV2; ezcsp; … Main Fields: Computer science (68-XX)
ASPTools Cited in 5 Documents (2009–2022) Software Authors: Tomi Janhunen Related Software: ASSAT; clasp; DLV; … Main Fields: Computer science (68-XX)
DLV-Complex Cited in 3 Documents (2008–2009) Software Authors: Francesco Calimeri; Susanna Cozza; Giovambattista Ianni; Nicola Leone Related Software: DLV-EX; OntoDLV; CiaoPP; … Main Fields: Computer science (68-XX)
FrameNet Cited in 5 Documents (2004–2010) Software Authors: Baumgartner, Peter; Burchardt, Aljoscha Related Software: – Main Fields: Computer science (68-XX)
Harvey Cited in 5 Documents (2017–2021) Software Authors: Greßler, Alexander; Oetsch, Johannes; Tompits, Hans Related Software: Potassco; ASPIDE; ezcsp; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
Kara Cited in 3 Documents (2012–2019) Software Authors: Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits Related Software: ASPIDE; SeaLion; ASPVIZ; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Mathematics education (97-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)
ROSoClingo Cited in 5 Documents (2015–2021) Software Authors: Andres, Benjamin; Rajaratnam, David; Sabuncu, Orkunt; Schaub, Torsten Related Software: Clingo; Clingcon; WASP; … Main Fields: Computer science (68-XX)
XASP Cited in 5 Documents (2009–2012) Software Authors: Castro, L., Swift, T., Warren, D.S. Related Software: Smodels; Essence; ESRA; … Main Fields: Computer science (68-XX)
aspcud Cited in 3 Documents (2013–2021) Software Authors: Gebser, Martin; Kaminski, Roland; Schaub, Torsten Related Software: Potassco; Clingo; Hexlite; … Main Fields: Computer science (68-XX)
ASPVIZ Cited in 2 Documents (2012–2019) Software Authors: Cliffe, O., De Vos, M., Brain, M., Padget, J Related Software: Kara; ASPIDE; APE; … Main Fields: Computer science (68-XX); Mathematics education (97-XX)
Democratix Cited in 4 Documents (2015–2020) Software Authors: Charwat, Günther; Pfandler, Andreas Related Software: Isabelle/HOL; Gecode; PSPLIB; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
eclingo Cited in 4 Documents (2020–2022) Software Authors: Cabalar, Pedro; Fandinno, Jorge; Garea, Javier; Romero, Javier; Schaub, Torsten Related Software: Clingo; selp; htd; … Main Fields: Computer science (68-XX)
Jive Cited in 4 Documents (2016–2023) Software Authors: Lingen EJ, Stroeven M Related Software: Gmsh; Adam; F3DAM; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Biology and other natural sciences (92-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)
ANTON Cited in 2 Documents (2010) Software Authors: Georg Boenn, Martin Brain, Marina De Vos, John Fitch Related Software: APE; Cmodels; CCalc; … Main Fields: Computer science (68-XX)
dl2asp Cited in 3 Documents (2010–2021) Software Authors: Chen, Yin; Wan, Hai; Zhang, Yan; Zhou, Yi Related Software: DeReS; CUDA; Lparse Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
FlashRelate Cited in 1 Document (2021) Software Authors: Barowy, D.W., Gulwani, S., Hart, T., Zorn, B.G. Related Software: FlashMeta; FlashExtract; MCGP; … Main Fields: Computer science (68-XX)
GI-log Cited in 3 Documents (2016–2020) Software Authors: Zhang, Zhizheng; Wang, Bin; Zhang, Shutao Related Software: selp; Clingo; Gringo; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Moviola Cited in 3 Documents (2017–2019) Software Authors: Sabuncu, Orkunt; Leite, Jo~ao Related Software: Clingo; plasp; MiniSat; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
NeurASP Cited in 3 Documents (2020–2022) Software Authors: Zhun Yang; Adam Ishay; Joohyung Lee Related Software: DeepProbLog; CLEVR; CLEVR dataset; … Main Fields: Computer science (68-XX)
teaspoon Cited in 3 Documents (2017–2021) Software Authors: Banbara, M., Inoue, K., Kaufmann, B., Schaub, T., Soh, T., Tamura, N., Wanko, P. Related Software: SMAC; MiniSat; clasp; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
TOAST Cited in 3 Documents (2006–2018) Software Authors: Brain, Martin; Crick, Tom; De Vos, Marina; Fitch, John Related Software: Lparse; Smodels; clasp; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
VIDEAS Cited in 2 Documents (2016–2019) Software Authors: Oetsch, Johannes; Pührer, Jörg; Seidl, Martina; Tompits, Hans; Zwickl, Patrick Related Software: APE; spock; SeaLion; … Main Fields: Computer science (68-XX)
AQuA Cited in 2 Documents (2020–2022) Software Authors: Basu, K., Shakerin, F., Gupta, G. Related Software: VQA; CLEVR; DeepProbLog; … Main Fields: Computer science (68-XX)
Catnap Cited in 2 Documents (2017) Software Authors: Banbara, Mutsunori; Inoue, Katsumi; Kaneyuki, Hiromasa; Okimoto, Tenda; Schaub, Torsten; Soh, Takehide; Tamura, Naoyuki Related Software: teaspoon; NoHR; ArgueApply; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
Equibel Cited in 2 Documents (2015–2016) Software Authors: Vicol, Paul; Delgrande, James; Schaub, Torsten Related Software: Clingo Main Fields: Computer science (68-XX)
fasp2smt Cited in 2 Documents (2013–2015) Software Authors: Mario Alviano Related Software: Cmodels; MetiTarski; WASP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
FOLD-R++ Cited in 2 Documents (2022) Software Authors: Wang, Huaduo; Gupta, Gopal Related Software: kFOIL; QuickFOIL; nFOIL; … Main Fields: Computer science (68-XX)
Galliwasp Cited in 1 Document (2017) Software Authors: Marple, Kyle; Gupta, Gopal Related Software: SWI-Prolog; C4.5; clasp; … Main Fields: Computer science (68-XX)
Hexlite Cited in 2 Documents (2019–2021) Software Authors: Schüller, Peter Related Software: Clingo; OntoDLV; Datalog; … Main Fields: Computer science (68-XX)
ILPME Cited in 2 Documents (2018–2020) Software Authors: Mitra, Arindam; Baral, Chitta Related Software: VerbNet; SQuARE; Penn Treebank; … Main Fields: Computer science (68-XX)
modopt Cited in 2 Documents (2008–2015) Software Authors: Janhunen, Tomi Related Software: Smodels Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
onlineSPARC Cited in 2 Documents (2019) Software Authors: Marcopoulos, Elias; Zhang, Yuanlin Related Software: SeaLion; Kara; ASPIDE; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Mathematics education (97-XX)
OOASP Cited in 1 Document (2016) Software Authors: Falkner, Andreas; Ryabokon, Anna; Schenner, Gottfried; Shchekotykhin, Kostyantyn Related Software: Gringo; MiniSat; claspfolio 2; … Main Fields: Computer science (68-XX)
WSAT(CC) Cited in 1 Document (2004) Software Authors: Liu, Lengning; Truszczyński, Mirosław Related Software: – Main Fields: Computer science (68-XX)
ArgueApply Cited in 1 Document (2017) Software Authors: Pührer, Jörg Related Software: NoHR; Catnap; Moviola; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
AspCcgTk Cited in 1 Document (2013) Software Authors: Peter Schüller Related Software: clasp; Gringo Main Fields: Computer science (68-XX)
ASPDoc Cited in 1 Document (2012) Software Authors: De Vos, Marina; Kisa, Doğa Gizem; Oetsch, Johannes; Pührer, Jörg; Tompits, Hans Related Software: Lana; APE; ASPUnit; … Main Fields: Computer science (68-XX)
ASPUnit Cited in 1 Document (2012) Software Authors: De Vos, Marina; Kisa, Doğa Gizem; Oetsch, Johannes; Pührer, Jörg; Tompits, Hans Related Software: ASPDoc; Lana; APE; … Main Fields: Computer science (68-XX)
dlvhex-sparql Cited in 1 Document (2013) Software Authors: Polleres, A., Schindlauer, R. Related Software: R2RML; Turtle; nSPARQL; … Main Fields: Computer science (68-XX)
DualGrounder Cited in 1 Document (2021) Software Authors: Lierler, Yuliya; Robbins, Justin Related Software: OMiGA; Clingo; WASP; … Main Fields: Computer science (68-XX)
GidL Cited in 1 Document (2017) Software Authors: Wittocx, J., Mariën, M., Denecker, M. Related Software: Chaff; IDP; MiniSat; … Main Fields: Computer science (68-XX)
hclasp Cited in 1 Document (2017) Software Authors: Gebser, M. et al. Related Software: Glucose; LP2SAT; circumscriptino; … Main Fields: Computer science (68-XX)
InstQL Cited in 1 Document (2010) Software Authors: Hopton, Luke; Cliffe, Owen; De Vos, Marina; Padget, Julian Related Software: Smodels Main Fields: Computer science (68-XX)
LAIMA Cited in 1 Document (2006) Software Authors: Padget, J.A., De Vos, M., Crick, T., Brain, M., Cliffe, O., Needham, J. Related Software: TOAST; Denali; Asparagus; … Main Fields: Computer science (68-XX)
Lana Cited in 1 Document (2012) Software Authors: De Vos, Marina; Kisa, Doğa Gizem; Oetsch, Johannes; Pührer, Jörg; Tompits, Hans Related Software: ASPDoc; APE; ASPUnit; … Main Fields: Computer science (68-XX)
LP2ACYC Cited in 1 Document (2014) Software Authors: M. Gebser, T. Janhunen, J. Rintanen Related Software: Glucose; LP2NORMAL2; lp2normal; … Main Fields: Computer science (68-XX)
meneco Cited in 1 Document (2019) Software Authors: Prigent, S., Frioux, C., Dittami, S., Thiele, S., Larhlimi, A., Collet, G., Gutknecht, F., Got, J., Eveillard, D., Bourdon, J., Plewniak, F., Tonon, T. Siegel, A Related Software: COBRA Toolbox; fastGapFill; COBRApy; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
PASTA Cited in 1 Document (2022) Software Authors: Azzolini, Damiano; Bellodi, Elena; Riguzzi, Fabrizio Related Software: PASOCS; SMProbLog; PrASP; … Main Fields: Computer science (68-XX)
SQuARE Cited in 1 Document (2020) Software Authors: Basu, Kinjal; Varanasi, Sarat Chandra; Shakerin, Farhad; Gupta, Gopal Related Software: ILPME; VerbNet; Penn Treebank; … Main Fields: Computer science (68-XX)
Uhura Cited in 1 Document (2019) Software Authors: Kain, Tobias; Tompits, Hans Related Software: PENGASP; SeaLion; Harvey; … Main Fields: Computer science (68-XX)
asprilo Cited in 0 Documents Software Authors: Gebser, Martin; Obermeier, Philipp; Otto, Thomas; Schaub, Torsten; Sabuncu, Orkunt; Nguyen, Van; Son, Tran Cao Related Software: – Main Fields: –