Potassco
From MaRDI portal
swMATH6996MaRDI QIDQ19059FDOQ19059
Author name not available (Why is that?)
Official website: http://potassco.sourceforge.net/
Cited In (only showing first 100 items - show all)
- Uhura: an authoring tool for specifying answer-set programs using controlled natural language
- The return of \textit{xorro}
- D-Finder
- C-SPARQL
- LUPS
- Cmodels
- DASWAM
- DLV
- DLV-EX
- Gringo
- Lparse
- Smodels
- DELORES
- AgentSpeak
- ASPIDE
- CDAOstore
- clasp
- GASP
- plasp
- BoolNet
- NuMVC
- PhyloWS
- Coala
- Ginsim
- oClingo
- Galliwasp
- CCalc
- Clingcon
- Clingo
- D-FLAT
- WASP
- iClingo
- PROLEG
- Konclude
- WebPIE
- ASPMT2SMT
- ROSoClingo
- H-ASP PL
- OPTYap
- YapOr
- SparQ
- BEE
- Multi-shot ASP solving with clingo
- GRAPPA
- CircuitTSAT
- aspcud
- Datalog
- SCIFF
- Harvey
- nomore++
- Lpopt
- DIAMOND
- SLING
- Alice
- Ontop
- GidL
- PARLOG
- April
- Binder
- asprilo
- aspeed
- ezcsp
- GDL
- Moviola
- NoHR
- PENGASP
- HaLoop
- GI-log
- iArgue
- AlzPathway
- Yedalog
- ActHEX
- ASPVIZ
- APE
- asprin
- anthem
- iGROM
- Kara
- onlineSPARC
- LoIDE
- OntoDLV
- SeaLion
- EHEX
- ELPS
- ESmodels
- ESParser
- GISolver
- selp
- Wviews
- Uhura
- DLV2
- Hexlite
- xorro
- ASP-G
- CPCES
- Metagol
- BioLQM
- PyBoolNet
- Integrating ASP into ROS for reasoning in robots
- aspeed: solver scheduling via answer set programming
This page was built for software: Potassco
