×

Found 87 Software Packages (Results 1–87)

Smodels

Software Authors:   Niemelä, Ilkka; Simons, P; Syrjänen, Tommi
Referenced in: 229 Publications (1999–2022)
Related Software: ASSAT; Cmodels; XSB; Gringo; clasp; Lparse; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Gringo

Software Authors:   Martin Gebser, Roland Kaminski, Benjamin Kaufmann,Max Ostrowski, Torsten Schaub, Sven Thiele
Referenced in: 98 Publications (2007–2021)
Related Software: clasp; Clingo; Lparse; WASP; ASSAT; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

Clingo

Software Authors:   Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub
Referenced in: 102 Publications (2009–2022)
Related Software: Gringo; clasp; WASP; Potassco; iClingo; MiniSat; …
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

Software Authors:   Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
Referenced in: 96 Publications (2007–2021)
Related Software: Gringo; Clingo; WASP; MiniSat; ASSAT; iClingo; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CCalc

Software Authors:   Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson
Referenced in: 74 Publications (2003–2021)
Related Software: Smodels; GOLOG; Coala; PDDL; Society Visualiser; NuSMV; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Potassco

Software Authors:   Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius
Referenced in: 72 Publications (2008–2021)
Related Software: Clingo; Gringo; clasp; MiniSat; ASSAT; Chaff; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Clingcon

Software Authors:   Martin Gebser; Max Ostrowski; Torsten Schaub
Referenced in: 38 Publications (2009–2021)
Related Software: Clingo; clasp; Gringo; WASP; ezcsp; Potassco; …
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

Software Authors:   Alviano, Mario; Calimeri, Francesco; Dodaro, Carmine; Fuscà, Davide; Leone, Nicola; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
Referenced in: 23 Publications (2017–2022)
Related Software: WASP; Clingo; clasp; Gringo; DLV; Datalog; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

GASP

Software Authors:   Dal Palu, Alessandro; Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
Referenced in: 17 Publications (2008–2021)
Related Software: Clingo; Gringo; WASP; clasp; ASSAT; OMiGA; …
Main Fields: Computer science (68-XX)

ASPARTIX

Software Authors:   Uwe Egly; Sarah Alice Gaggl; Stefan Woltran
Referenced in: 17 Publications (2011–2019)
Related Software: Dungine; CoQuiAAS; MiniSat; Pregel; SMAC; claspfolio 2; …
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

Software Authors:   A. McKenna, M. Hanna, E. Banks et al.
Referenced in: 16 Publications (2012–2021)
Related Software: Samtools; Trimmomatic; R; BWA; Bowtie 2; FastQC; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

DLV-EX

Software Authors:   Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista
Referenced in: 16 Publications (2007–2021)
Related Software: Clingcon; Clingo; OntoDLV; Potassco; Gringo; ezcsp; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

ASPIDE

Software Authors:   Febbraro, Onofrio; Reale, Kristian; Ricca, Francesco
Referenced in: 11 Publications (2012–2021)
Related Software: SeaLion; Kara; APE; WASP; Potassco; spock; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

oClingo

Software Authors:   Torsten Grote
Referenced in: 14 Publications (2011–2021)
Related Software: Clingo; SPARQL; C-SPARQL; Gringo; MiniSat; Apache Flink; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ezcsp

Software Authors:   Balduccini, Marcello; Lierler, Yuliya
Referenced in: 11 Publications (2009–2021)
Related Software: Clingo; Clingcon; WASP; clasp; Gringo; GASP; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

SUNNY

