Clingo
From MaRDI portal
swMATH9893MaRDI QIDQ21872FDOQ21872
Author name not available (Why is that?)
Official website: https://potassco.org/
Cited In (only showing first 100 items - show all)
- The Hexlite solver. Lightweight and efficient evaluation of HEX programs
- The return of \textit{xorro}
- Moviola: interpreting dynamic logic programs via multi-shot answer set programming
- The ASP system DLV2
- ASPeRiX
- CP-nets
- RuleML
- C-SPARQL
- GOLOG
- ASSAT
- LUPS
- HYPROLOG
- DLVHEX
- Cmodels
- DLV
- DLV-EX
- Gringo
- Lparse
- Smodels
- FORS
- DELORES
- ASPIDE
- clpfd
- wamcc
- CP-logic
- ProbLog
- PITA
- Potassco
- clasp
- GASP
- plasp
- YAP-Prolog
- CCGbank
- Mercury
- ASPARTIX
- Mole
- oClingo
- Galliwasp
- DepQBF
- cmMUS
- dynASP
- Clingcon
- D-FLAT
- WASP
- STeLP
- iClingo
- claspfolio 2
- Aleph
- Spartacus
- ASPMT2SMT
- Equibel
- MUSer2
- ROSoClingo
- FLORA
- XSB
- COBRApy
- sharpSAT
- Cistrome
- BEE
- PREGO
- GRAPPA
- PrASP
- aspcud
- MiningZinc
- Datalog
- MRtrix
- miniKanren
- D*Lite
- htd
- Harvey
- nomore++
- GrappaVis
- Lpopt
- Argtools
- Carneades
- CEGARTIX
- ConArg2
- CoQuiAAS
- DIAMOND
- Dungine
- LamatzSolver
- prefMaxSAT
- ProGraph
- SLING
- IDP3
- Tweety
- MCINTYRE
- GidL
- IDP
- MiniSearch
- DREAMTools
- lp2normal
- hiPathDB
- PREMER
- ReactomeFIViz
- asprilo
- ezcsp
- The D-FLAT system for dynamic programming on tree decompositions
- Integrating ASP into ROS for reasoning in robots
- An implementation of consistency-based multi-agent belief change using ASP
This page was built for software: Clingo
