swMATH4630MaRDI QIDQ16800FDOQ16800
Author name not available (Why is that?)
Official website: http://www.cs.utexas.edu/~vl/teaching/lbai/clingo_guide.pdf
Cited In (only showing first 100 items - show all)
- \texttt{eclingo}: a solver for epistemic logic programs
- Domain expansion for ASP-programs with external sources
- One More Decidable Class of Finitely Ground Programs
- The return of \textit{xorro}
- Conflict-driven answer set solving: from theory to practice
- GNT
- Title not available (Why is that?)
- C-SPARQL
- LUPS
- Cmodels
- DLV
- DLV-EX
- Lparse
- Smodels
- RPOLY
- DELORES
- ASPIDE
- Prolog
- wamcc
- B-Prolog
- Potassco
- clasp
- GASP
- NoMoRe
- plasp
- CCGbank
- PhyloWS
- Terminyzer
- oClingo
- dynASP
- AspCcgTk
- Clingcon
- Clingo
- Cplus2ASP
- D-FLAT
- WASP
- STeLP
- BWare
- iClingo
- claspfolio 2
- ASPMT2SMT
- OOASP
- ROSoClingo
- XSB
- BEE
- Multi-shot ASP solving with clingo
- aspcud
- Datalog
- htd
- Harvey
- nomore++
- Lpopt
- IDP3
- GidL
- Pathway Commons
- IDP
- asprilo
- ezcsp
- Democratix
- Moviola
- teaspoon
- GI-log
- JSetL
- Yedalog
- ActHEX
- APE
- asprin
- anthem
- iGROM
- IDPDraw
- OntoDLV
- SeaLion
- EHEX
- ELPS
- ESmodels
- ESParser
- GISolver
- spock
- selp
- Wviews
- EmptyHeaded
- DLPEQ
- DLV2
- fasp2smt
- TOAST
- LP2ACYC
- LP2NORMAL2
- lpeq
- maxino
- OMiGA
- Hexlite
- xorro
- Metaopt
- aGrUM
- eclingo
- Flix
- Constraint Answer Set Solving
- The D-FLAT system for dynamic programming on tree decompositions
- \textit{clingcon}: the next generation
- Generating explanations for biomedical queries
This page was built for software: Gringo