Software Authors:   Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
Referenced in: 12 Publications (2014–2021)
Related Software: SATzilla; MiniZinc; Proteus; sunny-cp; aspeed; SMAC; …
Main Fields: Geometry (51-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

claspfolio 2

Software Authors:   Hoos, Holger; Lindauer, Marius; Schaub, Torsten
Referenced in: 11 Publications (2014–2021)
Related Software: SATzilla; Proteus; Auto-WEKA; clasp; SMAC; SUNNY; …
Main Fields: Computer science (68-XX)

sCASP

Software Authors:   Joaquin Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta
Referenced in: 10 Publications (2018–2022)
Related Software: Clingo; GASP; ezcsp; SQuAD; StanfordCoreNLP; DLV-EX; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

aspeed

Software Authors:   Hoos, Holger; Kaminski, Roland; Lindauer, Marius; Schaub, Torsten
Referenced in: 10 Publications (2012–2020)
Related Software: SATzilla; SMAC; Paramils; SUNNY; MiniZinc; llama; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Coala

Software Authors:   Gebser, Martin; Grote, Torsten; Schaub, Torsten
Referenced in: 10 Publications (2010–2013)
Related Software: CCalc; f2lp; Cplus2ASP; oClingo; PDDL; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

plasp

Software Authors:   Gebser, Martin; Kaminski, Roland; Knecht, Murat; Schaub, Torsten
Referenced in: 9 Publications (2012–2021)
Related Software: PDDL; Clingo; ROSoClingo; Clingcon; WASP; GDL; …
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

Software Authors:   Johannes Oetsch, Jörg Pührer, Hans Tompits
Referenced in: 7 Publications (2012–2019)
Related Software: ASPIDE; Kara; APE; spock; ASPVIZ; WASP; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Mathematics education (97-XX)

STeLP

Software Authors:   Cabalar, Pedro; Diéguez, Martín
Referenced in: 9 Publications (2011–2019)
Related Software: Coala; Gringo; CCalc; ASSAT
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

DIAMOND

Software Authors:   Ellmauthaler, S.; Strass, H.
Referenced in: 9 Publications (2015–2021)
Related Software: Carneades; GRAPPA; Clingo; MiniSat; CoQuiAAS; selp; …
Main Fields: History and biography (01-XX); Computer science (68-XX)

OntoDLV

Software Authors:   Ricca, F., Gallucci, L., Schindlauer, R., Dell’armi, T., Grasso, G., Leone, N.
Referenced in: 8 Publications (2009–2021)
Related Software: DLV-EX; Pellet; Lparse; Gringo; PR-OWL; leanTAP; …
Main Fields: Computer science (68-XX)

D-FLAT

Software Authors:   Bliem, B., Morak, M., Woltran, S.; Abseher, M., Bliem, B., Charwat, G., Dusberger, F., Hecher, M.
Referenced in: 8 Publications (2012–2020)
Related Software: Clingo; Jdrasil; ComputeTW; oClingo; Potassco; Gringo; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Lpopt

Software Authors:   Bichler, Manuel; Morak, Michael; Woltran, Stefan
Referenced in: 8 Publications (2017–2022)
Related Software: Clingo; GRAPPA; WASP; htd; DepQBF; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

selp

Software Authors:   Manuel Bichler, Michael Morak, Stefan Woltran
Referenced in: 8 Publications (2019–2022)
Related Software: Clingo; htd; eclingo; WASP; GI-log; Lpopt; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

dynASP

Software Authors:   Morak, Michael; Pichler, Reinhard; Rümmele, Stefan; Woltran, Stefan
Referenced in: 7 Publications (2010–2022)
Related Software: Jdrasil; ToTo; Regina; Lparse; MiniSat; Gurobi; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

lp2normal

Software Authors:   Bomanson, Jori
Referenced in: 7 Publications (2014–2022)
Related Software: Clingo; WASP; ASSAT; clasp; eclingo; selp; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

XPathLog

Software Authors:   May, Wolfgang
Referenced in: 1 Publication (2004)
Related Software: XPath; XQuery; XCentric; TOY; Haskell; Lore; …
Main Fields: Computer science (68-XX)

spock

Software Authors:   Gebser, M., Pührer, J., Schaub, T., Tompits, H., Woltran, S.
Referenced in: 4 Publications (2008–2020)
Related Software: Gringo; ASPIDE; SeaLion; Lparse; APE; WASP; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

APE

Software Authors:   Adrian Sureshkumar, Marina De Vos, Martin Brain, John Fitch
Referenced in: 4 Publications (2010–2019)
Related Software: ASPIDE; SeaLion; Kara; ASPVIZ; spock; iGROM; …
Main Fields: Computer science (68-XX); Mathematics education (97-XX)

Asparagus

Software Authors:   Christian Anger; Torsten Schaub; Miroslaw Truszczynski
Referenced in: 3 Publications (2005–2012)
Related Software: ASSAT; Runsolver; StarExec; RunLim; VCWC; TPTP; …
Main Fields: Computer science (68-XX)

ASPMT2SMT

Software Authors:   Bartholomew, Michael; Lee, Joohyung
Referenced in: 5 Publications (2014–2020)
Related Software: Clingcon; DLV2; ezcsp; Clingo; WASP; clasp; …
Main Fields: Computer science (68-XX)

DLV-Complex

Software Authors:   Francesco Calimeri; Susanna Cozza; Giovambattista Ianni; Nicola Leone
Referenced in: 3 Publications (2008–2009)
Related Software: DLV-EX; OntoDLV; CiaoPP; Ciao; Smodels
Main Fields: Computer science (68-XX)

FrameNet

Software Authors:   Baumgartner, Peter; Burchardt, Aljoscha
Referenced in: 5 Publications (2004–2010)
Related Software:
Main Fields: Computer science (68-XX)

Kara

Software Authors:   Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits
Referenced in: 3 Publications (2012–2019)
Related Software: ASPIDE; SeaLion; ASPVIZ; APE; iGROM; onlineSPARC; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Mathematics education (97-XX)

NoHR

Software Authors:   Lopes, Carlos; Knorr, Matthias; Leite, João
Referenced in: 5 Publications (2015–2019)
Related Software: ELK; Konclude; HermiT; Catnap; ArgueApply; Moviola; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

ROSoClingo

Software Authors:   Andres, Benjamin; Rajaratnam, David; Sabuncu, Orkunt; Schaub, Torsten
Referenced in: 5 Publications (2015–2021)
Related Software: Clingo; Clingcon; WASP; IDP3; DLV; Lparse; …
Main Fields: Computer science (68-XX)

XASP

Software Authors:   Castro, L., Swift, T., Warren, D.S.
Referenced in: 5 Publications (2009–2012)
Related Software: Smodels; Essence; ESRA; Clingcon; ACORDA; XSB; …
Main Fields: Computer science (68-XX)

aspcud

Software Authors:   Gebser, Martin; Kaminski, Roland; Schaub, Torsten
Referenced in: 3 Publications (2013–2021)
Related Software: Potassco; Clingo; Hexlite; OntoDLV; Datalog; Clingcon; …
Main Fields: Computer science (68-XX)

ASPVIZ

Software Authors:   Cliffe, O., De Vos, M., Brain, M., Padget, J
Referenced in: 2 Publications (2012–2019)
Related Software: Kara; ASPIDE; APE; SeaLion; iGROM; OntoDLV; …
Main Fields: Computer science (68-XX); Mathematics education (97-XX)

eclingo

Software Authors:   Cabalar, Pedro; Fandinno, Jorge; Garea, Javier; Romero, Javier; Schaub, Torsten
Referenced in: 4 Publications (2020–2022)
Related Software: Clingo; selp; htd; lp2normal; WASP; Smodels; …
Main Fields: Computer science (68-XX)

Harvey

Software Authors:   Greßler, Alexander; Oetsch, Johannes; Tompits, Hans
Referenced in: 4 Publications (2017–2019)
Related Software: Potassco; Uhura; SeaLion; PENGASP; ASPIDE; DLV; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

REBA

Software Authors:   Sridharan, Mohan; Gelfond, Michael; Zhang, Shiqi; Wyatt, Jeremy
Referenced in: 4 Publications (2019–2021)
Related Software: PEORL; CCalc; FODD-Planner; Smodels; GitHub; ALM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ANTON

Software Authors:   Georg Boenn, Martin Brain, Marina De Vos, John Fitch
Referenced in: 2 Publications (2010)
Related Software: APE; CCalc; Smodels; Cmodels; ASSAT
Main Fields: Computer science (68-XX)

ASPTools

Software Authors:   Tomi Janhunen
Referenced in: 3 Publications (2009–2021)
Related Software: DLV; ASSAT; Cmodels; clasp; lp2normal; IDP3; …
Main Fields: Computer science (68-XX)

Democratix

Software Authors:   Charwat, Günther; Pfandler, Andreas
Referenced in: 3 Publications (2015–2020)
Related Software: Gecode; PSPLIB; asprin; ezcsp; Clingo; DLV; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

dl2asp

Software Authors:   Chen, Yin; Wan, Hai; Zhang, Yan; Zhou, Yi
Referenced in: 3 Publications (2010–2021)
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)

GI-log

Software Authors:   Zhang, Zhizheng; Wang, Bin; Zhang, Shutao
Referenced in: 3 Publications (2016–2020)
Related Software: selp; Clingo; Gringo; Lpopt; htd; WASP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Moviola

Software Authors:   Sabuncu, Orkunt; Leite, Jo~ao
Referenced in: 3 Publications (2017–2019)
Related Software: Clingo; plasp; ActHEX; asprin; ROSoClingo; D-FLAT; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

PrASP

Software Authors:   Nickles, Matthias
Referenced in: 3 Publications (2016–2022)
Related Software: PRISM; ProbLog; cplint; SCIFF; XSB; CP-logic; …
Main Fields: Computer science (68-XX)

teaspoon

Software Authors:   Banbara, M., Inoue, K., Kaufmann, B., Schaub, T., Soh, T., Tamura, N., Wanko, P.
Referenced in: 3 Publications (2017–2021)
Related Software: SMAC; clasp; MiniSat; Catnap
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

TOAST

Software Authors:   Brain, Martin; Crick, Tom; De Vos, Marina; Fitch, John
Referenced in: 3 Publications (2006–2018)
Related Software: Lparse; Smodels; clasp; spock; Gringo; Cmodels; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

VIDEAS

Software Authors:   Oetsch, Johannes; Pührer, Jörg; Seidl, Martina; Tompits, Hans; Zwickl, Patrick
Referenced in: 2 Publications (2016–2019)
Related Software: spock; APE; SeaLion; WASP; ASPIDE; Smodels; …
Main Fields: Computer science (68-XX)

Catnap

Software Authors:   Banbara, Mutsunori; Inoue, Katsumi; Kaneyuki, Hiromasa; Okimoto, Tenda; Schaub, Torsten; Soh, Takehide; Tamura, Naoyuki
Referenced in: 2 Publications (2017)
Related Software: teaspoon; NoHR; ArgueApply; Moviola; lp2normal; Harvey; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Equibel

Software Authors:   Vicol, Paul; Delgrande, James; Schaub, Torsten
Referenced in: 2 Publications (2015–2016)
Related Software: Clingo
Main Fields: Computer science (68-XX)

fasp2smt

Software Authors:   Mario Alviano
Referenced in: 2 Publications (2013–2015)
Related Software: WASP; z3; DLV; Gringo; Cmodels; RSOLVER; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FlashRelate

Software Authors:   Barowy, D.W., Gulwani, S., Hart, T., Zorn, B.G.
Referenced in: 0 Publications
Related Software: HaExcel; Senbazuru; XCellAnnotator; DeExcelerator; TableMiner+; FOOFAH; …
Main Fields: Computer science (68-XX)

Galliwasp

Software Authors:   Marple, Kyle; Gupta, Gopal
Referenced in: 1 Publication (2017)
Related Software: SWI-Prolog; C4.5; Asparagus; clasp; ProbLog
Main Fields: Computer science (68-XX)

Hexlite

Software Authors:   Schüller, Peter
Referenced in: 2 Publications (2019–2021)
Related Software: Clingo; OntoDLV; Datalog; aspcud; Clingcon; Potassco; …
Main Fields: Computer science (68-XX)

ILPME

Software Authors:   Mitra, Arindam; Baral, Chitta
Referenced in: 2 Publications (2018–2020)
Related Software: sCASP; MCTest; SQuAD; StanfordCoreNLP; Penn Treebank
Main Fields: Computer science (68-XX)

Jive

Software Authors:   Lingen EJ, Stroeven M
Referenced in: 2 Publications (2016–2021)
Related Software: Gmsh; Jem; ParaView; XFEM
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Classical thermodynamics, heat transfer (80-XX)

modopt

Software Authors:   Janhunen, Tomi
Referenced in: 2 Publications (2008–2015)
Related Software: Smodels
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

onlineSPARC

Software Authors:   Marcopoulos, Elias; Zhang, Yuanlin
Referenced in: 2 Publications (2019)
Related Software: SeaLion; Kara; ASPIDE; APE; iGROM; LoIDE; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Mathematics education (97-XX)

OOASP

Software Authors:   Falkner, Andreas; Ryabokon, Anna; Schenner, Gottfried; Shchekotykhin, Kostyantyn
Referenced in: 1 Publication (2016)
Related Software: Gringo; claspfolio 2; WASP; clasp; MiniSat
Main Fields: Computer science (68-XX)

WSAT(CC)

Software Authors:   Liu, Lengning; Truszczyński, Mirosław
Referenced in: 1 Publication (2004)
Related Software:
Main Fields: Computer science (68-XX)

ArgueApply

Software Authors:   Pührer, Jörg
Referenced in: 1 Publication (2017)
Related Software: NoHR; Catnap; Moviola; lp2normal; Harvey; plasp
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

AspCcgTk

Software Authors:   Peter Schüller
Referenced in: 1 Publication (2013)
Related Software: clasp; Gringo
Main Fields: Computer science (68-XX)

ASPDoc

Software Authors:   De Vos, Marina; Kisa, Doğa Gizem; Oetsch, Johannes; Pührer, Jörg; Tompits, Hans
Referenced in: 1 Publication (2012)
Related Software: ASPUnit; Lana; APE; SeaLion; Kara; ASPVIZ; …
Main Fields: Computer science (68-XX)

ASPUnit

Software Authors:   De Vos, Marina; Kisa, Doğa Gizem; Oetsch, Johannes; Pührer, Jörg; Tompits, Hans
Referenced in: 1 Publication (2012)
Related Software: ASPDoc; Lana; APE; SeaLion; Kara; ASPVIZ; …
Main Fields: Computer science (68-XX)

dlvhex-sparql

Software Authors:   Polleres, A., Schindlauer, R.
Referenced in: 1 Publication (2013)
Related Software: R2RML; Turtle; nSPARQL; SPARQL
Main Fields: Computer science (68-XX)

DualGrounder

Software Authors:   Lierler, Yuliya; Robbins, Justin
Referenced in: 1 Publication (2021)
Related Software: OMiGA; Clingo; WASP; Gringo
Main Fields: Computer science (68-XX)

FOLD-R++

Software Authors:   Wang, Huaduo; Gupta, Gopal
Referenced in: 1 Publication (2022)
Related Software: QuickFOIL; nFOIL; sCASP; kFOIL; XGBoost; Aleph; …
Main Fields: Computer science (68-XX)

GidL

Software Authors:   Wittocx, J., Mariën, M., Denecker, M.
Referenced in: 1 Publication (2017)
Related Software: IDP; aspcud; BEE; iClingo; Clingo; WASP; …
Main Fields: Computer science (68-XX)

hclasp

Software Authors:   Gebser, M. et al.
Referenced in: 1 Publication (2017)
Related Software: LP2SAT; circumscriptino; asprin; QUICKXPLAIN; Clingo; Glucose; …
Main Fields: Computer science (68-XX)

InstQL

Software Authors:   Hopton, Luke; Cliffe, Owen; De Vos, Marina; Padget, Julian
Referenced in: 1 Publication (2010)
Related Software: Smodels
Main Fields: Computer science (68-XX)

LAIMA

Software Authors:   Padget, J.A., De Vos, M., Crick, T., Brain, M., Cliffe, O., Needham, J.
Referenced in: 1 Publication (2006)
Related Software: TOAST; Denali; Asparagus; Lparse; Smodels; ASSAT
Main Fields: Computer science (68-XX)

Lana

Software Authors:   De Vos, Marina; Kisa, Doğa Gizem; Oetsch, Johannes; Pührer, Jörg; Tompits, Hans
Referenced in: 1 Publication (2012)
Related Software: ASPUnit; ASPDoc; APE; SeaLion; Kara; ASPVIZ; …
Main Fields: Computer science (68-XX)

LP2ACYC

Software Authors:   M. Gebser, T. Janhunen, J. Rintanen
Referenced in: 1 Publication (2014)
Related Software: LP2NORMAL2; lp2normal; Glucose; Gringo; ASSAT
Main Fields: Computer science (68-XX)

meneco

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
Referenced in: 1 Publication (2019)
Related Software: COBRA Toolbox; fastGapFill; COBRApy; Clingo; Clingcon; MetaCyc; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

Uhura

Software Authors:   Kain, Tobias; Tompits, Hans
Referenced in: 1 Publication (2019)
Related Software: SeaLion; PENGASP; Harvey; Potassco; ASPIDE; DLV
Main Fields: Computer science (68-XX)

AQuA

Software Authors:   Basu, K., Shakerin, F., Gupta, G.
Referenced in: 0 Publications
Related Software:
Main Fields:

asprilo

Software Authors:   Gebser, Martin; Obermeier, Philipp; Otto, Thomas; Schaub, Torsten; Sabuncu, Orkunt; Nguyen, Van; Son, Tran Cao
Referenced in: 0 Publications
Related Software:
Main Fields:

delSAT

Software Authors:   Matthias Nickles
Referenced in: 0 Publications
Related Software:
Main Fields:

NeurASP

Software Authors:   Zhun Yang; Adam Ishay; Joohyung Lee
Referenced in: 0 Publications
Related Software:
Main Fields: